Geodesic
Criterion of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic of A.~Heyting
Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica, no. 3 (2006), pp. 45-50

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

The problem of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic is considered. The conditions permiting to determine the parametrical completeness of an arbitrary system of formulas in mentionted logic are established in terms of 13 parametrical pre-complete classes of formulas. 
@article{BASM_2006_3_a3,
     author = {Vadim Cebotari},
     title = {Criterion of parametrical completeness in the 6-element non-chain extension of {Intuitionistic} logic of {A.~Heyting}},
     journal = {Buletinul Academiei de \c{S}tiin\c{t}e a Republicii Moldova. Matematica},
     pages = {45--50},
     publisher = {mathdoc},
     number = {3},
     year = {2006},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BASM_2006_3_a3/}
}
TY  - JOUR
AU  - Vadim Cebotari
TI  - Criterion of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic of A.~Heyting
JO  - Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica
PY  - 2006
SP  - 45
EP  - 50
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BASM_2006_3_a3/
LA  - en
ID  - BASM_2006_3_a3
ER  - 
%0 Journal Article
%A Vadim Cebotari
%T Criterion of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic of A.~Heyting
%J Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica
%D 2006
%P 45-50
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BASM_2006_3_a3/
%G en
%F BASM_2006_3_a3
Vadim Cebotari. Criterion of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic of A.~Heyting. Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica, no. 3 (2006), pp. 45-50. http://geodesic.mathdoc.fr/item/BASM_2006_3_a3/