Equivalential Algebras with Conjunction on Dense Elements

DOI10.18778/0138-0680.2022.22MaRDI QIDQ6200456

Katarzyna Słomczyńska, Sławomir Przybyło

Publication date: 29 February 2024

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

zbMATH Keywords

intuitionistic logicequivalential algebrasdense elementsFregean varieties

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Free algebras (08B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fregean logics
• The commutator in equivalential algebras and Fregean varieties
• Free equivalential algebras
• Equivalential algebras. I: Representation
• Equivalential algebras with conjunction on the regular elements
• The structure of completely meet irreducible congruences in strongly Fregean algebras
• Unification and projectivity in Fregean varieties
• FREGEAN VARIETIES
• Brouwerian Semilattices
• The structure of finite algebras
• Free spectra of linear equivalential algebras
• The Theory of Representation for Boolean Algebras
• Polynomially rich algebras

This page was built for publication: Equivalential Algebras with Conjunction on Dense Elements