Geodesic
Some remarks about constructive extensions of minimal logic
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 5 (2005) no. 3, pp. 75-88

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

We consider the disjunction property for the extensions of minimal logic. Two continual classes of proper paraconsistent extensions with the disjunction property are defined. Besides, we obtain algebraic and semantic characteristics of the paraconsistent analog of the Kreisel–Putnam logic $L_{KP}$ and prove that $L_{KP}\in DP$. 
@article{VNGU_2005_5_3_a5,
     author = {M. V. Stukacheva},
     title = {Some remarks about constructive extensions of minimal logic},
     journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
     pages = {75--88},
     publisher = {mathdoc},
     volume = {5},
     number = {3},
     year = {2005},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2005_5_3_a5/}
}
TY  - JOUR
AU  - M. V. Stukacheva
TI  - Some remarks about constructive extensions of minimal logic
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2005
SP  - 75
EP  - 88
VL  - 5
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VNGU_2005_5_3_a5/
LA  - ru
ID  - VNGU_2005_5_3_a5
ER  - 
%0 Journal Article
%A M. V. Stukacheva
%T Some remarks about constructive extensions of minimal logic
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2005
%P 75-88
%V 5
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VNGU_2005_5_3_a5/
%G ru
%F VNGU_2005_5_3_a5
M. V. Stukacheva. Some remarks about constructive extensions of minimal logic. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 5 (2005) no. 3, pp. 75-88. http://geodesic.mathdoc.fr/item/VNGU_2005_5_3_a5/