Abstract
The aim of this paper is to show that the operations of forming direct products and submatrices suffice to construct exhaustive semantics for all structural strengthenings of the consequence determined by a given class of logical matrices.
Similar content being viewed by others
References
G. Birkhoff, Subdirect unions in universal algebra, Bulletin of the American Mathematical Society 50 (1944), pp. 764–768.
R. S. Grigolia, An algebraic analysis of n-valued logical systems of Łukasiewicz and Tarski (in Russian), Proceedings of Tibilisi University, A 6–7 (1973), pp. 121–132.
J. Łoś and R. Suszko, Remarks on sentential logics, Indagationes Mathematicae 20 (1962), pp. 426–436.
G. Malinowski, Degrees of maximality of some Łukasiewicz logics, Bulletin of the section of Logic, Polish Academy of Sciences, 3 (1974), no 3–4, pp. 27–33.
G. Malinowski, Degrees of maximality of Łukasiewicz-like sentential calculi, Studia Logica 36 (1977) no. 3 pp. 213–228.
M. Tokarz, A strongly finite logic with infinite degree of maximality, Studia Logica 35 (1976), pp. 447–451.
R. Wójcicki, Matrix approach in methodology of sentential calculi, Studia Logica 32 (1973), pp. 168–195.
R. Wójcicki, The logic stronger than the tree valued Łukasiewicz sentential calculus, Studia Logica 33 (1974), pp. 201–214.
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–251.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wojtylak, P. Matrix representations for structural strengthenings of a propositional logic. Stud Logica 38, 263–266 (1979). https://doi.org/10.1007/BF00405384
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00405384