A new regular constant in intuitionistic propositional logic

Siberian Mathematical Journal

Volumn 37, Issue 6, 1996, Pages 1242-1258

  Yashin, A D ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21444448312     PISSN: 00374466     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF02106749     Document Type: Article

References (11)

1. Ya. S. Smetanich, "On completeness of prepositional calculus with a supplementary unary operation," Trudy Moskov. Mat. Obshch., 9, 357-351 (1960).
2. Ya. S. Smetanich, "On prepositional calculi with a supplementary operation," Dokl. Akad. Nauk SSSR, 139, No. 2, 309-312 (1961).
3. H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics [Russian translation], Nauka, Moscow (1972).
4. A. V. Kuznetsov, "On proof-intuitionistic propositional calculus," Dokl. Akad. Nauk SSSR, 283, No. 1, 27-30 (1985).
5. Φ and two definitions of a new intuitionistic connective," Mat. Zametki, 56, No. 1, 135-142 (1994).
6. A. G. Dragalin, Mathematical Intuitionism. An Introduction to Proof Theory [in Russian], Nauka, Moscow (1979).
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.
8. L. L. Maksimova, "Pretabular superintuitionistic logics," Algebra i Logika, 11, No. 5, 558-570 (1972).
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).
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).
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).