Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part X, Tome 241 (1997), pp. 135-149
Citer cet article
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/
@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
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.
