Independence-friendly cylindric set algebras

DOI10.1093/JIGPAL/JZP029zbMath1189.03075arXiv0711.4376OpenAlexW2168715068MaRDI QIDQ3653147

Allen L. Mann

Publication date: 18 December 2009

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

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

zbMATH Keywords

independence-friendly logicDe Morgan algebracylindric algebramonadic De Morgan algebra

Mathematics Subject Classification ID

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

Related Items (5)

On intermediate inquisitive and dependence logics: an algebraic study ⋮ Expressivity of imperfect information logics without identity ⋮ Compositional natural language semantics using independence friendly logic or dependence logic ⋮ Transition semantics: the dynamics of dependence logic ⋮ Complexity of syntactical tree fragments of independence-friendly logic

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