Skip to main content
SpringerLink
Log in

Irreflexive modality as a new logical connective in the Dummett logic

  • Published:
Siberian Mathematical Journal Aims and scope Submit manuscript

Abstract

We give an example of a countable family of extensions of Dummett’s superintuitionistic logic LC in a language with one extra unary logical connective each of them defining a new logical connective in LC in the sense of Novikov, and every two logics in this family are incompatible over LC.

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. Novikov P. S., Constructive Mathematical Logic from the Point of View of Classical Logic [in Russian], Nauka, Moscow (1977).

    Google Scholar 

  2. Skvortsov D. P., “On intuitionistic propositional calculus with a supplementary logical connective,” in: Studies on Nonclassical Logics and Formal Systems [in Russian], Nauka, Moscow, 1983, pp. 154–174.

    Google Scholar 

  3. Smetanich Ya. S., “On propositional calculi with a supplementary operation,” Dokl. Akad. Nauk SSSR, 139, No. 2, 309–312 (1959).

    Google Scholar 

  4. Smetanich Ya. S., “On completeness of propositional calculus with a supplementary unary operation,” Trudy Moskov. Mat. Obshch., 9, 357–371 (1960).

    Google Scholar 

  5. Dummett M., “A propositional calculus with denumerable matrix,” J. Symbolic Logic, 24, No. 1, 97–106 (1959).

    Article  MATH  MathSciNet  Google Scholar 

  6. Yashin A. D., “New constants in two pretabular superintuitionistic logics,” Algebra and Logic, 50, No. 2, 171–186 (2011).

    Article  MATH  MathSciNet  Google Scholar 

  7. Zakharyaschev M., Wolter F., and Chagrov A., “Advanced modal logic,” in: Handbook of Philosophical Logic. Vol. 3. 2nd edition. Ed. by D. M. Gabbay, F. Guenthner, Kluwer Acad. Publ., Dordrecht, 2001, pp. 83–266.

    Chapter  Google Scholar 

  8. Maksimova L. L., “Pretabular superintuitionistic logic,” Algebra i Logika, 11, No. 5, 558–570 (1972).

    Article  MATH  MathSciNet  Google Scholar 

  9. Bessonov A. V., “On new operations in intuitionistic calculus,” Math. Notes, 22, No. 1, 503–506 (1977).

    Article  MathSciNet  Google Scholar 

  10. Muravitskiĭ A. Yu., “Finite approximability of the Iδ calculus and the existence of an extension having no model,” Math. Notes, 29, No. 6, 463–468 (1981).

    Article  Google Scholar 

  11. Kuznetsov A. V., “Proof-intuitionistic propositional calculus,” Soviet Math. Dokl., 32, No. 1, 27–30 (1985).

    Google Scholar 

  12. Dardzhaniya G. K., “The sequential variant of the modal system IΔ,” in: Metabolic Studies [in Russian], Metsniereba, Tbilisi, 1985, pp. 59–72.

    Google Scholar 

  13. Yashin A. D., “Irreflexive modality in the intuitionistic propositional logic and Novikov completeness,” J. Philos. Logic, 28, 175–197 (1999).

    Article  MATH  MathSciNet  Google Scholar 

  14. Nishimura I., “On formulas of one variable in intuitionistic propositional calculus,” J. Symbolic Logic, 25, 327–331 (1960).

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Moscow State University of Psychology and Education, Moscow, Russia

    A. D. Yashin

Authors
  1. A. D. Yashin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. D. Yashin.

Additional information

Original Russian Text Copyright © 2014 Yashin A.D.

__________

Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 55, No. 1, pp. 228–234, January–February, 2014.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Yashin, A.D. Irreflexive modality as a new logical connective in the Dummett logic. Sib Math J 55, 185–190 (2014). https://doi.org/10.1134/S0037446614010212

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0037446614010212

Keywords

Search

Navigation