From `Star' and `Perp' to HYPE via WFS. A logical journey - Доклады на конференциях | Sciact - Система учета научной деятельности ИМ СО РАН

From `Star' and `Perp' to HYPE via WFS. A logical journey Доклады на конференциях

Язык

Английский

Тип доклада

Пленарный

Url доклада

http://ncl.umk.pl/LNK18/Program.pdf

Конференция

The Ninth Conference: Non-Classical Logic. Theory and Applications
24-27 сент. 2018 , Toruń

Авторы

Odintsov Sergei P. ¹

Организации

1	Институт математики им. С.Л. Соболева СО РАН

Odintsov S.P.
From `Star' and `Perp' to HYPE via WFS. A logical journey
The Ninth Conference: Non-Classical Logic. Theory and Applications 24-27 Sep 2018