Проблема противоречивости в релевантных коннексивных логиках

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Проблема противоречивости в релевантных коннексивных логиках	427 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/1998863X/84/4

Title: Проблема противоречивости в релевантных коннексивных логиках
Creator: Тимохин, Арсентий Александрович
Date: 2025
DOI: 10.17223/1998863X/84/4
Description: Рассматривается проблема противоречивости в релевантной коннексивной логике CR. Показано, что свойство противоречивости может быть устранено путем отказа от семантического постулата идемпотентности. В результате такой модификации получена новая логическая теория CRW, в которой сохраняются свойства релевантности и коннексивности, но при этом гарантируется непротиворечивость.