Abstract
It is shown that the class of reduced matrices of a logic ⊢ is a 1st order ∀∃-class provided the variety associated with ⊢ has the finite replacement property in the sense of [7]. This applies in particular to all 2-valued logics. For 3-valued logics the class of reduced matrices need not be 1st order.
Similar content being viewed by others
References
J. Berman,Algebraic Properties of k-valued Logics,Proc. 10. Int. Symp. Multiple-valued Logic, Evanston1980.
W. Blok, D. Pigozzi,On the Structure of Varieties with Equationally Definable Principal Congruences,Alg. Univ. 15 (1982), pp. 195–227.
W. Blok, D. Pigozzi,Algebraizable Logics,Memoirs of the Am. Math. Soc. 396 (1989).
C. Chang, H. Keisler,Model Theory, Amsterdam 1973.
J. Font, F. Guzmán, V. Verdú,Characterization of the Reduced Matrices for the {∧, ∨}-Fragment of Classical Logic, to appear inBull. Sec. Logic.
G. Grätzer,General Lattice Theory, New York 1978.
B. Herrmann, W. Rautenberg,Finite Replacement and Finite Hilbert-style Axiomatizability, to appear inZeitschr. Math. Logik Grundl. Math. 38 (1992).
W. Rauthenberg,Two-element Matrices,Studia Logica 40 (1981), pp. 315–353.
R. Wójcicki,Theory of Logical Calculi, Dordrecht 1988.
A. Wroński,A 3-valued Matrix whose Consequence Operation is not Finitely Based,Bull. Sec. Logic 8 (1979), pp. 68–71.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rautenberg, W. On reduced matrices. Stud Logica 52, 63–72 (1993). https://doi.org/10.1007/BF01053064
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01053064