Geodesic
Natural deduction system for three-valued Heyting's logic
Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 3 (2017), pp. 63-66 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

A Gentzen-style natural deduction system for the propositional fragment of three-valued Heyting's logic is presented in the paper. 
@article{VMUMM_2017_3_a9,
     author = {Ya. I. Petrukhin},
     title = {Natural deduction system for three-valued {Heyting's} logic},
     journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
     pages = {63--66},
     year = {2017},
     number = {3},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMUMM_2017_3_a9/}
}
TY  - JOUR
AU  - Ya. I. Petrukhin
TI  - Natural deduction system for three-valued Heyting's logic
JO  - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY  - 2017
SP  - 63
EP  - 66
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/VMUMM_2017_3_a9/
LA  - ru
ID  - VMUMM_2017_3_a9
ER  - 
%0 Journal Article
%A Ya. I. Petrukhin
%T Natural deduction system for three-valued Heyting's logic
%J Vestnik Moskovskogo universiteta. Matematika, mehanika
%D 2017
%P 63-66
%N 3
%U http://geodesic.mathdoc.fr/item/VMUMM_2017_3_a9/
%G ru
%F VMUMM_2017_3_a9
Ya. I. Petrukhin. Natural deduction system for three-valued Heyting's logic. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 3 (2017), pp. 63-66. http://geodesic.mathdoc.fr/item/VMUMM_2017_3_a9/

[1] Gentsen G., “Issledovaniya logicheskikh vyvodov”, Matematicheskaya teoriya logicheskogo vyvoda, Nauka, M., 1967, 9–74 | MR

[2] Kooi B., Tamminga A., “Completeness via correspondence for extensions of the logic of paradox”, Rev. Symb. Log., 5:4 (2012), 720–730 | DOI | MR | Zbl

[3] Tamminga A., “Correspondence analysis for strong three-valued logic”, Logicheskie issledovaniya, 20 (2014), 255–268 | MR | Zbl

[4] Heyting A., “Die Formalen Regeln der intuitionistischen Logik”, Sitzungsber. Preussischen Acad. Wiss. Berlin, 1930, 42–46

[5] Gödel K., “Zum intuitionistischen Aussgenkalkül”, Anz. Akad. Wiss. Wien, 69 (1932), 65–66 | Zbl

[6] Jaśkowski S., “Recherches sur le système de la logique intuitioniste”, Actes Congr. Int. phil. sci., 6 (1936), 58–61

[7] Łukasiewicz J., “Die Logik und das Grundlagenproblem”, Entreti. Zürich fondements et méthode sci. math., 12 (1941), 6–9 | MR

[8] Smetanich Ya. S., “O polnote ischisleniya vyskazyvanii s dopolnitelnoi operatsiei ot odnoi peremennoi”, Tr. Mosk. matem. o-va, 9, 1960, 357–371

[9] Yankov V. A., “Ob ischislenii slabogo zakona isklyuchennogo tretego”, Izv. AN SSSR. Ser. matem., 32:5 (1968), 1044–1051

[10] Karpenko A. S., Razvitie mnogoznachnoi logiki, LKI, M., 2010 | MR

[11] Henkin L., “The completeness of the first-order functional calculus”, J. Symb. Log., 14:3 (1949), 159–166 | DOI | MR | Zbl