Лекция 9. Метод аналитических таблиц в интуиционистской логике. Релевантная логика

  1. 00:16Метод аналитических таблиц для интуиционистской логики
  2. 25:36Пример (проверка общезначимости закона исключенного третьего и двойного отрицания закона исключенного третьего)
  3. 34:35Связь интуиционистской логики с классической и с модальной системой S4
  4. 51:48Релевантная логика. Введение
  5. 54:35Проблема экспликации условной связи в логике. Парадоксы материальной импликации и классического отношения логического следования
  6. 01:16:47Немного об истории релевантной логики