Geodesic
Logic of Proofs with Substitution
Matematičeskie zametki, Tome 82 (2007) no. 6, pp. 905-915

Voir la notice de l'article provenant de la source Math-Net.Ru

The substitution operation in logic of proofs is axiomatized. For the system constructed, symbolic semantics is introduced and a completeness theorem is proved.
Keywords: logic of proofs, axiomatics of substitution, symbolic semantic, symbolic model, finitely generated reflexive model, internalization.
Mots-clés : tableau of labels, semantic tableau 
@article{MZM_2007_82_6_a10,
     author = {N. M. Rubtsova},
     title = {Logic of {Proofs} with {Substitution}},
     journal = {Matemati\v{c}eskie zametki},
     pages = {905--915},
     publisher = {mathdoc},
     volume = {82},
     number = {6},
     year = {2007},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_2007_82_6_a10/}
}
TY  - JOUR
AU  - N. M. Rubtsova
TI  - Logic of Proofs with Substitution
JO  - Matematičeskie zametki
PY  - 2007
SP  - 905
EP  - 915
VL  - 82
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_2007_82_6_a10/
LA  - ru
ID  - MZM_2007_82_6_a10
ER  - 
%0 Journal Article
%A N. M. Rubtsova
%T Logic of Proofs with Substitution
%J Matematičeskie zametki
%D 2007
%P 905-915
%V 82
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_2007_82_6_a10/
%G ru
%F MZM_2007_82_6_a10
N. M. Rubtsova. Logic of Proofs with Substitution. Matematičeskie zametki, Tome 82 (2007) no. 6, pp. 905-915. http://geodesic.mathdoc.fr/item/MZM_2007_82_6_a10/