Лекция 10. Релевантная логика
- 00:16Релевантная логика: онтологические и эпистемологические источники парадоксов. Семантика обобщенных описаний состояния
- 33:18Определение релевантного следования для формул языка классической логики высказываний. Система первоуровневого следования (FDE)
- 53:08Метод аналитических таблиц для логики FDE
- 01:11:23Метод аналитических таблиц: примеры
- 01:20:06Аксиоматическое исчисление для логики FDE