The structure of completely meet irreducible congruences in strongly Fregean algebras
DOI10.1007/S00012-022-00787-0OpenAlexW3206987210MaRDI QIDQ2159489FDOQ2159489
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
Recommendations
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
- Free finitely generated linear Hilbert algebras with supremum
- Congruence lattices forcing nilpotency
- Algebraic semantics for the \((\leftrightarrow,\neg)\)-fragment of \(\mathsf{IPC}\) and its properties
Cited In (2)
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)
