Fundamentalʹnaâ i prikladnaâ matematika, Tome 2 (1996) no. 2, pp. 483-499
Citer cet article
E. Yu. Nogina. Grzegorczyk logic with arithmetical proof operators. Fundamentalʹnaâ i prikladnaâ matematika, Tome 2 (1996) no. 2, pp. 483-499. http://geodesic.mathdoc.fr/item/FPM_1996_2_2_a5/
@article{FPM_1996_2_2_a5,
author = {E. Yu. Nogina},
title = {Grzegorczyk logic with arithmetical proof operators},
journal = {Fundamentalʹna\^a i prikladna\^a matematika},
pages = {483--499},
year = {1996},
volume = {2},
number = {2},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/FPM_1996_2_2_a5/}
}
TY - JOUR
AU - E. Yu. Nogina
TI - Grzegorczyk logic with arithmetical proof operators
JO - Fundamentalʹnaâ i prikladnaâ matematika
PY - 1996
SP - 483
EP - 499
VL - 2
IS - 2
UR - http://geodesic.mathdoc.fr/item/FPM_1996_2_2_a5/
LA - ru
ID - FPM_1996_2_2_a5
ER -
%0 Journal Article
%A E. Yu. Nogina
%T Grzegorczyk logic with arithmetical proof operators
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 1996
%P 483-499
%V 2
%N 2
%U http://geodesic.mathdoc.fr/item/FPM_1996_2_2_a5/
%G ru
%F FPM_1996_2_2_a5
Logics with the modal operator “\ldots is true and provable” together with the modal proof operators “p is a proof of \ldots” are axiomatized. Kripke-style completeness, decidability and arithmetical completeness of these logics are established.
