THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY

DOI10.1017/jsl.2021.49OpenAlexW3006164068WikidataQ122983957 ScholiaQ122983957MaRDI QIDQ5879187

Ramon Jansana, Tommaso Moraschini

Publication date: 27 February 2023

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2002.07792

zbMATH Keywords

abstract algebraic logicinterpretabilityMaltsev conditionLeibniz hierarchyLeibniz conditionposet of all logics

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Abstract algebraic logic (03G27)

Related Items (max. 100)

ON EQUATIONAL COMPLETENESS THEOREMS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Update to ``A survey of abstract algebraic logic
• Equivalential logics. I
• On reduced matrices
• Characterizing Mal'cev conditions
• Admissibility of logical inference rules
• Algebraic semantics for deductive systems
• Taylor's modularity conjecture and related problems for idempotent varieties
• Order algebraizable logics
• The poset of all logics. III: Finitely presentable logics
• Epimorphism surjectivity in varieties of Heyting algebras
• Epimorphisms in varieties of residuated structures
• The Beth property in algebraic logic
• Taylor's modularity conjecture holds for linear idempotent varieties.
• Kongruenzklassengeometrien
• Ordering protoalgebraic logics
• The lattice of interpretability types of varieties
• Algebraizable logics
• The structure of finite algebras
• On Malcev conditions
• Varieties Obeying Homotopy Laws
• Weakly algebraizable logics
• A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS
• Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
• The shape of congruence lattices
• THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
• ON EQUATIONAL COMPLETENESS THEOREMS
• Algebraic semantics for quasi-classical modal logics
• The simplest protoalgebraic logic
• Local Malcev Conditions
• Protoalgebraic logics

This page was built for publication: THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY