Abstract
In the first section logics with an algebraic semantics are investigated. Section 2 is devoted to subdirect products of matrices. There, among others we give the matrix counterpart of a theorem of Jónsson from universal algebra. Some positive results concerning logics with, finite degrees of maximality are presented in Section 3.
Similar content being viewed by others
References
S. L. Bloom, Projective and inductive generations of abstract logics, Studia Logica 35 (1976), pp. 249–255.
S. L. Bloom and R. Suszko, Investigations into the sentential calculus with identity, Notre Dame Journal of Formal Logic, Vol. XIII, No. 3 (1972), pp. 289–308.
D. J. Brown and R. Suszko, Abstract logics, Dissertationes Mathematicae CII, PWN, Warszawa 1973.
P. M. Cohn, Universal algebra, Harper & Bow, New York — London. 1965
J. Czelakowski, Reduced products of logical matrices, Studia Logica 39, No. 1 (1980). pp. 19–43.
—, Equivalential logics (I), Studia Logica 40, No. 3 (1981), pp. 227–236
W. Dzik and R. Suszko, On distributivity of closure systems, Bulletin of the Section of Logic 6 (1977), pp. 64–66.
W. Dziobiak, On strongly finite consequence operations, Bulletin of the Section of Logic 8 (1979), pp. 87–94.
—, An example of a strongly finite consequence operation with 2ℵ 0 standard strengthenings, ibidem, pp. 95–98.
—, The lattice of strengthenings of a strongly finite consequence operation, Studia Logica 40, No. 2 (1981), pp. 177–193.
G. Grätzer, Universal Algebra, Van Nostrand, Princeton, New Jersey 1968.
B. Jónsson, Algebras whose congruence lattices are distributive, Mathematica Scandinavica 21 (1967), pp. 110–121.
J. Łoś and R. Suszko, Remarks on sentential logics, Indagationes Mathematicae 20 (1958), pp. 177–183.
A. I. Mal'cev, The metamathematics of algebraic systems, North-Holland 1971.
G. Malinowski, Degrees of maximality of Łukasiewicz-like sentential calculi, Studia Logica 36, No. 3 (1977), pp. 213–228.
—, A proof of Ryszard Wójcicki's conjecture, Bulletin of the Section of Logic 7 (1978), pp. 20–25.
M. Tokarz, A strongly finite logic with an infinite degree of maximality, Studia Logica 35, No. 4 (1976), pp. 447–451.
R. Wójcicki, A theorem on the finiteness of the degree of maximality of the n-valued Łukasiewicz logics, Proceedings of the V-th International Symposium on Multiple-Valued Logics, Indiana University, Bloomington, May 1975, pp. 240–241
A. Wroński, On cardinalities of matrices strongly adequate for the intuitionistic propositional logic, Reports on Mathematical Logic 3 (1974), pp. 67–72.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Czelakowski, J. Equivalential logics (II). Stud Logica 40, 355–372 (1981). https://doi.org/10.1007/BF00401654
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00401654