Abstract
The classesMatr(\( \subseteq \)) of all matrices (models) for structural finitistic entailments\( \subseteq \) are investigated. The purpose of the paper is to prove three theorems: Theorem I.7, being the counterpart of the main theorem from Czelakowski [3], and Theorems II.2 and III.2 being the entailment counterparts of Bloom's results [1]. Theorem I.7 states that if a classK of matrices is adequate for\( \subseteq \), thenMatr(\( \subseteq \)) is the least class of matrices containingK and closed under the formation of ultraproducts, submatrices, strict homomorphisms and strict homomorphic pre-images. Theorem II.2 in Section II gives sufficient and necessary conditions for a structural entailment to be finitistic. Section III contains theorems which characterize finitely based entailments.
Similar content being viewed by others
References
S. L. Bloom,Some theorems on structural consequence operations Studia Logica Vol. XXIV, No. 1 (1975), pp. 1–9.
C. C. Chang andH. J. Keisler,Model Theory, North-Holland and American Elsevier, Amsterdam-London-New York 1973.
J. Czelakowski,Reduced products of logical matrices Studia Logica, Vol. XXXIX, No. 1 (1980), pp. 19–43.
J. Czelakowski,Equivalential logics, Part I,Studia Logica, Vol. XL, No. 3 (1981), pp. 227–236; Part II,Studia Logica, Vol. XL, No. 4 (1981), pp. 355–372.
D. Scott,Completeness and axiomatizability in many valued logic, in:Proceedings of the Tarski Symposium (ed. byL. Henkin et al.), Proceedings of Symposia in Pure Mathematics, Vol. 25 (1974), pp. 431–435.
D. J. Shoesmith andT. J. Smiley,Multiple-Conclusion Logic, Cambridge University Press, Cambridge 1978.
R. Wójcicki,Matrix approach in sentential calculi Studia Logica, Vol. XXXII (1973), pp. 7–37.
J. Zygmunt,A note on direct products and ultraproducts of logical matrices Studia Logica Vol. XXXIV, No. 4 (1974), pp. 349–357.
J. Zygmunt,Entailment relations and matrices (I),Bulletin of the Section of Logic, Vol. 8, No. 2 (1979), IFiS PAN, Wrocław, pp. 112–115.
J. Zygmunt,Consequence relations and logical matrices, to appear inActa Universitatis Wratislaviensis.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Czelakowski, J. Some theorems on structural entailment relations. Stud Logica 42, 417–429 (1983). https://doi.org/10.1007/BF01371630
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01371630