Skip to main content
SpringerLink
Log in

A new regular constant in intuitionistic propositional logic

  • Published:
Siberian Mathematical Journal Aims and scope Submit manuscript

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

References

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

    Google Scholar 

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

    Google Scholar 

  3. H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics [Russian translation], Nauka, Moscow (1972).

    Google Scholar 

  4. A. V. Kuznetsov, “On proof-intuitionistic propositional calculus,” Dokl. Akad. Nauk SSSR,283, No. 1, 27–30 (1985).

    Google Scholar 

  5. A. D. Yashin, “The Smetanich logicT Φ and two definitions of a new intuitionistic connective,” Mat. Zametki,56, No. 1, 135–142 (1994).

    Google Scholar 

  6. A. G. Dragalin, Mathematical Intuitionism. An Introduction to Proof Theory [in Russian], Nauka, Moscow (1979).

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  9. M. V. Zakhar'yashchev and A. V. Chagrov, Undecidability of the Disjunction Property of Superintuitionistic Calculi [Preprint, No. 57] [in Russian], IPM, Moscow (1989).

    Google Scholar 

  10. V. A. Yankov, “On connection between deducibility in intuitionistic propositional calculus and finite implicative structures,” Dokl. Akad. Nauk SSSR,151, No. 6, 1293–1294 (1963).

    Google Scholar 

  11. R. E. Kirk, “A characterization of the classes of finite tree frames which are adequate for the intuitionistic logic,” Z. Math. Logik Grundlag Math.,26, No. 6, 497–501 (1980).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Izhevsk

    A. D. Yashin

Authors
  1. A. D. Yashin
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Sibirskii Matematicheskii, Vol. 37, No. 6, pp. 1413–1432, November–December, 1996.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Yashin, A.D. A new regular constant in intuitionistic propositional logic. Sib Math J 37, 1242–1258 (1996). https://doi.org/10.1007/BF02106749

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02106749

Keywords

Search

Navigation