Filter distributive logics

DOI10.1007/BF00370507zbMath0578.03012MaRDI QIDQ1066139

Janusz Czelakowski

Publication date: 1984

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

zbMATH Keywords

sentential logic; deductive system; algebra of formulas; congruence distributive equational classes; Equivalential logics; lattice of filters; syntactic characterization of finite logics

Mathematics Subject Classification ID

03G25: Other algebras related to logic

08B10: Congruence modularity, congruence distributivity

03B99: General logic

06A15: Galois correspondences, closure operators (in relation to ordered sets)

Related Items

Freeness in classes without equality, Protoalgebraic logics, Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited, Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class, Local deductions theorems, On the closure properties of the class of full G-models of a deductive system, Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Matrices, primitive satisfaction and finitely based logics
• Reduced products of logical matrices
• Equivalential logics. I
• Some theorems on structural consequence operations
• Matrix approach in methodology of sentential calculi
• Deducibility and many-valuedness