Propositional intuitionistic multiple-conclusion calculus via proof graphs.

Autor:	Carvalho, Ruan V B1 ruan.carvalho@ufrpe.br, Oliveira, Anjolina G de2, Queiroz, Ruy J G B de2
Zdroj:	Logic Journal of the IGPL. Feb2019, Vol. 27 Issue 1, p33-59. 27p.
Databáze:	Business Source Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.