THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE

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

zbMATH Keywords

abstract algebraic logicequivalential logicinterpretabilityMaltsev conditionLeibniz hierarchyposet of all logics

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Abstract algebraic logic (03G27)

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