On strong recognizability of the intuitionistic logic - Conference attendances

On strong recognizability of the intuitionistic logic Conference attendances

Language

Английский

Participant type

Секционный

URL

https://lc2019.cz/static/abstracts/114-maksimovayun.pdf?e774c205507efcbf6c75

Conference

European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 2019
11-16 Aug 2019 , Прага

Authors

Maksimova L. ^1,2 , Yun V. ^1,2

Affiliations

1	Sobolev Institute of Mathematics
2	Novosibirsk State University

Maksimova L. , Yun V.
On strong recognizability of the intuitionistic logic
European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 2019 11-16 Aug 2019