Abstract
There exist important deductive systems, such as the non-normal modal logics, that are not proper subjects of classical algebraic logic in the sense that their metatheory cannot be reduced to the equational metatheory of any particular class of algebras. Nevertheless, most of these systems are amenable to the methods of universal algebra when applied to the matrix models of the system. In the present paper we consider a wide class of deductive systems of this kind called protoalgebraic logics. These include almost all (non-pathological) systems of prepositional logic that have occurred in the literature. The relationship between the metatheory of a protoalgebraic logic and its matrix models is studied. The following results are obtained for any finite matrix model U of a filter-distributive protoalgebraic logic Λ: (I) The extension Λ U of Λ is finitely axiomatized (provided Λ has only finitely many inference rules); (II) Λ U has only finitely many extensions.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
A. E. Anderson and N. D. Belnap Jr., Entailment. The Logic of Relevance and Necessity Princeton University Press, Princeton, 1975, XXXII+542 pp.
K.A. Baker, Finite equational bases for finite algebras in a congruence-distributive equational class, Advances in Mathematics 24 (1977), pp. 207–243.
W. J. Blok, and P. Köhler, Algebraic semantics for modal logics, Journal for Symbolic Logic 48 (1983), pp. 941–964.
W. J. Blok and D. Pigozzi, A characterisation of algebraizable logics. Preprint.
S. L. Bloom, Some theorems on structural consequence relations, Studia Logica 34 (1975), pp. 1–9.
S. L. Bloom and R. Suszko, Investigations into the sentential calculus with identity, Notre Dame Journal of Formal Logic 13 (1972), pp. 289–307.
G. Birkhoff, On the structure of abstract algebras, Proceedings of Cambridge Philosophical Society 31 (1935), pp. 433–454.
—, Subdirect unions in universal algebras, Bulletin of American Mathematical Society 50 (1944), pp. 764–768.
J. Czelakowski, Reduced products of logical matrices, Studia Logica 39 (1980), pp. 19–43.
—, Equivalential logics (I), (II), Studia Logica 40 (1981), pp. 227–236, pp. 355–372.
—, Matrices, primitive satisfaction and finitely based logics, Studia Logica 42 (1983), pp. 89–104.
—, Filter-distributive logics. Manuscript.
W. Dzik and R. Suszko, On distributivity of closure systems, Bulletin of the Section Logic Polish Academy of Sciences Institute of Philosophy and Sociology 6 (1977), pp. 64–66.
B. Jónsson, Algebras whose congruence lattices are distributive, Mathematica Scandinavica 21 (1967), pp. 110–121.
—, Congruence varieties. Appears in: Universal Algebra G. Grätzer, second edition. Springer-Verlag, New York, 1979.
A. I. Mal'cev, The Metamathematics of Algebraic Systems. Collected Papers: 1936–1967. Studies in Logic and the Foundations of Mathematics, Vol. 66. North-Holland Publishing Company, Amsterdam-London, 1971.
T. Prucnal and A. Wroński, An algebraic characterization of the notion of structural completeness, Bulletin of the Section of Logic Polish Academy of Sciences Institute of Philosophy and Sociology 3 (1974), pp. 30–33.
H. Rasiowa, An Algebraic Approach to Non-Classical Logics, Studies in Logic and the Foundations of Mathematics, Vol. 78. North-Holland Publishing Company, Amsterdam, 1974.
D. J. Shoesmith and T. J. Smiley, Multiple-Conclusion Logic, Cambridge University Press, Cambridge, 1978.
R. Wójcicki, Logical matrices strongly adequate for structural sentential calculi, Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques 6 (1969), pp. 333–335.
—, Matrix approach in methodology of sentential calculi, Studia Logica 32 (1973), pp. 7–37.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Blok, W.J., Pigozzi, D. Protoalgebraic logics. Stud Logica 45, 337–369 (1986). https://doi.org/10.1007/BF00370269
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370269