THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
From MaRDI portal
Publication:5015720
DOI10.1017/jsl.2021.48OpenAlexW3169499490MaRDI QIDQ5015720
Tommaso Moraschini, Ramon Jansana
Publication date: 9 December 2021
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1911.09394
abstract algebraic logicequivalential logicinterpretabilityMaltsev conditionLeibniz hierarchyposet of all logics
Related Items (4)
ON EQUATIONAL COMPLETENESS THEOREMS ⋮ On the complexity of the Leibniz hierarchy ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A note on congruences of semilattices with sectionally finite height.
- Update to ``A survey of abstract algebraic logic
- Reduced products of logical matrices
- Equivalential logics. I
- Theory of logical calculi. Basic theory of consequence operations
- Characterizing Mal'cev conditions
- The fine spectrum of a variety
- Characterizing equivalential and algebraizable logics by the Leibniz operator
- The Suszko operator. I
- On the complexity of the Leibniz hierarchy
- The poset of all logics. III: Finitely presentable logics
- On prevarieties of logic
- Admissible rules and the Leibniz hierarchy
- Kongruenzklassengeometrien
- Equivalential and algebraizable logics
- A perspective on the algebra of logic
- Some characterization theorems for infinitary universal Horn logic without equality
- The lattice of interpretability types of varieties
- Correspondences between gentzen and hilbert systems
- Algebraizable logics
- The structure of finite algebras
- On Malcev conditions
- Varieties Obeying Homotopy Laws
- A model theoretic approach to Malcev conditions
- Weakly algebraizable logics
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
- ON EVERYWHERE STRONGLY LOGIFIABLE ALGEBRAS
- Logics of varieties, logics of semilattices and conjunction
- A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES
- The shape of congruence lattices
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
- Two Mal'cev-type theorems in universal algebra
- Representing varieties of algebras by algebras
- Local Malcev Conditions
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Protoalgebraic logics
This page was built for publication: THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
