В учебном пособии впервые подробно излагаются исчисления для рациональных логик, обеспечивающих сравнение логических значений утверждений Устанавливаются верхние оценки оепчж проверки доказуемости в этих исчислениях для пропозиционального случая Исчисление предназначено для логического моделирования, в том числе эвристического характера, особенно для создания баз знаний, оперирующих не только неполными, но и противоречивыми знаниями Книга предназначена для математиков, интересующихся неклассическим логическим моделированием, включающим, в частности, существенные черты нечетких и противоречивых знаний Авторы Николай Косовский Артем Тишков.  В периодИздательство: Издательский дом Санкт-Петербургского государственного университета, 2000 г Мягкая обложка, 268 стр ISBN 5-288-02049-3 Тираж: 500 экз Формат: 60x84/16 (~143х205 мм).