Abstract
The class Matr(C) of all matrices for a prepositional logic (ℒ, C) is investigated. The paper contains general results with no special reference to particular logics. The main theorem (Th. (5.1)) which gives the algebraic characterization of the class Matr(C) states the following. Assume C to be the consequence operation on a prepositional language induced by a class K of matrices. Let m be a regular cardinal not less than the cardinality of C. Then Matr (C) is the least class of matrices containing K and closed under m-reduced products, submatrices, matrix homomorphisms, and matrix homomorphic counter-images.
Similar content being viewed by others
References
S. L. Bloom, Some theorems on structural consequence operations, Studia Logica 34 (1976), pp. 1–9.
C. C. Chang and H. J. Keisler, Model Theory, North-Holland and American Elsevier, Amsterdam-London-New York, 1973.
G. Grätzer, Universal Algebra, Van Nostrand, Princeton, New Jersey, 1968.
G. Grätzer and H. Lakser, Some new relations on operators in general, and for pseudocomplemented distributive lattices in particular, Notices of the American Mathematical Society, 17 (1970), p. 642.
J. Łoś, O matrycach logicznych (On logical matrices, in Polish), Travaux de la Société des Sciences et des Lettres de Wrocław, Seria B, Nr 19, Wrocław 1949.
J. Łoś and R. Suszko, Remarks on sentential logics, Indagationes Mathematicae 20 (1958), pp. 177–183.
J. ŁUkasiewicz and A. Tarski, Untersuchungen über den Aussagenkalkül, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie 23 (1930), pp. 30–50.
A. I. Mal'cev, Algebraic Systems, Springer-Verlag, Berlin 1973.
G. F. Mc Nulty, Fragments of first order logic, I: universal Horn logic, Journal of Symbolic Logic 42 (1977), pp. 221–237.
J. Porté, Recherches sur la théorie générale des systèmes formels et sur les systèmes connectives, Gauthier-Villars, Paris 1965.
D. J. Shoesmith and T. J. Smiley, Multiple-conclusion Logic, Cambridge University Press, Cambridge 1978.
A. Tarski, Fundamental concepts of the methodology of the deductive sciences, in: Logic, Semantics and Metamathematics, Oxford 1956.
P. Wojtylak, Matrix representation for structural strengthenings of a propositional logic, Studia Logica 38 (1979), pp. 263–267.
R. Wójcicki, Logical matrices strongly adequate for structural sentential calculi, Bulletin de l'Académie Polonaise des Sciences, Série des sci. math., astr. et physiques 6 (1969), pp. 333–335.
R. Wójcicki, Matrix approach in sentential calculi, Studia Logica 32 (1973), pp. 7–37.
R. Wójcicki, Investigations into Methodology of Sentential Calculi (I), mimeographed, Polish Academy of Sciences, Institute of Philosophy and Sociology, Warsaw 1971.
J. Zygmunt, A note on direct products and ultraproducts of logical matrices, Studia Logica 33 (1974), pp. 349–357.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Czelakowski, J. Reduced products of logical matrices. Stud Logica 39, 19–43 (1980). https://doi.org/10.1007/BF00373095
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00373095