Matrices, primitive satisfaction and finitely based logics

DOI10.1007/BF01418762zbMath0599.03030MaRDI QIDQ1080413

Janusz Czelakowski

Publication date: 1983

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

zbMATH Keywords

axiomatizabilitylogical matricesequivalent logiclattice of C-filtersmatrix version of Jónsson's lemmaprimitive satisfaction theorempropositional logics with disjunction

Mathematics Subject Classification ID

General logic (03B99)

Related Items

Sentential logics and Maehara interpolation property ⋮ A universal Krull-Lindenbaum theorem ⋮ Algebraic aspects of deduction theorems ⋮ Local deductions theorems ⋮ Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited ⋮ The proof by cases property and its variants in structural consequence relations ⋮ Abstract algebraic logic. An introductory chapter ⋮ Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class ⋮ Protoalgebraic logics ⋮ Remarks on the Scott-Lindenbaum theorem ⋮ Freeness in classes without equality ⋮ Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties ⋮ A Generalization of Maksimova’s Criterion for the Disjunction Property ⋮ A finite basis theorem for quasivarieties ⋮ Filter distributive logics

Cites Work

• Unnamed Item
• Unnamed Item
• Equivalential logics. I
• Equivalential logics. II
• Some theorems on structural consequence operations
• Matrix approach in methodology of sentential calculi
• Primitive Satisfaction and Equational Problems for Lattices and Other Algebras