Translator Disclaimer
Winter 1991 Relevance and paraconsistency---a new approach. III. Cut-free Gentzen-type systems.
Arnon Avron
Notre Dame J. Formal Logic 32(1): 147-160 (Winter 1991). DOI: 10.1305/ndjfl/1093635673
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
14 PAGES


SHARE
Vol.32 • No. 1 • Winter 1991
Back to Top