Проблема противоречивости в релевантных коннексивных логиках
Рассматривается проблема противоречивости в релевантной коннексивной логике CR. Показано, что свойство противоречивости может быть устранено путем отказа от семантического постулата идемпотентности. В результате такой модификации получена новая логическая теория CRW, в которой сохраняются свой...
| Published in: | Вестник Томского государственного университета. Философия. Социология. Политология № 84. С. 34-43 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001158567 Перейти в каталог НБ ТГУ |
| Summary: | Рассматривается проблема противоречивости в релевантной коннексивной логике CR. Показано, что свойство противоречивости может быть устранено путем отказа от семантического постулата идемпотентности. В результате такой модификации получена новая логическая теория CRW, в которой сохраняются свойства релевантности и коннексивности, но при этом гарантируется непротиворечивость. |
|---|---|
| Bibliography: | Библиогр.: 12 назв. |
| ISSN: | 1998-863x |