PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION

Autor:	SANDQVIST, TOR
Zdroj:	The Bulletin of Symbolic Logic, 2018 Sep 01. 24(3), 291-305.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/26511365 Zobrazit plný text záznamu