DOI10.1007/s11787-008-0037-zzbMath1157.03037arXiv0802.2128OpenAlexW2157636872MaRDI QIDQ1001372
Allen L. Mann
Publication date: 17 February 2009 Published in: Logica Universalis (Search for Journal in Brave) Full work available at URL: https://arxiv.org/abs/0802.2128
zbMATH Keywords
independence-friendly logiccylindric algebra
Mathematics Subject Classification ID
Other nonclassical logic (03B60) Cylindric and polyadic algebras; relation algebras (03G15)