Логики конечнозначных предикатов на основе неравенств

📒 В учебном пособии впервые подробно излагаются исчисления для рациональных логик, обеспечивающих сравнение логических значений утверждений. Устанавливаются верхние оценки проверки доказуемости в этих исчислениях для пропозиционального случая. Исчисление предназначено для логического моделирования, в том числе эвристического характера, особенно для создания баз знаний, оперирующих не только неполными, но и противоречивыми знаниями.

Книга предназначена для математиков, интересующихся неклассическим логическим моделированием, включающим, в частности, существенные черты нечетких и противоречивых знаний.