Skip to main content
SpringerLink
Log in

The Beth Property in Algebraic Logic

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. ANDERSON, A. R., and N. D. BELNAP, Jnr., Entailment: The Logic of Relevance and Necessity. Volume 1, Princeton University Press, 1975.

  2. 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.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. 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

  5. BLOK W. J., and B. JONSSON, ‘Equivalence of consequence operations’, Studia Logica 91–110 of this issue.

  6. BLOK, W. J., and D. PIGOZZI, ‘Protoalgebraic logics’, Studia Logica 45 (1986), 337–369.

    Article  Google Scholar 

  7. BLOK, W. J., and D. PlGOZZI, ‘Algebraizable Logics’, Memoirs of the American Mathematical Society, 77, Number 396, Amer. Math. Soc., Providence, 1989.

  8. 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.

    Google Scholar 

  9. 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.]

  10. BURGESS, W., ‘The meaning of mono and epi in some familiar categories’, Canad. Math. Bull. 8 (1965), 759–769.

    Google Scholar 

  11. CHANG, C. C., ‘Algebraic analysis of many valued logics’, Trans. Amer. Math. Soc. 88 (1958), 467–490.

    Article  Google Scholar 

  12. 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.

    Google Scholar 

  13. CZELAKOWSKI, J., ‘Equivalential logics, I and IP, Studia Logica 40 (1981), 227–236, 355–372.

    Article  Google Scholar 

  14. CZELAKOWSKI, J., ‘Logical matrices and the amalgamation property’, Studia Logica 41(4) (1982), 329–341.

    Article  Google Scholar 

  15. CZELAKOWSKI, J., Protoalgebraic Logics, Kluwer, Dordrecht, 2001.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. DlEGO, A., ‘Sur les algebras de Hilbert’, Collection de Logique Mathematique, Ser. A, Fasc. XXI. Gauthier-Villars, Paris, 1966.

    Google Scholar 

  18. FONT, J. M., R. JANSANA and D. PiGOZZI, ‘A survey of abstract algebraic logic’, Studio, Logica 74 (2003), 13–97.

    Article  Google Scholar 

  19. 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.

    Google Scholar 

  20. GALATOS, N., and H. ONO, ‘Algebraization, parametrized local deduction theorem and interpolation for substructural logics over PL’, Studia Logica 279–308 of this issue.

  21. GRATZER, G., and H. LAKSER, ‘The structure of pseudocomplemented distributive lattices. II: Congruence extension and amalgamation’, Trans. Amer. Math. Soc. 156 (1971), 343–358.

    Article  Google Scholar 

  22. HENKIN, L., J. D. MONK, and A. TARSKI, Cylindric Algebras. Parts I and II, North-Holland, Amsterdam, 1971 and 1985.

    Google Scholar 

  23. HERRMANN, B., ‘Equivalential and algebraizable logics’, Studia Logica 57 (1996), 419–436.

    Article  Google Scholar 

  24. HERRMANN, B., ‘Characterizing equivalential and algebraizable logics by the Leibniz operator’, Studia Logica 58 (1997), 305–323.

    Article  Google Scholar 

  25. HOOGLAND, E., ‘Algebraic characterizations of various Beth definability properties’, Studia Logica 65 (2000), 91–112.

    Article  Google Scholar 

  26. HOOGLAND, E., Definability and Interpolation: model-theoretic investigations. PhD thesis, Institute for Logic, Language and Computation. University of Amsterdam, 2001.

  27. 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.

    Google Scholar 

  28. KRACHT, M., Tools and Techniques in Modal Logic, Vol. 142 of Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam, 1999.

    Google Scholar 

  29. KREISEL, G., and J.L. KRIVINE, Elements of Mathematical Logic (Model Theory), North-Holland, Amsterdam, 1971.

    Google Scholar 

  30. Los, J., and R. SUSZKO, ‘Remarks on sentential logics’, Nederl. Akad. Wetensch. Proc. Ser. A 61 = Indagationes Math. 20 (1958), 177–183.

    Google Scholar 

  31. 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.

    Google Scholar 

  32. MAKSIMOVA, L. L., ‘Modal logics and varieties of modal algebras: the Beth property, interpolation and amalgamation’, Algebra and Logic 31 (1992), 145–166.

    Article  Google Scholar 

  33. MAKSIMOVA, L. L., ‘Beth properties, interpolation and amalgamation in varieties of modal algebras’, Soviet Math. Doklady 44 (1992), 327–331.

    Google Scholar 

  34. MAKSIMOVA, L.L., ‘Definability and interpolation in classical modal logics’, Contemporary Mathematics 131 (1992), 583–599.

    Google Scholar 

  35. MAKSIMOVA, L.L., ‘Explicit and implicit definability in modal and related logics’, Bulletin of the Section of Logic 27 (1998), 36–39.

    Google Scholar 

  36. MAKSIMOVA, L. L., ‘Intuitionistic logic and implicit definability’, Annals of Pure and Applied Logic 105 (2000), 83–102.

    Article  Google Scholar 

  37. MALINOWSKI, J., ‘Modal equivalential logics’, J. Non-Classical Logic 3 (1986), 13–35.

    Google Scholar 

  38. MALINOWSKI, J., Equivalence in intensional logics. PhD thesis, The Polish Academy of Sciences, Institute of Philosophy and Sociology, 1989.

  39. 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.

    Google Scholar 

  40. PALASINSKA, K., ‘The failure of strong amalgamation property in certain classes of BCK-algebras’, Math. Japonica 33(6) (1988), 913–917.

    Google Scholar 

  41. PALASINSKA, K., Deductive systems and finite axiomatization properties. Doctoral Dissertation, Iowa State University, 1994.

  42. PALASINSKA, K., ‘Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes’, Studia Logica 74 (2003), 233–273.

    Article  Google Scholar 

  43. 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.

    Google Scholar 

  44. PYNKO, A. P., ‘Implication systems for many-dimensional logics’, Reports on Mathematical Logic 33 (1999), 11–27.

    Google Scholar 

  45. RASIOWA, H., An Algebraic Approach to Non-Classical Logics, Vol. 78 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1974.

    Google Scholar 

  46. RENARDEL DE LAVALETTE, G., ‘Interpolation in fragments of intuitionistic prepositional logic’, J. Symbolic Logic 54(4) (1989), 1419–1430.

    Article  Google Scholar 

  47. 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.

    Google Scholar 

  48. TfflSTLEWAITE, P. B., M. A. McRoBBIE, and R., K. MEYER, Automated Theorem-Proving in Non-Classical Logics, Pitman, London, 1988.

    Google Scholar 

  49. TISHKOWSKI, D.E., ‘On the Beth property in extensions of Lukasiewicz logics’, Siberian Mathematical Journal 43(1) (2002), 183–187.

    Article  Google Scholar 

  50. 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.

    Google Scholar 

  51. 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.

    Google Scholar 

  52. VAN HEUENOORT, J., (ed.), From Frege to Godel. A Sourcebook of Mathematical Logic. 1879–1931, Harvard University Press, Cambridge, Massachusetts, 1969.

    Google Scholar 

  53. WOJCICKI, R., ‘Matrix approach in the methodology of sentential calculi’, Studia Logica 32 (1973), 7–37.

    Article  Google Scholar 

  54. WOJCICKI, R., Theory of Logical Calculi, Kluwer, Dordrecht, 1988.

    Google Scholar 

  55. ZUCKER, J. I., ‘Interpolation for fragments of the propositional calculus’, Preprint ZW 116/78, Mathematisch Centrum, Amsterdam, 1978.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago, 851S Morgan Street, Chicago, Illinois, 60607-7045, USA

    W. J. Blok

  2. Netherlands Organisation for Scientific Research NWO, P.O. Box 93138, 2509 AC, The Hague, The Netherlands

    Eva Hoogland

Authors
  1. W. J. Blok
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eva Hoogland
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Eva Hoogland.

Additional information

Dedicated to the memory of Willem Johannes Blok

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-006-8298-0

Keywords

Search

Navigation