Graduate studies at Western
Studia Logica 92 (1):121 - 135 (2009)
|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.|
|Keywords||algebraic logic conservative extension infinitary predicates|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
Chris Swoyer (1998). Complex Predicates and Logics for Properties and Relations. Journal of Philosophical Logic 27 (3):295-325.
Norihiro Kamide (2005). Gentzen-Type Methods for Bilattice Negation. Studia Logica 80 (2-3):265 - 289.
Mojtaba Aghaei & Mohammad Ardeshir (2001). Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic. Studia Logica 68 (2):263-285.
Itala M. Loffredo D'Ottaviano & Hércules de A. Feitosa (2000). Paraconsistent Logics and Translations. Synthese 125 (1/2):77 - 95.
Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi, Hybrid Logics with Infinitary Proof Systems.
Kooi, Barteld, Renardel de Lavalette, Gerard & Verbrugge, Rineke, Hybrid Logics with Infinitary Proof Systems.
Costas Drossos & Daniele Mundici (2000). Many-Valued Points and Equality. Synthese 125 (1-2):77-95.
Michiro Kondo (1989). A1 is Not a Conservative Extension of S4 but of S. Journal of Philosophical Logic 18 (3):321 - 323.
Added to index2009-06-01
Total downloads5 ( #170,048 of 727,261 )
Recent downloads (6 months)1 ( #61,087 of 727,261 )
How can I increase my downloads?