Independence-friendly cylindric set algebras

DOI10.1093/JIGPAL/JZP029zbMATH Open1189.03075arXiv0711.4376OpenAlexW2168715068MaRDI QIDQ3653147FDOQ3653147

Authors: Allen L. Mann 

Publication date: 18 December 2009

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Abstract: Independence-friendly logic is a conservative extension of first-order logic that has the same expressive power as existential second-order logic. In her Ph.D. thesis, Dechesne introduces a variant of independence-friendly logic called IFG logic. We attempt to algebraize IFG logic in the same way that Boolean algebra is the algebra of propositional logic and cylindric algebra is the algebra of first-order logic. We define independence-friendly cylindric set algebras and prove two main results. First, every independence-friendly cylindric set algebra over a structure has an underlying Kleene algebra. Moreover, the class of such underlying Kleene algebras generates the variety of all Kleene algebras. Hence the equational theory of the class of Kleene algebras that underly an independence-friendly cylindric set algebra is finitely axiomatizable. Second, every one-dimensional independence-friendly cylindric set algebra over a structure has an underlying monadic Kleene algebra. However, the class of such underlying monadic Kleene algebras does not generate the variety of all monadic Kleene algebras. Finally, we offer a conjecture about which subvariety of monadic Kleene algebras the class of such monadic Kleene algebras does generate.

Full work available at URL: https://arxiv.org/abs/0711.4376

Recommendations

• Cylindric set algebras and IF logic
• Perfect IFG-formulas
• What is the true algebra of first-order logic?
• A formal system for propositional extended IF logic
• Algebraization of quantifier logics, an introductory overview

zbMATH Keywords

independence-friendly logicDe Morgan algebracylindric algebramonadic De Morgan algebra

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cylindric and polyadic algebras; relation algebras (03G15) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Cited In (8)

• Complexity of syntactical tree fragments of independence-friendly logic
• On the algebraization of Henkin‐type second‐order logic
• Perfect IFG-formulas
• On intermediate inquisitive and dependence logics: an algebraic study
• What is the true algebra of first-order logic?
• Cylindric set algebras and IF logic
• Compositional natural language semantics using independence friendly logic or dependence logic
• Expressivity of imperfect information logics without identity

This page was built for publication: Independence-friendly cylindric set algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3653147)