Definitions from Wiktionary (conservative extension)
▸ noun: (mathematics, logic) An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.
▸ Words similar to conservative extension
▸ Usage examples for conservative extension
▸ Idioms related to conservative extension
▸ Wikipedia articles (New!)
▸ Words that often appear near conservative extension
▸ Rhymes of conservative extension
▸ Invented words related to conservative extension
▸ noun: (mathematics, logic) An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.
Similar:
weakening,
conservativity,
theorem,
intensional logic,
superextension,
extensionality,
normal extension,
constructive logic,
analytic continuation,
natural deduction,
more...
Types:
▸ Words similar to conservative extension
▸ Usage examples for conservative extension
▸ Idioms related to conservative extension
▸ Wikipedia articles (New!)
▸ Words that often appear near conservative extension
▸ Rhymes of conservative extension
▸ Invented words related to conservative extension