Relevance and paraconsistency - a new approach. III: Cut-free Gentzen- type systems

DOI10.1305/ndjfl/1093635673zbMath0726.03012OpenAlexW2008012192MaRDI QIDQ2277440

Arnon Avron

Publication date: 1991

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635673

zbMATH Keywords

cut-eliminationhypersequentcut-free Gentzen-systemlogic RMI

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items (1)

Relevance Domains and the Philosophy of Science

This page was built for publication: Relevance and paraconsistency - a new approach. III: Cut-free Gentzen- type systems