В учебном пособии впервые подробно излагаются исчисления для рациональных логик, обеспечивающих сравнение логических значений утверждений. Устанавливаются верхние оценки проверки доказуемости в этих исчислениях для пропозиционального случая. Исчисление предназначено для логического моделирования, в том числе эвристического характера, особенно для создания баз знаний, оперирующих не только неполными, но и противоречивыми знаниями.
Книга предназначена для математиков, интересующихся неклассическим логическим моделированием, включающим, в частности, существенные черты нечетких и противоречивых знаний. Это и многое другое вы найдете в книге Логики конечнозначных предикатов на основе неравенств (Н. К. Косовский, А. В. Тишков)