Geodesic
Level logics
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part IX, Tome 220 (1995), pp. 72-82 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice du chapitre de livre

This paper is devoted to description of level logics whose logical values are rational numbers. All positive logical values are true, negative logical values are false, and zero logical values are paradoxes. Level logic using all rational numbers from the segment $[-1/2,1/2]$ is similar to the fuzzy logic of Zadeh. A sequent calculus for such logics is proposed. Convertible logical rules of inference are defined. Note that the rules of predicate calculus for nonbinary logics with inequalities were not proposed previously. It is proved that the algorithm of checking the deducibility in this calculus belongs to the class EXP-LIN-TIME. Bibliography: 9 titles. 
@article{ZNSL_1995_220_a4,
     author = {N. K. Kossovski},
     title = {Level logics},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {72--82},
     year = {1995},
     volume = {220},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1995_220_a4/}
}
TY  - JOUR
AU  - N. K. Kossovski
TI  - Level logics
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1995
SP  - 72
EP  - 82
VL  - 220
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1995_220_a4/
LA  - ru
ID  - ZNSL_1995_220_a4
ER  - 
%0 Journal Article
%A N. K. Kossovski
%T Level logics
%J Zapiski Nauchnykh Seminarov POMI
%D 1995
%P 72-82
%V 220
%U http://geodesic.mathdoc.fr/item/ZNSL_1995_220_a4/
%G ru
%F ZNSL_1995_220_a4
N. K. Kossovski. Level logics. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part IX, Tome 220 (1995), pp. 72-82. http://geodesic.mathdoc.fr/item/ZNSL_1995_220_a4/