N. K. Vereshchagin, D. P. Skvortsov, E. Z. Skvortsova, A. V. Chernov, “Variants of Realizability for Propositional Formulas and the Logic of Weak Excluded Middle”, Trudy Mat. Inst. Steklova, 242 (2003), 77–97; Proc. Steklov Inst. Math., 242 (2003), 67–85
O. M. Anshakov, D. P. Skvortsov, V. K. Finn, “On a logical construction of the JSM-method of automated
hypothesis generation”, Dokl. Akad. Nauk SSSR, 320:6 (1991), 1331–1336; Dokl. Math., 36:10 (1991), 674–676
1985
3.
D. P. Skvortsov, “A superintuitionistic propositional calculus”, Algebra Logika, 24:2 (1985), 195–204
1979
4.
L. L. Maksimova, D. P. Skvortsov, V. B. Shehtman, “Impossibility of finite axiomatization of Medvedev's logic of finite problems”, Dokl. Akad. Nauk SSSR, 245:5 (1979), 1051–1054
D. P. Skvortsov, “Logic of infinite problems and Kripke models on atomic semilattices of sets”, Dokl. Akad. Nauk SSSR, 245:4 (1979), 798–801
6.
D. P. Skvortsov, “Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication”, Mat. Zametki, 25:6 (1979), 919–931; Math. Notes, 25:6 (1979), 474–481
1976
7.
D. P. Skvortsov, “The occurrence of an implication in finitely valid, intuitively improvable formulas of propositional logic”, Mat. Zametki, 20:3 (1976), 383–390; Math. Notes, 20:3 (1976), 771–775
Contact us: