Filter distributive logics
A deductive system C (or sentential logic) on the algebra S of formulas is filter distributive if the lattice of C-filters of A is distributive for all algebras A similar to S. (F is a C-filter of A if (A,F) is a matrix validating C.) \(Th(C)=\{X\subseteq S /\) \(C(X)=X\}\). Theorem II.5 gives a syntactic characterization of finite logics C for which the lattice \(<Th(C),\subseteq >\) is distributive. (A logic C is called finite if the operator C is algebraic.) Moreover, for C finite and equivalential, this is shown to be equivalent to the filter distributivity of C. (Equivalential logics, a concept similar to but weaker than Block and Pigozzi's algebraizable logics, were studied by the Author in Stud. Logica 40, 227-236, 355-372 (1981; Zbl 0476.03032 and Zbl 0492.03008).) A C-filter F is C-prime if it is finitely meet irreducible and a matrix (A,D) for C is C-prime if D is a C-prime filter. The Author investigates the condition that the class of C-prime matrices for C be axiomatizable (in the usual first order sense): Theorem V.2 states that if this condition holds for a finite filter distributive logic C, then any axiomatic strengthening C' of C whose class of C'-prime matrices is still axiomatizable, is obtained from C by adding a finite set of axioms. This and other results are on a pair with Baker's theorem on the finite basis for congruence distributive equational classes.
- scientific article; zbMATH DE number 554983
- Matrices, primitive satisfaction and finitely based logics
- scientific article; zbMATH DE number 465608
- Equivalential and algebraizable logics
- A perspective on the algebra of logic
- A field guide to equational logic
- Algebraizable logics. An exact reproduction of the text originally published in 1989 with an errata sheet prepared by the second author in 2014
- Algebraizable logics
- scientific article; zbMATH DE number 120349
- scientific article; zbMATH DE number 868093
- Deducibility and many-valuedness
- Equivalential logics. I
- scientific article; zbMATH DE number 3150809 (Why is no real title available?)
- scientific article; zbMATH DE number 3777562 (Why is no real title available?)
- scientific article; zbMATH DE number 3625386 (Why is no real title available?)
- Matrices, primitive satisfaction and finitely based logics
- Matrix approach in methodology of sentential calculi
- Reduced products of logical matrices
- Some theorems on structural consequence operations
- Matrices, primitive satisfaction and finitely based logics
- Local deductions theorems
- On a logico-algebraic approach to AGM belief contraction theory
- The many benefits of putting stack filters into disjunctive or conjunctive normal form
- On the closure properties of the class of full G-models of a deductive system
- Equivalential and algebraizable logics
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
- scientific article; zbMATH DE number 220055 (Why is no real title available?)
- Freeness in classes without equality
- Finite axiomatizability of logics of distributive lattices with negation
- Abstract algebraic logic. An introductory chapter
- Protoalgebraic logics
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi
- A gentle introduction to the Leibniz hierarchy
- Janusz Czelakowski's research on the theory of matrices and its applications in the seventies and eighties of the 20th century
- Intuitionistic Sahlqvist theory for deductive systems
- Paraconsistent belief revision: an algebraic investigation
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
This page was built for publication: Filter distributive logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1066139)
