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-eliminationcut-free Gentzen-systemhypersequentlogic 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)

Review text

The paper provides a cut-free Gentzen-system for the logic RMI [cf. part II of the present series, ibid. 31, No.2, 169-202 (1990; Zbl 0714.03020)]. The system employs the notion of a hypersequent, a disjunction of ordinary sequents [see the author's paper in J. Symb. Logic 52, 939-951 (1987; Zbl 0639.03017)].

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 Domains and the Philosophy of Science
• Relevance and paraconsistency - a new approach. II: The formal systems

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)