A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic

Autor:	Pereira, L. C., Haeusler, E. H., Costa, V. G., Sanz, W.
Zdroj:	Studia Logica: An International Journal for Symbolic Logic, 2010 Oct 01. 96(1), 95-108.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/40927709 Zobrazit plný text záznamu Full text from SpringerLink