The structure of completely meet irreducible congruences in strongly Fregean algebras

DOI10.1007/s00012-022-00787-0OpenAlexW3206987210MaRDI QIDQ2159489

Katarzyna Słomczyńska

Publication date: 1 August 2022

Published in: Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

Heyting algebrasFregean algebrasprime intervals projectivity

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Congruence modularity, congruence distributivity (08B10) Subdirect products and subdirect irreducibility (08B26) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Equivalential Algebras with Conjunction on Dense Elements

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fregean logics
• The commutator in equivalential algebras and Fregean varieties
• Free equivalential algebras
• A survey of abstract algebraic logic
• Fregean logics with the multiterm deduction theorem and their algebraization
• Equivalential algebras. I: Representation
• Lattice Theory: Foundation
• FREGEAN VARIETIES
• Congruence lattices forcing nilpotency
• Algebraic semantics for the ‐fragment of and its properties
• Free spectra of linear equivalential algebras
• Polynomially rich algebras

This page was built for publication: The structure of completely meet irreducible congruences in strongly Fregean algebras