Back to Results
First PageMeta Content
Deduction / Rules of inference / Converse / Traditional logic / Entailment / Reachability / Sequent calculus / Implicational propositional calculus / Logic / Propositional calculus / Proof theory


IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE arXiv:1402.0705v2 [cs.LO] 25 Sep[removed]SYLVAIN SCHMITZ
Add to Reading List

Document Date: 2015-03-04 05:44:40

Open Document

File Size: 577,57 KB

Share Result on Facebook
UPDATE