Abstract
The notion of an algebraizable logic in the sense of Blok and Pigozzi [3] is generalized to that of a possibly infinitely algebraizable, for short, p.i.-algebraizable logic by admitting infinite sets of equivalence formulas and defining equations. An example of the new class is given. Many ideas of this paper have been present in [3] and [4]. By a consequent matrix semantics approach the theory of algebraizable and p.i.-algebraizable logics is developed in a different way. It is related to the theory of equivalential logics in the sense of Prucnal and Wroński [18], and it is extended to nonfinitary logics. The main result states that a logic is algebraizable (p.i.-algebraizable) iff it is finitely equivalential (equivalential) and the truth predicate in the reduced matrix models is equationally definable.
Similar content being viewed by others
References
Anderson, A. R., N. D. Belnap, 1975, Entailment, Princeton University Press.
Blok, W. J., D. Pigozzi, 1986, ‘Protoalgebraic Logics’, Studia Logica 45, 337–369.
Blok, W. J., D. Pigozzi, 1989, ‘Algebraizable Logics’, Memoirs of the Am. Math. Soc. 396.
Blok, W. J., D. Pigozzi, 1992, ‘Algebraic Semantics for Universal Horn Logic without Equality’, in A. Romanowska, J. D. H. Smith (eds.) Universal Algebra and Quasigroup Theory, Heldermann, Berlin, 1–56.
Budkin, A. I., V. A. Gorbunov, 1973, ‘Implicative Classes of Algebras’, Algebra and Logic 12, 139–149.
da Costa, N., 1974, ‘On the Theory of Inconsistent Formal Systems’, Notre Dame Journal of Formal Logic 15, 497–510.
Czelakowski, J., 1981, ‘Equivalential Logics (I), (II)’, Studia Logica 40, 227–236, 355–372.
Czelakowski, J., 1986, ‘Local Deduction Theorems’, Studia Logica 45, 377–391.
Czelakowski, J., 1994, Logic, Algebra, Consequence Operations, preliminary version.
Dellunde, P., ‘A Finitary 1-equivalential Logic Not Finitely Equivalential’, preliminary version.
Font, J. M., G. Rodrigues, 1990, ‘Note on Algebraic Models for Relevance Logic’, Zeitschrift für math. Logik und Grundlagen der Math. 36, 535–540.
Font, J. M., V. Verdú, 1991, ‘Algebraic Logic for Classical Conjunction and Disjunction’, Studia Logica 50, 391–419.
Herrmann, B., 1993, ‘Equivalential Logics and Definability of Truth’, Ph. D. Dissertation, Freie Universität Berlin.
Herrmann, B., ‘Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator’, submitted to Studia Logica.
Lewin, R. A., I. F. Mikenberg, M. G. Schwarze, 1991, ‘C 1 is not Algebraizable’, Notre Dame Journal of Formal Logic 32, 609–611.
Mortensen, C., 1980, ‘Every Quotient Algebra for C 1 is Trivial’, Notre Dame Journal of Formal Logic 21, 694–700.
Porté, J., 1965, Recherches sur la théorie générale des systèmes formels, Gauthier-Villars, Paris.
Prucnal, T., A. Wroński, 1974, ‘An Algebraic Characterization of the Notion of Structural Completenes’, Bulletin of the Section of Logic of the Polish Academy of Sciences 3, 30–33.
Rasiowa, H., 1974, An Algebraic Approach to Non-classical Logics, North-Holland, Amsterdam.
Wójcicki, R., 1988, Theory of Logical Calculi, Kluwer, Dordrecht.
Author information
Authors and Affiliations
Additional information
Most of the results of the present and a forthcoming paper originally appeared in [13].
Rights and permissions
About this article
Cite this article
Herrmann, B. Equivalential and algebraizable logics. Stud Logica 57, 419–436 (1996). https://doi.org/10.1007/BF00370843
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370843