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

DOI10.1305/NDJFL/1093635673MaRDI QIDQ2277440zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Relevance and paraconsistency - a new approach. II: The formal systems
• A constructive analysis of RM
• Four relevant Gentzen systems
• scientific article; zbMATH DE number 1163926
• Cut-free sequent calculi for C-systems with generalized finite-valued semantics

Cited in

(3)

• Hypersequent-based argumentation: an instantiation in the relevance logic RM
• Relevance and paraconsistency - a new approach. II: The formal systems
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2277440)