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/

[1] S. Artemov, “Uniform provability realization of intuitionistic logic, modality and $\lambda$-terms”, Electron. Notes Theor. Comput. Sci., 23:1 (1999), 3–12 | DOI | MR | Zbl

[2] S. Artemov, “Explicit provability and constructive semantics”, Bull. Symbolic Logic, 7:1 (2001), 1–36 | DOI | MR | Zbl

[3] S. Artemov, Evidence-based common knowledge, Technical Report TR-2004018, Graduate Center CUNY, New York, NY, 2005

[4] N. Rubtsova, T. Yavorskaya, “Operations on proofs and labels”, J. Appl. Nonclassic. Logic (to appear)

[5] T. Yavorskaya, “Negative operations on proofs and labels”, J. Logic Comput., 15:4 (2005), 517–537 | DOI | MR | Zbl

[6] T. Yavorskaya, “Logic of proofs and labels with a complete set of operations”, J. Logic Comput., 16:5 (2006), 697–710 | DOI | MR | Zbl

[7] A. Mkrtychev, “Models for the Logic of Proofs”, Logical foundations of computer science, Yaroslavl, 1997, Lecture Notes in Comput. Sci., 1234, 1997, 266–275 | MR | Zbl

[8] M. Fitting, “The logic of proofs, semantically”, Ann. Pure Appl. Logic, 132:1 (2005), 1–25 | DOI | MR | Zbl