Filter distributive logics

DOI10.1007/BF00370507zbMath0578.03012OpenAlexW2041835071MaRDI QIDQ1066139

Janusz Czelakowski

Publication date: 1984

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

Full work available at URL: https://doi.org/10.1007/bf00370507

zbMATH Keywords

sentential logicdeductive systemalgebra of formulascongruence distributive equational classesEquivalential logicslattice of filterssyntactic characterization of finite logics

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Congruence modularity, congruence distributivity (08B10) General logic (03B99) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (9)

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

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Filter distributive logics