Skip to main content
SpringerLink
Log in

Definability and Interpolation in Non-Classical Logics

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Algebraic approach to study of classical and non-classical logical calculi was developed and systematically presented by Helena Rasiowa in [48], [47]. It is very fruitful in investigation of non-classical logics because it makes possible to study large families of logics in an uniform way. In such research one can replace logics with suitable classes of algebras and apply powerful machinery of universal algebra.

In this paper we present an overview of results on interpolation and definability in modal and positive logics,and also in extensions of Johansson's minimal logic. All these logics are strongly complete under algebraic semantics. It allows to combine syntactic methods with studying varieties of algebras and to flnd algebraic equivalents for interpolation and related properties. Moreover, we give exhaustive solution to interpolation and some related problems for many families of propositional logics and calculi.

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. BARWISE, J., and S. FEFERMAN, (eds.), Model-Theoretic Logics, New York, Springer-Verlag, 1985.

    Google Scholar 

  2. BETH E. W., ‘On Padoa's method in the theory of definitions’, Indagationes Math. 15:330–339, 1953.

    Google Scholar 

  3. BICARREGUI, J., T. DIMITRAKOS, D. GABBAY, AND T. MAIBAUM, ‘Interpolation in Practical Formal Development’, Logic Journal of the IGPL 9:247–259, 2001.

    Google Scholar 

  4. CHAGROV, A. V., ‘Undecidable properties of extensions of the provability logic’, Algebra and Logic 29:350–367, 1990.

    Google Scholar 

  5. CHAGROV, A., AND M. ZAKHARYASCHEV, Modal Logic, Oxford University Press, Oxford, 1997.

    Google Scholar 

  6. CRAIG W., ‘Three uses of Herbrand-Gentzen theorem in relating model theory and proof theory’, J. Symbolic Logic 22:269–285, 1957.

    Google Scholar 

  7. CZELAKOWSKI, J., ‘Logical matrices and the amalgamation property’, Studia Logica, 41:329–341, 1982.

    Google Scholar 

  8. CZELAKOWSKI, J., AND D. PIGOZZI, ‘Amalgamation and interpolation in abstract algebraic logic’, in X. Caicedo and C. H. Montenegro, (eds.) Models, Algebras and Proofs, Selected Papers of the X Latin American Symposium on Mathemetical Logic, Marcel Dekker, New York, 1999, 187–265.

  9. GABBAY, D. M., Investigations to Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics, D. Reidel Publ. Co., Dordrecht, 1976.

    Google Scholar 

  10. GABBAY, D. M., Semantical Investigations in Heyting's Intuitionistic Logic, D. Reidel Publ. Co., Dordrecht, 1981.

    Google Scholar 

  11. GABBAY, D. M., AND L. MAKSIMOVA, Interpolation and Definability: Modal and Intuitionistic Logics, Clarendon Press, Oxford, 2005.

    Google Scholar 

  12. HENKIN, L., D. MONK, AND A. TARSKI, Cylindric algebras, Part II, North-Holland, Amsterdam, 1985.

    Google Scholar 

  13. GHILARDI, S., AND M. ZAWADOWSKI. Sheaves, Games and Model Completions (a categorical approach to non classical propositional logics), Kluwer, Dordrecht, 2002.

    Google Scholar 

  14. HOOGLAND, E., Definability and Interpolation. Model-theoretic investigations, ILLC Dissertation Series DS-2001-05, Amsterdam, 2001.

  15. JONSSON, B., ‘Extensions of relational structures’, in Theory of Models, Proc. 1963 International Symposium, North-Holland, Berkeley, Amsterdam, 1965, 146–157.

  16. KOWALSKI, T., AND H. ONO, ‘Splittings in the variety of residuated lattices’, Algebra Universalis 44:283–298, 2000.

    Article  Google Scholar 

  17. KREISEL, G., ‘Explicit definability in intuitionistic logic’, J. Symbolic Logic 25:389–390, 1960.

    Google Scholar 

  18. MAKSIMOVA, L. L., ‘Craig's Theorem in Superintuitionistic Logics and Amalgamable Varieties of Pseudo-Boolean Algebras’, Algebra and Logic 16:643–681, 1977.

    Article  Google Scholar 

  19. MAKSIMOVA, L. L., ‘Interpolation theorems in modal logics and amalgamable varieties of topoboolean algebras’, Algebra and Logic 18:556–586, 1979.

    Google Scholar 

  20. MAKSIMOVA, L. L., ‘Interpolation theorems in modal logics: Sufficient conditions’, Algebra and Logic 19:194–213, 1980.

    Article  Google Scholar 

  21. MAKSIMOVA, L. L., ‘Absence of interpolation in modal companions of Dummett's logic’ Algebra and Logic 21:690–694, 1982.

    Article  Google Scholar 

  22. MAKSIMOVA, L. L., ‘Interpolation properties of superintuitionistic logics’, Studia Logica 38:419–428, 1979.

    Article  Google Scholar 

  23. MAKSIMOVA, L. L., ‘Amalgamation and Interpolation in Normal Modal Logics’, Studia Logica 50:457–471, 1991.

    Article  Google Scholar 

  24. MAKSIMOVA, L. L., ‘Modal Logics and Varieties of Modal Algebras: the Beth Property, Interpolation and Amalgamation’, Algebra and Logic 31:145–166, 1992.

    Article  Google Scholar 

  25. MAKSIMOVA, L. L., ‘An Analog of the Beth theorem in normal extensions of the modal logic K4’, Siberian Mathematical Journal 33:118–130, 1992.

    Article  Google Scholar 

  26. MAKSIMOVA, L. L., ‘Explicit and Implicit Definability in Modal and Related Logics’, Bulletin of Section of Logic 27:36–39, 1998.

    Google Scholar 

  27. MAKSIMOVA, L. L., ‘Projective Beth properties in modal and superintuitionistic logics’, Algebra and Logic 38:316–333, 1999.

    Google Scholar 

  28. MAKSIMOVA, L. L., ‘Strongly decidable properties of modal and intuitionistic calculi’, Logic Journal of the IGPL, 8:797–819, 2000.

    Google Scholar 

  29. MAKSIMOVA, L. L., ‘Intuitionistic Logic and Implicit Definability’, Annals of Pure and Applied Logic 105:83–102, 2000.

    Article  Google Scholar 

  30. MAKSIMOVA, L. L., ‘Decidability of projective Beth's property in varieties of Heyting algebras’, Algebra and Logic 40:290–301, 2001.

    Article  Google Scholar 

  31. MAKSIMOVA, L. L., ‘Projective Beth's Properties in Infinite Slice Extensions of K4’, in F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev, (eds) Advances in Modal Logics, Volume 3, World Scientific, Singapore, 2002, pp. 349–363.

    Google Scholar 

  32. MAKSIMOVA, L. L., ‘Restricted interpolation in modal logics’, in P. Balbiani, N.-Y. Suzuki, F. Wolter, and M. Zakharyaschev, (eds.) Advances in Modal Logics, Volume 4, King's College London Publications, London, 2003, pp. 297–312.

    Google Scholar 

  33. MAKSIMOVA, L. L., ‘Implicit definability in positive logics’, Algebra and Logic 42:65–93, 2003.

    Google Scholar 

  34. MAKSIMOVA, L. L., ‘Restricted interpolation and projective Beth's property in equational logic’, Algebra and Logic 42:712–726, 2003.

    Google Scholar 

  35. MAKSIMOVA, L. L., ‘Complexity of interpolation and related problems in positive calculi’, J. Symb. Logic 67:397–408, 2002.

    Google Scholar 

  36. MAKSIMOVA, L. L., ‘Definability in normal extensions of S4 logic’, Algebra and Logic 43:387–410, 2004.

    Article  Google Scholar 

  37. MAKSIMOVA, L. L., ‘Decidable properties of logical calculi and of varieties of algebras’, in V. Stoltenberg-Hansen, and J. Vaananen, (eds.) Logic Colloquium’03, Lecture Notes in Logic 24, Association for Symbolic Logic, 2006, 21 pp. To appear.

  38. MAKSIMOVA, L. L., ‘On a form of interpolation in modal logics’, Logic Colloquium 2005, Abstracts, Athens 2005, p. 94.

  39. MAKSIMOVA, L. L., ‘Interpolation and definability in extensions of the minimal logic’, Algebra and Logic 44:726–750, 2005.

    Article  Google Scholar 

  40. MAKSIMOVA, L. L., ‘Projective Beth's property in extensions of Grzegorczyk logic’, Studia Logica To appear.

  41. MAKSIMOVA, L. L., ‘Projective Beth property and interpolation in positive and related logics’, Algebra and Logic. To appear.

  42. MAKSIMOVA L., AND A. VORONKOV, ‘Complexity of some problems in modal and superintuitionistic calculi’, in M. Baaz and J. M. Makowsky, (eds.), Computer Science Logic, Proc. of 17th International Workshop CSL 2003, 12th Annual Conference of EQCSL and 8th Kurt Goedel Colloquium, KGG 2003, Vienna, Austria, Vol. 2803 of LNCS, Springer, Amsterdam, 2003, pp. 397–412.

  43. MALTSEV, A. I., Algebraic systems, Moscow: Nauka, 1970.

    Google Scholar 

  44. ONO, H., ‘Interpolation and the Robinson property for logics not closed under the Boolean operations’, Algebra Universalis 23:111–122, 1986.

    Article  Google Scholar 

  45. ONO, H., ‘Substructural logics and residuated lattices - an introduction’, in V. F. Hendricks and J. Malinowski, (eds.), Trends in Logic: 50 Years of Studia Logica, Kluwer 2003, pp. 177–212.

  46. RASIOWA, H., ‘The Craig interpolation theorem for m-valued predicate calculi’, Bull. de l’Acad. Polonaise Sci. 20:341–346, 1972.

    Google Scholar 

  47. RASIOWA, H., Algebraic Approach to Non-Classical Logics, North-Holland, Amsterdam, 1974.

    Google Scholar 

  48. RASIOWA, H., AND R. SIKORSKI, The Mathematics of Metamathematics, Warszawa, PWN, 1963.

    Google Scholar 

  49. RAUTENBERG, W., Klassische und nicht-classische Aussagenlogik, Wiesbaden, Vieweg, Braunschweig, 1979.

  50. ROBINSON, A., ‘A result on consistency and its application to the theory of definition’, Indagationes Mathematicae 18:47–58, 1956.

    Google Scholar 

  51. SAIN, I., ‘Beth's and Craig's Properties via Epimorphisms and Amalgamation in Algebraic Logic’, in C. H. Bergman, R. D. Maddux, and D. I. Pigozzi, (eds.), Algebraic Logic and Universal Algebra in Computer Science. Lecture Notes in Computer Science, 425:209–226, 1990, Springer Verlag.

  52. SUZUKI, N.-Y., ‘Hallden-completeness in super-intuitionistic predicate logics’, Studia Logica 73:113–130, 2003.

    Article  Google Scholar 

  53. WROŃSKI, A., ‘On a form of equational interpolation property’, Foundations of logic and linguistics. Problems and solution. Selected contributions to the 7th International Congress on LMPS, Plenum Press, London, 1985, pp. 23–29.

Download references

Author information

Authors and Affiliations

  1. Sobolev Institute of Mathematics, Siberian Branch of Russian Academy of Sciences, Novosibirsk, 630090, Russia

    Larisa Maksimova

Authors
  1. Larisa Maksimova
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Larisa Maksimova.

Additional information

This paper is a version of the invited talk given by the author at the conference Trends in Logic III, dedicated to the memory of A. MOSTOWSKI, H. RASIOWA and C. RAUSZER, and held in Warsaw and Ruciane-Nida from 23rd to 25th September 2005.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Maksimova, L. Definability and Interpolation in Non-Classical Logics. Stud Logica 82, 271–291 (2006). https://doi.org/10.1007/s11225-006-7203-1

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-006-7203-1

Keywords

Search

Navigation