THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
type: Item
instance of: scholarly article
title: THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
author: Ramon Jansana
author: Tommaso Moraschini
publication date: 2023-02-27T00:00:00Z
full work available at URL: https://arxiv.org/abs/2002.07792
Mathematics Subject Classification ID: 03G27
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 08B05
zbMATH DE Number: 7657284
zbMATH Keywords: abstract algebraic logic
zbMATH Keywords: Leibniz hierarchy
zbMATH Keywords: Leibniz condition
zbMATH Keywords: Maltsev condition
zbMATH Keywords: interpretability
zbMATH Keywords: poset of all logics
MaRDI profile type: Publication
Wikidata QID: Q122983957
OpenAlex ID: W3006164068
cites work: Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
cites work: Taylor's modularity conjecture holds for linear idempotent varieties.
cites work: Q3093852
cites work: Epimorphisms in varieties of residuated structures
cites work: The Beth property in algebraic logic
cites work: Algebraic semantics for quasi-classical modal logics
cites work: Algebraizable logics
cites work: Q4029628
cites work: Algebraic semantics for deductive systems
cites work: Equivalential logics. I
cites work: Protoalgebraic logics
cites work: Weakly algebraizable logics
cites work: Q4249028
cites work: Q5413346
cites work: The simplest protoalgebraic logic
cites work: Ordering protoalgebraic logics
cites work: Q3185647
cites work: Q4715441
cites work: Update to ``A survey of abstract algebraic logic''
cites work: The lattice of interpretability types of varieties
cites work: The structure of finite algebras
cites work: The poset of all logics. III: Finitely presentable logics
cites work: THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
cites work: The shape of congruence lattices
cites work: A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS
cites work: ON EQUATIONAL COMPLETENESS THEOREMS
cites work: Epimorphism surjectivity in varieties of Heyting algebras
cites work: On Malcev conditions
cites work: Taylor's modularity conjecture and related problems for idempotent varieties
cites work: Local Malcev Conditions
cites work: Q5441554
cites work: Order algebraizable logics
cites work: On reduced matrices
cites work: Admissibility of logical inference rules
cites work: Characterizing Mal'cev conditions
cites work: Varieties Obeying Homotopy Laws
cites work: Kongruenzklassengeometrien
DOI: 10.1017/JSL.2021.49
published in: Journal of Symbolic Logic
description: scientific article; zbMATH DE number 7657284