Siberian Mathematical Journal

, Volume 37, Issue 6, pp 1242–1258 | Cite as

A new regular constant in intuitionistic propositional logic

  • A. D. Yashin


Propositional Logic Intuitionistic Propositional Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 2.
    Ya. S. Smetanich, “On propositional calculi with a supplementary operation,” Dokl. Akad. Nauk SSSR,139, No. 2, 309–312 (1961).Google Scholar
  3. 3.
    H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics [Russian translation], Nauka, Moscow (1972).Google Scholar
  4. 4.
    A. V. Kuznetsov, “On proof-intuitionistic propositional calculus,” Dokl. Akad. Nauk SSSR,283, No. 1, 27–30 (1985).Google Scholar
  5. 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. 6.
    A. G. Dragalin, Mathematical Intuitionism. An Introduction to Proof Theory [in Russian], Nauka, Moscow (1979).Google Scholar
  7. 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. 8.
    L. L. Maksimova, “Pretabular superintuitionistic logics,” Algebra i Logika,11, No. 5, 558–570 (1972).Google Scholar
  9. 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. 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. 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

Copyright information

© Plenum Publishing Corporation 1996

Authors and Affiliations

  • A. D. Yashin
    • 1
  1. 1.Izhevsk

Personalised recommendations