Filter distributive logics
From MaRDI portal
Publication:1066139
DOI10.1007/BF00370507zbMath0578.03012OpenAlexW2041835071MaRDI QIDQ1066139
Publication date: 1984
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00370507
sentential logicdeductive systemalgebra of formulascongruence distributive equational classesEquivalential logicslattice of filterssyntactic characterization of finite logics
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
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
This page was built for publication: Filter distributive logics