|
|
|
|
References
|
|
| |
| 1. |
S. Artemov, T. Protopopescu, Intuitionistic epistemic logic, vers. 2, 2014, 41 pp., arXiv: 1406.1582v2 |
| 2. |
S. Artemov, T. Protopopescu, Rev. Symb. Log., 9:2 (2016), 266–298    |
| 3. |
H. B. Curry, A theory of formal deducibility, Notre Dame Math. Lectures, 6, Univ. Notre Dame, Notre Dame, IN, 1950, ix+126 pp. |
| 4. |
A. G. Dragalin, Matematicheskii intuitsionizm. Vvedenie v teoriyu dokazatelstv, Nauka, M., 1979, 256 pp. |
| 5. |
M. Fairtlough, M. Mendler, Inform. and Comput., 137:1 (1997), 1–33 |
| 6. |
R. I. Goldblatt, Z. Math. Logik Grundlagen Math., 27:31-35 (1981), 495–529 |
| 7. |
V. N. Krupskii, Desyatye Smirnovskie chteniya (Moskva, 2017), Sovremennye tetradi, M., 2017, 30–31 |
| 8. |
D. S. Macnab, Algebra Universalis, 12:1 (1981), 5–29 |
| 9. |
G. Massas, Possibility spaces, Q-completions and Rasiowa–Sikorski lemmas for non-classical logics, MSc in Logic thesis, ILLC, Amsterdam, 2016, 122 pp. https://eprints.illc.uva.nl/id/eprint/1522/1/MoL-2016-23.text.pdf |
| 10. |
S. A. Melikhov, A Galois connection between classical and intuitionistic logics, I. Syntax 1312.2575, 2022 (v1 – 2013), 47 pp.; II. Semantics, 2022 (v1 – 2015), 40 pp., arXiv: 1504.03379 |
| 11. |
A. A. Onoprienko, Vestn. Mosk. un-ta. Ser. 1. Matem., mekh., 5 (2022), 25–30  |
| 12. |
A. A. Onoprienko, Matem. sb., 213:7 (2022), 97–120  |
| 13. |
E. Raseva, R. Sikorskii, Matematika metamatematiki, Nauka, M., 1972, 591 pp. |
