The poset of all logics. III: Finitely presentable logics
type: Item
instance of: scholarly article
title: The poset of all logics. III: Finitely presentable logics
author: Ramon Jansana
author: Tommaso Moraschini
published in: Studia Logica
publication date: 2021-08-19T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7383330
zbMATH Keywords: abstract algebraic logic
zbMATH Keywords: algebraizable logic
zbMATH Keywords: Leibniz hierarchy
zbMATH Keywords: maltsev conditions
zbMATH Keywords: finitely presentable logic
MaRDI profile type: Publication
full work available at URL: s11225-020-09916-z
OpenAlex ID: W3081881033
cites work: Taylor's modularity conjecture holds for linear idempotent varieties.
cites work: Algebraizable logics
cites work: Q4029628
cites work: On congruence modularity in varieties of logic.
cites work: ASSERTIONALLY EQUIVALENT QUASIVARIETIES
cites work: Algebraic semantics for deductive systems
cites work: Protoalgebraic logics
cites work: The Suszko operator. I
cites work: Weakly algebraizable logics
cites work: Q3185647
cites work: Q4715441
cites work: A survey of abstract algebraic logic
cites work: The lattice of interpretability types of varieties
cites work: Two Mal'cev-type theorems in universal algebra
cites work: Characterizing equivalential and algebraizable logics by the Leibniz operator
cites work: The structure of finite algebras
cites work: The shape of congruence lattices
cites work: A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS
cites work: On the complexity of the Leibniz hierarchy
cites work: On prevarieties of logic
cites work: Representing varieties of algebras by 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: A perspective on the algebra of logic
cites work: Characterizing Mal'cev conditions
cites work: Varieties Obeying Homotopy Laws
cites work: Kongruenzklassengeometrien
DOI: 10.1007/S11225-020-09916-Z
description: scientific article; zbMATH DE number 7383330