View in EDS HTML Full Text PDF Full Text

Propositional intuitionistic multiple-conclusion calculus via proof graphs.

Saved in:

Bibliographic Details
Title:	Propositional intuitionistic multiple-conclusion calculus via proof graphs.
Authors:	Carvalho, Ruan V B¹, ruan.carvalho@ufrpe.br, Oliveira, Anjolina G de², Queiroz, Ruy J G B de²
Source:	Logic Journal of the IGPL; Feb2019, Vol. 27 Issue 1, p33-59, 27p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	13670751
DOI:	10.1093/jigpal/jzy017