Filter distributive logics (Q1066139): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:04, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Filter distributive logics |
scientific article |
Statements
Filter distributive logics (English)
0 references
1984
0 references
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.
0 references
algebra of formulas
0 references
lattice of filters
0 references
deductive system
0 references
sentential logic
0 references
syntactic characterization of finite logics
0 references
Equivalential logics
0 references
congruence distributive equational classes
0 references