should consequence-theoretic conservativity really be the default?

tillmo / DOL

The Distributed Ontology, Modeling and Specification Language (DOL) - an answer to the OMG RFP OntoIOp. * View the latest version here: https://github.com/tillmo/DOL/raw/master/Standard/dol.pdf. * Convenience version with diff to version of August 24: https://github.com/tillmo/DOL/raw/master/Standard/dol-diff.pdf * Homepage of OntoIOp is

http://ontoiop.org

7 stars 1 forks source link

should consequence-theoretic conservativity really be the default? #227

Closed tillmo closed 9 years ago

tillmo commented 9 years ago

Currently, "conservative" without qualification means "consequence-theoretic conservative". Shouldn't we change this into "model-theoretic conservative"?