The structure of completely meet irreducible congruences in strongly Fregean algebras

DOI10.1007/S00012-022-00787-0MaRDI QIDQ2159489zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• FREGEAN VARIETIES
• The commutator in equivalential algebras and Fregean varieties
• Fregean subtractive varieties with definable congruence
• On everywhere strongly logifiable algebras
• Algebras with Boolean and Stonean congruence lattices

Cites work

• scientific article; zbMATH DE number 4035895 (Why is no real title available?)
• scientific article; zbMATH DE number 67040 (Why is no real title available?)
• A survey of abstract algebraic logic
• Algebraic semantics for the \((\leftrightarrow,\neg)\)-fragment of \(\mathsf{IPC}\) and its properties
• Congruence lattices forcing nilpotency
• Equivalential algebras. I: Representation
• FREGEAN VARIETIES
• Free equivalential algebras
• Free finitely generated linear Hilbert algebras with supremum
• Free spectra of linear equivalential algebras
• Fregean logics
• Fregean logics with the multiterm deduction theorem and their algebraization
• Lattice Theory: Foundation
• Polynomially rich algebras
• The commutator in equivalential algebras and Fregean varieties

Cited in

(2)

• Equivalential Algebras with Conjunction on Dense Elements
• The structure of completely meet irreducible congruences in strongly Fregean algebras

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

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