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

axiomatizability; logical matrices; equivalent logic; lattice of C-filters; matrix version of Jónsson's lemma; primitive satisfaction theorem; propositional logics with disjunction

Mathematics Subject Classification ID

03B99: General logic

Related Items

Freeness in classes without equality, A Generalization of Maksimova’s Criterion for the Disjunction Property, Protoalgebraic logics, A universal Krull-Lindenbaum theorem, 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, Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class, A finite basis theorem for quasivarieties, Filter distributive logics, Sentential logics and Maehara interpolation property, Algebraic aspects of deduction theorems, Local deductions theorems, Remarks on the Scott-Lindenbaum theorem, Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties

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