Abstract
The present paper is a study in abstract algebraic logic. We investigate the correspondence between the metalogical Beth property and the algebraic property of surjectivity of epimorphisms. It will be shown that this correspondence holds for the large class of equivalential logics. We apply our characterization theorem to relevance logics and many-valued logics.
Similar content being viewed by others
References
ANDERSON, A. R., and N. D. BELNAP, Jnr., Entailment: The Logic of Relevance and Necessity. Volume 1, Princeton University Press, 1975.
ANDREKA, H., I. NEMETI, and I. SAIN, ‘Algebraic Logic’, in D. GABBAY and F. GUENTHER, (eds.), Handbook of Philosophical Logic Vol. 2. 2nd ed., pp. 133–247, Kluwer, Dordrecht, 2001.
BETH, E. W., ‘On Padoa's method in the theory of definitions’, Nederl. Akad. Weten-sch. Proc. Ser. A 56 = Indagationes Math. 15(4) (1953), 330–339.
BLOK W. J., and B. JONSSON, ‘Algebraic structures for logic’, A course given at the 23rd Holiday Mathematics Symposium, New Mexico State University, January 1999. Available at http://math.nmsu.edu/ holysymp/lectures.html
BLOK W. J., and B. JONSSON, ‘Equivalence of consequence operations’, Studia Logica 91–110 of this issue.
BLOK, W. J., and D. PIGOZZI, ‘Protoalgebraic logics’, Studia Logica 45 (1986), 337–369.
BLOK, W. J., and D. PlGOZZI, ‘Algebraizable Logics’, Memoirs of the American Mathematical Society, 77, Number 396, Amer. Math. Soc., Providence, 1989.
BLOK, W. J., and D. PIGOZZI, ‘Algebraic semantics for universal Horn logic without equality’, in J.D.H. SMITH and A. ROMANOWSKA, (eds.), Universal Algebra and Quasigroup Theory, pp. 1–56, Heldermann Verlag, Berlin, 1992.
BLOK W. J., and D. PlGOZZI, ‘Abstract algebraic logic and the deduction theorem’, manuscript, 1997. [See http://orion.math.iastate.edu/dpigozzi/ for updated version, 2001.]
BURGESS, W., ‘The meaning of mono and epi in some familiar categories’, Canad. Math. Bull. 8 (1965), 759–769.
CHANG, C. C., ‘Algebraic analysis of many valued logics’, Trans. Amer. Math. Soc. 88 (1958), 467–490.
CIGNOLI, R. L. O., I. M. L. D'OTTAVIANO and D. MUNDICI, Algebraic Foundations of Many-valued Reasoning, Volume 7 of Trends in Logic-Studia Logica Library. Kluwer, Dordrecht, 2000.
CZELAKOWSKI, J., ‘Equivalential logics, I and IP, Studia Logica 40 (1981), 227–236, 355–372.
CZELAKOWSKI, J., ‘Logical matrices and the amalgamation property’, Studia Logica 41(4) (1982), 329–341.
CZELAKOWSKI, J., Protoalgebraic Logics, Kluwer, Dordrecht, 2001.
CZELAKOWSKI, J., and D. PIGOZZI, ‘Amalgamation and interpolation in abstract algebraic logic’, in X. CAICEDO and C. H. MONTENEGRO, (eds.), Models. Algebras and Proofs, Lecture Notes in Pure and Applied Mathematics, No. 203, pp. 187–265, Marcel Dekker, New York, 1999.
DlEGO, A., ‘Sur les algebras de Hilbert’, Collection de Logique Mathematique, Ser. A, Fasc. XXI. Gauthier-Villars, Paris, 1966.
FONT, J. M., R. JANSANA and D. PiGOZZI, ‘A survey of abstract algebraic logic’, Studio, Logica 74 (2003), 13–97.
FONT, J.M., and G. RODRIGUEZ, ‘Note on algebraic models for relevance logic’, Zeitschr. f. math. Logik und Grundlagen d. Math. 36 (1990), 535–540.
GALATOS, N., and H. ONO, ‘Algebraization, parametrized local deduction theorem and interpolation for substructural logics over PL’, Studia Logica 279–308 of this issue.
GRATZER, G., and H. LAKSER, ‘The structure of pseudocomplemented distributive lattices. II: Congruence extension and amalgamation’, Trans. Amer. Math. Soc. 156 (1971), 343–358.
HENKIN, L., J. D. MONK, and A. TARSKI, Cylindric Algebras. Parts I and II, North-Holland, Amsterdam, 1971 and 1985.
HERRMANN, B., ‘Equivalential and algebraizable logics’, Studia Logica 57 (1996), 419–436.
HERRMANN, B., ‘Characterizing equivalential and algebraizable logics by the Leibniz operator’, Studia Logica 58 (1997), 305–323.
HOOGLAND, E., ‘Algebraic characterizations of various Beth definability properties’, Studia Logica 65 (2000), 91–112.
HOOGLAND, E., Definability and Interpolation: model-theoretic investigations. PhD thesis, Institute for Logic, Language and Computation. University of Amsterdam, 2001.
Kiss, E. W., L. MARKI, P. PROHLE, and W. THOLEN, ‘Categorical algebraic properties. A compendium on amalgamation, congruence extension, epimorphisms, residual smallness and injectivity’, Studia Sci. Math. Hungar. 18 (1983), 79–141.
KRACHT, M., Tools and Techniques in Modal Logic, Vol. 142 of Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam, 1999.
KREISEL, G., and J.L. KRIVINE, Elements of Mathematical Logic (Model Theory), North-Holland, Amsterdam, 1971.
Los, J., and R. SUSZKO, ‘Remarks on sentential logics’, Nederl. Akad. Wetensch. Proc. Ser. A 61 = Indagationes Math. 20 (1958), 177–183.
LUKASIEWICZ, J., and A. TARSKI, ‘Untersuchungen iiber den Aussagenkalkiil’, Comptes rendus de la Societe des Sciences et des Lettres de Varsovie 23(cl. iii) (1930), 51–77.
MAKSIMOVA, L. L., ‘Modal logics and varieties of modal algebras: the Beth property, interpolation and amalgamation’, Algebra and Logic 31 (1992), 145–166.
MAKSIMOVA, L. L., ‘Beth properties, interpolation and amalgamation in varieties of modal algebras’, Soviet Math. Doklady 44 (1992), 327–331.
MAKSIMOVA, L.L., ‘Definability and interpolation in classical modal logics’, Contemporary Mathematics 131 (1992), 583–599.
MAKSIMOVA, L.L., ‘Explicit and implicit definability in modal and related logics’, Bulletin of the Section of Logic 27 (1998), 36–39.
MAKSIMOVA, L. L., ‘Intuitionistic logic and implicit definability’, Annals of Pure and Applied Logic 105 (2000), 83–102.
MALINOWSKI, J., ‘Modal equivalential logics’, J. Non-Classical Logic 3 (1986), 13–35.
MALINOWSKI, J., Equivalence in intensional logics. PhD thesis, The Polish Academy of Sciences, Institute of Philosophy and Sociology, 1989.
PADOA, A., ‘Logical introduction to any deductive theory’, English translation in [52], pp. 118–123, of ‘Essai d'une theorie algebrique des nombres entiers, precede d'une introduction logique a une theorie deductive quelconque’, Bibliotheque du Congres international de philosophic. Paris 1900, Vol. 3, pp. 309–365, Armand Colin, Paris, 1901.
PALASINSKA, K., ‘The failure of strong amalgamation property in certain classes of BCK-algebras’, Math. Japonica 33(6) (1988), 913–917.
PALASINSKA, K., Deductive systems and finite axiomatization properties. Doctoral Dissertation, Iowa State University, 1994.
PALASINSKA, K., ‘Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes’, Studia Logica 74 (2003), 233–273.
PRUCNAL, T., and A. WRONSKI, ‘An algebraic characterization of the notion of structural completeness’, Bulletin of the Section of Logic 3(1) (1974), 30–33.
PYNKO, A. P., ‘Implication systems for many-dimensional logics’, Reports on Mathematical Logic 33 (1999), 11–27.
RASIOWA, H., An Algebraic Approach to Non-Classical Logics, Vol. 78 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1974.
RENARDEL DE LAVALETTE, G., ‘Interpolation in fragments of intuitionistic prepositional logic’, J. Symbolic Logic 54(4) (1989), 1419–1430.
ROUTLEY, R., R., K. MEYER, V. PLUMWOOD, and R., T. BRADY, Relevant Logics and their Rivals. Part I. The basic philosophical and semantical theory, Ridgeview Publishing Company, Atascadero, California, 1982.
TfflSTLEWAITE, P. B., M. A. McRoBBIE, and R., K. MEYER, Automated Theorem-Proving in Non-Classical Logics, Pitman, London, 1988.
TISHKOWSKI, D.E., ‘On the Beth property in extensions of Lukasiewicz logics’, Siberian Mathematical Journal 43(1) (2002), 183–187.
URQUHART, A., ‘Many-valued logic’, in D. GABBAY and F. GUENTHER, (eds.), Handbook of Philosophical Logic. Volume III: Alternatives in Classical Logic, Synthese Library, Reidel, Dordrecht, 1984.
URQUHART, A., ‘Beth's definability theorem in relevant logics’, in E. ORLOWSKA (ed.), Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Studies in Fuzziness and Soft Computing, Springer-Verlag, Berlin/Heidelberg, 1999.
VAN HEUENOORT, J., (ed.), From Frege to Godel. A Sourcebook of Mathematical Logic. 1879–1931, Harvard University Press, Cambridge, Massachusetts, 1969.
WOJCICKI, R., ‘Matrix approach in the methodology of sentential calculi’, Studia Logica 32 (1973), 7–37.
WOJCICKI, R., Theory of Logical Calculi, Kluwer, Dordrecht, 1988.
ZUCKER, J. I., ‘Interpolation for fragments of the propositional calculus’, Preprint ZW 116/78, Mathematisch Centrum, Amsterdam, 1978.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of Willem Johannes Blok
Rights and permissions
About this article
Cite this article
Blok, W.J., Hoogland, E. The Beth Property in Algebraic Logic. Stud Logica 83, 49–90 (2006). https://doi.org/10.1007/s11225-006-8298-0
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s11225-006-8298-0