The poset of all logics. III: Finitely presentable logics

DOI10.1007/s11225-020-09916-zOpenAlexW3081881033MaRDI QIDQ2046877

Ramon Jansana, Tommaso Moraschini

Publication date: 19 August 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-020-09916-z

zbMATH Keywords

abstract algebraic logicalgebraizable logicLeibniz hierarchyfinitely presentable logicmaltsev conditions

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (3)

ON EQUATIONAL COMPLETENESS THEOREMS ⋮ 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
• Characterizing Mal'cev conditions
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• A survey of abstract algebraic logic
• Algebraic semantics for deductive systems
• The Suszko operator. I
• On the complexity of the Leibniz hierarchy
• Taylor's modularity conjecture and related problems for idempotent varieties
• On prevarieties of logic
• Taylor's modularity conjecture holds for linear idempotent varieties.
• Kongruenzklassengeometrien
• A perspective on the algebra of logic
• The lattice of interpretability types of varieties
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• 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
• The shape of congruence lattices
• Two Mal'cev-type theorems in universal algebra
• Representing varieties of algebras by algebras
• Local Malcev Conditions
• On congruence modularity in varieties of logic.
• Protoalgebraic logics

This page was built for publication: The poset of all logics. III: Finitely presentable logics