Matrices, primitive satisfaction and finitely based logics
From MaRDI portal
Publication:1080413
DOI10.1007/BF01418762zbMath0599.03030MaRDI QIDQ1080413
Publication date: 1983
Published in: Studia Logica (Search for Journal in Brave)
axiomatizabilitylogical matricesequivalent logiclattice of C-filtersmatrix version of Jónsson's lemmaprimitive satisfaction theorempropositional logics with disjunction
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
This page was built for publication: Matrices, primitive satisfaction and finitely based logics