Geodesic
Gradable logical values for knowlege representation
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part X, Tome 241 (1997), pp. 135-149
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice du chapitre de livre

The paper is devoted to the description of sequent calculuses with the possibility of comparison of Post's logics' sentences and to study their main properties. These calculuses may be applied for computer representation of knowedge. 
@article{ZNSL_1997_241_a5,
     author = {N. K. Kossovski and A. V. Tishkov},
     title = {Gradable logical values for knowlege representation},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {135--149},
     year = {1997},
     volume = {241},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1997_241_a5/}
}
TY  - JOUR
AU  - N. K. Kossovski
AU  - A. V. Tishkov
TI  - Gradable logical values for knowlege representation
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1997
SP  - 135
EP  - 149
VL  - 241
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1997_241_a5/
LA  - ru
ID  - ZNSL_1997_241_a5
ER  - 
%0 Journal Article
%A N. K. Kossovski
%A A. V. Tishkov
%T Gradable logical values for knowlege representation
%J Zapiski Nauchnykh Seminarov POMI
%D 1997
%P 135-149
%V 241
%U http://geodesic.mathdoc.fr/item/ZNSL_1997_241_a5/
%G ru
%F ZNSL_1997_241_a5
N. K. Kossovski; A. V. Tishkov. Gradable logical values for knowlege representation. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part X, Tome 241 (1997), pp. 135-149. http://geodesic.mathdoc.fr/item/ZNSL_1997_241_a5/