Geodesic
Transfer Theorems for Extensions of the Paraconsistent Nelson Logic
Algebra i logika, Tome 45 (2006) no. 4, pp. 409-435

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

Descriptions of tabular logics, pretabular logics, and logics satisfying Craig's interpolation property are transferred from the class of superintuitionistic logics to the class of extensions of the paraconsistent Nelson logic.
Keywords: Craig's interpolation property, paraconsistent Nelson logic, pretabular logic, tabular logic. 
@article{AL_2006_45_4_a2,
     author = {S. P. Odintsov},
     title = {Transfer {Theorems} for {Extensions} of the {Paraconsistent} {Nelson} {Logic}},
     journal = {Algebra i logika},
     pages = {409--435},
     publisher = {mathdoc},
     volume = {45},
     number = {4},
     year = {2006},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2006_45_4_a2/}
}
TY  - JOUR
AU  - S. P. Odintsov
TI  - Transfer Theorems for Extensions of the Paraconsistent Nelson Logic
JO  - Algebra i logika
PY  - 2006
SP  - 409
EP  - 435
VL  - 45
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2006_45_4_a2/
LA  - ru
ID  - AL_2006_45_4_a2
ER  - 
%0 Journal Article
%A S. P. Odintsov
%T Transfer Theorems for Extensions of the Paraconsistent Nelson Logic
%J Algebra i logika
%D 2006
%P 409-435
%V 45
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2006_45_4_a2/
%G ru
%F AL_2006_45_4_a2
S. P. Odintsov. Transfer Theorems for Extensions of the Paraconsistent Nelson Logic. Algebra i logika, Tome 45 (2006) no. 4, pp. 409-435. http://geodesic.mathdoc.fr/item/AL_2006_45_4_a2/