Bilateral relevant logic

DOI10.1017/S1755020314000082MaRDI QIDQ2940874zbMATH OpenOpenAlexFDO

Authors Nissim Francez

Publication date 21 January 2015

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020314000082

zbMATH Keywords

bilateral natural-deduction proof systemrelevant implicationrelevant logicsubstructural logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Some comments on Ian Rumfitt's bilateralism
• scientific article; zbMATH DE number 7599931
• Bilateralism based on corrective denial
• Inconsistency Tolerance
• Natural deduction and sequent calculus for intuitionistic relevant logic

Cites work

• A modal analysis of staged computation
• A natural extension of natural deduction
• A note on harmony
• General-elimination harmony and the meaning of the logical constants
• scientific article; zbMATH DE number 1281125 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Introduction to author meets critics session on \textit{Saving truth from paradox}
• Natural deduction with general elimination rules
• Negation as cancellation, and connexive logic
• On Entailment
• Producing mind
• Relevance and conjunction
• Substructural logics: a primer
• The revival of rejective negation

Cited in

(4)

• Bilattice logic properly displayed
• Bilateralism based on corrective denial
• Logical multilateralism
• TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS

This page was built for publication: Bilateral relevant logic

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