Level logics

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.