Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules
From MaRDI portal
Publication:2904134
zbMATH Open1254.03042MaRDI QIDQ2904134
Author name not available (Why is that?)
Publication date: 6 August 2012
Published in: (Search for Journal in Brave)
No records found.
No records found.
This page was built for publication: Adding the disjunctive syllogism to relevant logics including TW plus the contraction and reductio rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2904134)
