2. |
S. A. Melikhov, A Galois connection between classical and intuitionistic logics. II: Semantics, arXiv:1504.03379 [math.LO]. |
|
3. |
А. Н. Колмогоров, Избранные труды. Математика и механика, М., Наука, 1985. |
|
4. |
А. Н. Колмогоров, О принципе tertium non datur, Матем. сб., 32, № 4 (1925), 646-667. |
|
5. |
A. Heyting, Intuitionism. An introduction (Stud. Logic Found. Math.), Amsterdam, North-Holland Publ. Co., 1956. |
|
6. |
S. A. Melikhov, Mathematical semantics of intuitionistic logic, arXiv: 1504.03380 [math.LO]. |
|
7. |
A. S. Troelstra, Aspects of constructive mathematics, in: J. Barwise (ed.), Handbook of mathematical logic (Stud. Logic Found. Math., 90), Amsterdam-New York-Oxford, North-Holland Publ. Co., 1977, 973-1052. |
|
8. |
A. S. Troelstra, H. Schwichtenberg, Basic proof theory (Camb. Tracts Theor.Comput. Sci., 43), Cambridge, Cambridge Univ. Press, 1996. |
|
9. |
G. Kreisel, Perspectives in the philosophy of pure mathematics, in: P. Suppes (ed.) et al., Logic, methodology and philosophy of science. IV. Proc. Fourth Int. Congr. Logic, Methodol. Philos. Sci. (Bucharest, August 29-September 4, 1971), (Stud. Logic Found. Math., 74), Amsterdam-London, North-Holland Publ. Co.; New York, American Elsevier Publ. Co., 1973, 255-277. |
|
10. |
P. Martin-Lof Intuitionistic Type Theory. Notes by Giovanni Sambin of a Series of Lectures given in Padua, June 1980 (Studies in Proof Theory. Lecture Notes, 1), Napoli, Bibliopolis, 1984. |
|
11. |
С. К. Клини, Введение в метаматематику, М., Иностр. лит-ра, 1957. |
|
12. |
S. N. Artemov, Explicit provability and constructive semantics, Bull. Symb. Log., 7, No. 1 (2001), 1-36. EDN: LGWGLX |
![]() |
13. |
С. Н. Артёмов, Подход Колмогорова и Гёделя к интуиционистской логике и работы последнего десятилетия в этом направлении, УМН, 59, № 2(356) (2004), 9-36. |
|
14. |
K. Godel, Eine Interpretation des intuitionistischen Aussagenkalkuls, Ergebnis-se Math. Kolloquium Wien, 4 (1933), 39-40. |
|
15. |
K. Godel, Vortrag bei Zilsel, in: S. Feferman (ed.), Kurt Godel Collected Works, v. III: Unpublished essays and lectures, New York, NY, Oxford Univ. Press, 1995, 86-113. |
|
16. |
S. C. Kleene, On the interpretation of intuitionistic number theory, J. Symb. Log., 10, No. 4 (1945), 109-124. |
|
17. |
Ю. Т. Медведев, Финитные задачи, Докл. АН СССР, 142, № 5 (1962), 1015-1018. |
|
18. |
A. S. Troelstra, D. Van Dalen, Constructivism in mathematics (Stud. Logic Found. Math., 121, 123), Amsterdam etc., North-Holland, 1988. |
|
19. |
J. Yu, Self-referentiality of Brouwer-Heyting-Kolmogorov semantics, Ann. Pure Appl. Logic, 165, No. 1 (2014), 371-388. EDN: SRNJGV |
![]() |
20. |
S. Artemov, T. Protopopescu, Intuitionistic epistemic logic, Rev. Symb. Log., 9, No. 2 (2016), 266-298. EDN: WUWTBZ |
![]() |
21. |
D. M. Gabbay, An overview of fibred semantics and the combination of logics, in: F. Baader (ed.) et al., Frontiers of combining systems. First int. workshop (Munich, Germany, March 26-29, 1996), (Appl. Log. Ser., 3), Dordrecht, Kluwer Academic Publ., 1996, 1-55. |
|
22. |
L. Farinas del Cerro, A. Herzig, Combining classical and intuitionistic logic. Or: Intuitionistic implication as a conditional., in: F. Baader (ed.) et al., Frontiers of combining systems. First int. workshop (Munich, Germany, March 26-29, 1996), (Appl. Log. Ser., 3), Dordrecht, Kluwer Academic Publ., 1996, 93-102. |
|
23. |
C. Caleiro, J. Ramos, Combining classical and intuitionistic implications, in: Konev, Boris (ed.) et al., Frontiers of combining systems. 6th international symposium, FroCoS 2007 (Liverpool, UK, September 10-12, 2007), Proc. (Lecture Notes Comput. Sci., 4720; Lecture Notes Artif.Intell.), Berlin, Springer, 2007, 118-132. |
|
24. |
C. Caleiro, J. Ramos, From fibring to cryptofibring. A solution to the collapsing problem, Log. Univers., 1, No. 1 (2007), 71-92. |
|
25. |
S. Lewitzka, A modal logic amalgam of classical and intuitionistic propositional logic, J. Log.Comput., 27, No. 1 (2017), 201-212. |
|
26. |
S. Niki, H. Omori, Another combination of classical and intuitionistic conditionals, Electron. Proc. Theor.Comput. Sci., 358 (2022), 174-188. EDN: GWKMAL |
![]() |
27. |
А. А. Оноприенко, Предикатный вариант совместной логики задач и высказываний, Матем. сб., 213, № 7 (2022), 97-120. EDN: TKKZSF |
![]() |
28. |
R. I. Goldblatt, Grothendieck topology as geometric modality, Z. Math. Logik Grundlagen Math., 27 (1981), 495-529. |
|
29. |
R. I. Goldblatt, Cover semantics for quantified lax logic, J. Log.Comput., 21, No. 6 (2011), 1035-1063. EDN: XYZZBR |
![]() |
30. |
А. Г. Драгалин, Математический интуиционизм. Введение в теорию доказательств, М., Наука, 1979. |
|
31. |
M. Fairtlough, M. Mendler, Propositional lax logic, Inf.Comput., 137, No. 1 (1997), 1-33. EDN: XRLXUW |
![]() |
32. |
M. Fairtlough, M. Walton, Quantified lax logic, Tech. Report CS-97-11, Dep.Comput. Sci., Univ. Sheffield, July 1997. |
|
33. |
P. Aczel, The Russell-Prawitz modality, Math. Struct.Comput. Sci., 11, No. 4 (2001), 541-554. EDN: FKYDLH |
![]() |
34. |
S. Artemov, T. Protopopescu, Intuitionistic epistemic logic, arXiv:1406.1582v2[math.LO]. |
|
35. |
А. А. Оноприенко, Семантика типа Крипке для пропозициональной логки задач и высказываний, Матем. сб., 211, № 5 (2020), 98-125. EDN: LFUFVT |
![]() |
36. |
А. А. Оноприенко, Топологические модели пропозициональной логики задач и высказываний, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2022, № 5, 25-30. EDN: TWUONF |
![]() |
37. |
D. M. Gabbay, D. Skvortsov, V. Shehtman, Quantification in nonclassical logic. Vol. I (Stud. Logic Found. Math., 153), Amsterdam, Elsevier, 2009. |
|
38. |
J. van Benthem, Modal logic and classical logic (Indices. Monogr. Philos. Logic Formal Linguist., III), Napoli, Bibliopolis, 1985. |
|
39. |
М. Н. Рыбаков, А. В. Чагров, Стандартные переводы неклассических формул и относительная разрешимость логик, Труды научно-исследовательского семинара Логического центра Института философии РАН, XIV, М., Изд-во Института философии РАН, 2000, 81-98. |
|
40. |
Н. К. Верещагин, А. Шень, Лекции по математической логике и теории алгоритмов, Ч. 2. Языки и исчисления, 4-е изд., испр., М., МЦНМО, 2012. |
|
41. |
В. Е. Плиско, В. Х. Хаханян, Интуиционистская логика, М., Изд-во при мех.-мат. ф-те МГУ, 2009. |
|
42. |
M. Kracht, Modal consequence relation, in: P. Blackburn (ed.), Handbook of Modal Logic (Stud. Log. Pract. Reason., 3), Amsterdam, Elsevier, 2007. |
|
43. |
С. П. Одинцов, С. О. Сперанский, С. А. Дробышевич, Введение в неклассические логики, учеб. пособие, Новосибирск, РИЦ НГУ, 2014. |
|