Completeness via Correspondence for Extensions of First Degree Entailment Supplied with Classical Negationдоклад на конференции
-
Автор:
Petrukhin Yaroslav
-
Международная Конференция :
PhDs in Logic IX
-
Даты проведения конференции:
2-4 мая 2017
-
Дата доклада:
4 мая 2017
-
Тип доклада:
Устный
-
Докладчик:
не указан
-
Место проведения:
Bochum, Germany
- Доклад на конференции выполнен в рамках проекта (проектов):
-
Добавил в систему:
Петрухин Ярослав Игоревич