The structure of completely meet irreducible congruences in strongly Fregean algebras

DOI10.1007/S00012-022-00787-0OpenAlexW3206987210MaRDI QIDQ2159489FDOQ2159489

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)

Cites Work

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

Cited In (2)

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

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)