Видеотека: D. P. Skvortsov, On a possibility of finite characterizations for Kripke complete non-recursively axiomatizable superintuitionistic predicate logics

Видеотека

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Logical Perspectives 2021: Summer School and Workshop
17 июня 2021 г. 10:30–11:00, Logical Perspectives 2021 Workshop, г. Москва, МИАН, комн. 104 + online

On a possibility of finite characterizations for Kripke complete non-recursively axiomatizable superintuitionistic predicate logics

D. P. Skvortsov

*Дополнительные материалы:*
	Adobe PDF	85.1 Kb

Дополнительные материалы:

workshop_skvortsov.pdf (85.1 Kb)

Язык доклада: английский

Обратная связь: