BILATERAL RELEVANT LOGIC

DOI10.1017/S1755020314000082zbMath1338.03044OpenAlexW1995974150MaRDI QIDQ2940874

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

substructural logicrelevant logicrelevant implicationbilateral natural-deduction proof system

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)

Related Items

Logical multilateralism ⋮ TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS

Cites Work

• Unnamed Item
• Unnamed Item
• A note on harmony
• General-elimination harmony and the meaning of the logical constants
• Substructural logics: a primer
• Natural deduction with general elimination rules
• The revival of rejective negation
• Negation as cancellation, and connexive logic
• INTRODUCTION TO AUTHOR MEETS CRITICS SESSION ON SAVING TRUTH FROM PARADOX
• A modal analysis of staged computation
• Relevance and Conjunction
• A natural extension of natural deduction
• On Entailment
• Producing mind