Geodesic
On the completeness of a~new intuitionistic connective
Matematičeskie zametki, Tome 60 (1996) no. 3, pp. 423-433

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

A. V. Bessonov suggested an example of an intuitionistic calculus that defines a new connective in the sense of P. S. Novikov. Using the Bessonov logic as an example, this definition is compared with a similar definition suggested by D. M. Gabbay to show that the Bessonov logic does not comply with Gabbay's definition. An example of a calculus that satisfies Novikov's definition but has no disjunctive property is constructed. 
@article{MZM_1996_60_3_a9,
     author = {A. D. Yashin},
     title = {On the completeness of a~new intuitionistic connective},
     journal = {Matemati\v{c}eskie zametki},
     pages = {423--433},
     publisher = {mathdoc},
     volume = {60},
     number = {3},
     year = {1996},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_1996_60_3_a9/}
}
TY  - JOUR
AU  - A. D. Yashin
TI  - On the completeness of a~new intuitionistic connective
JO  - Matematičeskie zametki
PY  - 1996
SP  - 423
EP  - 433
VL  - 60
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1996_60_3_a9/
LA  - ru
ID  - MZM_1996_60_3_a9
ER  - 
%0 Journal Article
%A A. D. Yashin
%T On the completeness of a~new intuitionistic connective
%J Matematičeskie zametki
%D 1996
%P 423-433
%V 60
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1996_60_3_a9/
%G ru
%F MZM_1996_60_3_a9
A. D. Yashin. On the completeness of a~new intuitionistic connective. Matematičeskie zametki, Tome 60 (1996) no. 3, pp. 423-433. http://geodesic.mathdoc.fr/item/MZM_1996_60_3_a9/