Проблема противоречивости в релевантных коннексивных логиках
Рассматривается проблема противоречивости в релевантной коннексивной логике CR. Показано, что свойство противоречивости может быть устранено путем отказа от семантического постулата идемпотентности. В результате такой модификации получена новая логическая теория CRW, в которой сохраняются свой...
| Опубликовано в: : | Вестник Томского государственного университета. Философия. Социология. Политология № 84. С. 34-43 |
|---|---|
| Главный автор: | Тимохин, Арсентий Александрович |
| Формат: | Статья в журнале |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001158567 Перейти в каталог НБ ТГУ |
Похожие документы
-
Проблема гиперконнексивности в чистых теориях коннексивной импликации
по: Беликов, Александр Александрович -
Соотношение логического следования и импликации в релевантной логике
по: Моисеева, Анна Юрьевна -
Философско-методологические аспекты релевантной логики
по: Войшвилло, Евгений Казимирович 1913-2008
Публикация: (1988) -
Натуральный вывод теоретико-доказательственное исследование
по: Правиц, Даг
Публикация: (2020) -
Символическая логика (Классическая и релевантная): Философско-методологические аспекты Учебное пособие для философских факультетов университетов
по: Войшвилло, Евгений Казимирович 1913-2008
Публикация: (1989)
