Abstract
We examine the notion of primitive satisfaction in logical matrices. Theorem II. 1, being the matrix counterpart of Baker's well-known result for congruently distributive varieties of algebras (cf [1], Thm. 1.5), links the notions of primitive and standard satisfaction. As a corollary we give the matrix version of Jónsson's Lemma, proved earlier in [4]. Then we investigate propositional logics with disjunction. The main result, Theorem III. 2, states a necessary and sufficient condition for such logics to be finitely based.
Similar content being viewed by others
References
K. R. Baker,Primitive satisfaction and equational problems for lattices and other algebras,Transactions of the American Mathematical Society, Vol. 190 (1974), pp. 125–150.
S. L. Bloom,Some theorems on structural consequence operations,Studia Logica, Vol. XXXIV, No. 1 (1975), pp. 1–9.
J. Czelakowski,Equivalential logics (I),Studia Logica, Vol. XL, No. 3 (1981), pp. 227–236.
——,Equivalential logics (II),Studia Logica, Vol. XL, No. 4 (1981), pp. 355–372.
W. Dzik andR. Suszko,On distributivity of closure systems,Bulletin of the Section of Logic, Vol. 6, No. 2 (1977), pp. 64–66.
A. Tarski,Logic, Semantics, Metamathematics, Oxford 1956.
P. Wojtylak,Strongly finite logics: finite axiomatizability and the problem of supremum,Bulletin of the Section of Logic, Vol. 8, No. 2 (1979), pp. 99–111.
R. Wójcicki,Matrix approach in methodology of sentential calculi,Studia Logica XXXII (1973), pp. 7–37.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Czelakowski, J. Matrices, primitive satisfaction and finitely based logics. Stud Logica 42, 89–104 (1983). https://doi.org/10.1007/BF01418762
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01418762