On Conservative Extensions in Logics with Infinitary Predicates |
| |
Authors: | Miklós Ferenczi |
| |
Affiliation: | (1) Department of Algebra, Budapest University of Technology and Economics, H–1521 Budapest, Hungary |
| |
Abstract: | If the language is extended by new individual variables, in classical first order logic, then the deduction system obtained is a conservative extension of the original one. This fails to be true for the logics with infinitary predicates. But it is shown that restricting the commutativity of quantifiers and the equality axioms in the extended system and supposing the merry-go-round property in the original system, the foregoing extension is already conservative. It is shown that these restrictions are crucial for an extension to be conservative. The origin of the results is algebraic logic. Presented by Daniele Mundici Supported by grant OTKA T43242. |
| |
Keywords: | algebraic logic conservative extension infinitary predicates |
本文献已被 SpringerLink 等数据库收录! |
|