New solutions to Novikov's problem for intuitionistic connectives

Journal of Logic and Computation

Volumn 8, Issue 5, 1998, Pages 637-664

  Yashin, A D ^a  

^a UDMURT STATE UNIVERSITY   (Russian Federation)

Author keywords

Irreflexive modality; New intuitionistic connective; Novikov completeness

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER AIDED LANGUAGE TRANSLATION; PROBLEM SOLVING; PROGRAMMING THEORY;

IRREFLEXIVE MODALITY; NEW INTUITIONISTIC CONNECTIVE; NOVIKOV COMPLETENESS;

LOGIC PROGRAMMING;

EID: 0032178501     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/8.5.637     Document Type: Article

References (35)

1. S. N. Artemov. Issues on Axiomatization and Completeness of Modal Provability Logics. Thesis, Steklov Mathematics Institute, Moscow, 1988, 158 pp. (Russian).
2. A. V. Bessonov. New operations in the intuitionistic calculus. Matem. Zametki, 22, 23-28, 1977. (Russian): English translation: Mathematical Notes, 1, 23-28, 1977.
3. A. V. Bessonov. New operations in the intuitionistic calculus. Matem. Zametki, 22, 23-28, 1977. (Russian): English translation: Mathematical Notes, 1, 23-28, 1977.
4. K. A. Bowen. An extension of the intuitionistic propositional calculus. Indagationes Math., 33, 287-293, 1971.
5. A. Chagrov and M. Zakharyaschev. Modal companions of intermediate propositional logics. Studia Logics, 51, 49-82, 1992.
6. D. P. Dubashi. On decidable vatieties of Heyting algebras, Journal of Symbolic Logic, 57, 988-991, 1992.
7. D. M. Gabbay. On some new intuitionistic propositional connectives I. Studia Logica, 36, 127-139, 1977.
8. C. A. Goad. Monadic infinitary propositional logic: a special operator. Reports on Math Logic, 10, 43-50, 1978.
9. R. I. Goldblatt. Metamathematics of modal logic I, II. Reports on Math. Logic, 6, 41-78; 7, 21-52, 1976.
10. R. I. Goldblatt. Metamathematics of modal logic I, II. Reports on Math. Logic, 6, 41-78; 7, 21-52, 1976.
11. Y. Gurevich. Intuitionistic logic with strong negation. Studia Logica, 36, 49-59, 1977.
12. M. Kaminski. Nonstandard connectives in intuitionistic propositional logic. Notre Dame Journal of Formal Logic, 29, 309-331, 1988.
13. A. V. Kuznetsov. On intuitionistic propositional provability calculus. Doklady Akademii Nauk SSSR, 283, 27-30, 1985. (Russian); English translation: Soviet Math. Doklady, 32, 27-30, 1985.
14. A. V. Kuznetsov. On intuitionistic propositional provability calculus. Doklady Akademii Nauk SSSR, 283, 27-30, 1985. (Russian); English translation: Soviet Math. Doklady, 32, 27-30, 1985.
15. I. Nishimura. On formulas of one variable in intuitionistic propositional calculus. Journal of Symbolic Logic, 25, 327-331, 1960.
16. H. Ono. Kripke models and intermediate logics. Publs. Res. Inst. Math. Sci., 6, 18-24, 1970.
17. H. Rasiowa and R. Sikorski. The Mathematics of Metamathematics. PWN, Warszawa, 1963.
18. C. Rauszer. A formalization of the propositional calculus of H-B logic. Studia Logica, 33, 23-34, 1974.
19. L. Rieger. On the lattice theory of Brouwerian propositional logic. Acta Facultatis Rerum Natur. Univ. Carolinae. Mathematica, 189, 1-40, 1949.
20. V. Y. Shavrukov. On two extensions of the provability logic GL. Russian Academy of sciences. Sbornik. Mathematics, 181, 240-255, 1990. (Russian); English translation: Mathematics of the USSR Sbornik, 69, 255-270, 1991..
21. V. Y. Shavrukov. On two extensions of the provability logic GL. Russian Academy of sciences. Sbornik. Mathematics, 181, 240-255, 1990. (Russian); English translation: Mathematics of the USSR Sbornik, 69, 255-270, 1991..
22. D. P. Skvortsov. On intuitionistic propositional calculus with an additional logical connective. In Investigations in Nonclassical Logics and Formal Systems, pp.154-173 (Russian). Nauka, Moskow, 1983.
23. Y. S. Smetanich. On the completeness of the propositional calculus with additional operations in one argument. Proc. of Moscow Math. Society, 9, 357-371, 1960, (Russian); reviewed in MR, 24, 1962.
24. Y. S. Smetanich. On the completeness of the propositional calculus with additional operations in one argument. Proc. of Moscow Math. Society, 9, 357-371, 1960, (Russian); reviewed in MR, 24, 1962.
25. Y. S. Smetanich. Propositional calculi with additional operations. Soviet math. Doklady, 139, 309-312, 1961, (Russian); reviewed in MR, 26, 1963.
26. Y. S. Smetanich. Propositional calculi with additional operations. Soviet math. Doklady, 139, 309-312, 1961, (Russian); reviewed in MR, 26, 1963.
27. P. Wojtylak. A recursive theory for the {¬,∧,∨,→,o} fragment if intuitionistic logic. Reports on Math. Logic, 18, 3-35, 1984.
28. V. A. Yankov. The relationship between deducibility in the intuitionistic propositional calculus and finite implicational structures. Doklady Akademii Nauk SSSR, 151, 1293-1294, 1963. (Russian); English translation: Soviet Mathematics Doklady, 4, 1203-1203, 1963.
29. V. A. Yankov. The relationship between deducibility in the intuitionistic propositional calculus and finite implicational structures. Doklady Akademii Nauk SSSR, 151, 1293-1294, 1963. (Russian); English translation: Soviet Mathematics Doklady, 4, 1203-1203, 1963.
30. A. D. Yashin. The Smetanich logic has the unique Novikov complete extension. Proc. of Logic Colloquium '94, Clermont-Ferrand, France, pp. 163, 1994.
31. A. D. Yashin. On completeness of one new intuitionistic connective. Matem. Zametki, 60, 423-433, 1996. (Russian); English translation: to appear.
32. A. D. Yashin. On Novikov's approach to the notion of a new intuitionistic connective: two negative examples. Bull. Sec. Log., 25, 84-88, 1996.
33. A. D. Yashin. A new regular constant in intuitionistic propositional logic. Siberian Math. J., 37, 1413-1432, 1996. (Russian); English translation: to appear.
34. A. D. Yashin. On number of new logical constants in the intuitionistic prepositional calculus. Moscow Univ. Vestnik, Math. Mech. Series, 1, 7-10, 1997. (Russian); English translation: to appear.
35. A. D. Yashin. The continuality of the family of Novikov complete logics with new unary connective. Moscow Univ. Vestnik, Math., Mech. Series, 3, 22-25, 1997. (Russian); English translation: to appear.