Implicational propositional calculus

#	Item
1	Canonical Inference for Implicational Systems⋆ Maria Paola Bonacina⋆⋆1 and Nachum Dershowitz⋆ ⋆ ⋆2 1 2 Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2015-06-10 13:20:12 Theoretical computer science Logic in computer science Conditionals Rewriting Propositional calculus Necessity and sufficiency Mathematical proof Implicational propositional calculus Mathematics Logic Mathematical logic
2	IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE arXiv:1402.0705v2 [cs.LO] 25 Sep[removed]SYLVAIN SCHMITZ Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-04 05:44:40 Deduction Rules of inference Converse Traditional logic Entailment Reachability Sequent calculus Implicational propositional calculus Logic Propositional calculus Proof theory
3	Chapter 3 Sequent Calculus In this chapter we develop the sequent calculus as a formal system for proof search in natural deduction. The sequent calculus was originally introduced by Gentzen [Gen35], primarily as a tech Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-01-22 08:01:14 Deduction Natural deduction Curry–Howard correspondence Sequent calculus Entailment Judgment Monotonicity of entailment Soundness Implicational propositional calculus Logic Proof theory Mathematical logic