THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE

DOI10.1017/JSL.2021.48MaRDI QIDQ5015720zbMATH OpenOpenAlexFDO

Authors Ramon Jansana, Tommaso Moraschini

Publication date 9 December 2021

Published in 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 logicinterpretabilityLeibniz hierarchyMaltsev conditionposet of all logics

Mathematics Subject Classification ID

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

Recommendations

• The poset of all logics. III: Finitely presentable logics
• THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
• scientific article; zbMATH DE number 1145524
• scientific article; zbMATH DE number 150217
• Representation of concrete logics and concrete generalized orthomodular posets
• Poset-valued sets or how to build models for linear logics
• A proof-theoretic investigation of a logic of positions
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Lattice-theoretic properties of algebras of logic
• scientific article; zbMATH DE number 19690

Cites work

• A logical and algebraic characterization of adjunctions between generalized quasi-varieties
• A model theoretic approach to Malcev conditions
• A note on congruences of semilattices with sectionally finite height.
• A perspective on the algebra of logic
• A study of truth predicates in matrix semantics
• Abstract algebraic logic. An introductory textbook
• Admissible rules and the Leibniz hierarchy
• Algebraizable logics
• Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Characterizing Mal'cev conditions
• Correspondences between gentzen and hilbert systems
• Equivalential and algebraizable logics
• Equivalential logics. I
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• scientific article; zbMATH DE number 4012571 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3792253 (Why is no real title available?)
• scientific article; zbMATH DE number 139647 (Why is no real title available?)
• scientific article; zbMATH DE number 465608 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 937372 (Why is no real title available?)
• scientific article; zbMATH DE number 5235521 (Why is no real title available?)
• scientific article; zbMATH DE number 3091018 (Why is no real title available?)
• Kongruenzklassengeometrien
• Local Malcev Conditions
• Logics of varieties, logics of semilattices and conjunction
• On everywhere strongly logifiable algebras
• On Malcev conditions
• On prevarieties of logic
• On the complexity of the Leibniz hierarchy
• Protoalgebraic logics
• Reduced products of logical matrices
• Representing varieties of algebras by algebras
• Some characterization theorems for infinitary universal Horn logic without equality
• The fine spectrum of a variety
• The lattice of interpretability types of varieties
• THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
• The poset of all logics. III: Finitely presentable logics
• The shape of congruence lattices
• The structure of finite algebras
• The Suszko operator. I
• Theory of logical calculi. Basic theory of consequence operations
• Two Mal'cev-type theorems in universal algebra
• Universal algebra. Fundamentals and selected topics
• Update to ``A survey of abstract algebraic logic
• Varieties Obeying Homotopy Laws
• Weakly algebraizable logics

Cited in

(12)

• On the complexity of the Leibniz hierarchy
• Poset-valued sets or how to build models for linear logics
• The poset of all logics. III: Finitely presentable logics
• Logics of variable inclusion and the lattice of consequence relations
• THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
• ON EQUATIONAL COMPLETENESS THEOREMS
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
• The Poset of All Logics I: Interpretations and Lattice Structure
• A gentle introduction to the Leibniz hierarchy
• Expanding the Leibniz hierarchy
• Congruence filter pairs, equational filter pairs and adjoints

This page was built for publication: THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015720)