![Propositional calculus / Automated theorem proving / Inference / Logical truth / Natural deduction / Sequent calculus / Rule of inference / Deep inference / Cut-elimination theorem / Logic / Mathematical logic / Proof theory Propositional calculus / Automated theorem proving / Inference / Logical truth / Natural deduction / Sequent calculus / Rule of inference / Deep inference / Cut-elimination theorem / Logic / Mathematical logic / Proof theory](https://www.pdfsearch.io/img/23497d211794bae22db86cc2099ee9ec.jpg)
| Document Date: 2010-07-17 14:32:37 Open Document File Size: 406,73 KBShare Result on Facebook
City Paris / / Country United Kingdom / France / / Facility University of Bath / / IndustryTerm deep-inference deduction systems / proof systems / classical-logic proof systems / / Organization University of Bath / / Person Nancy-Grand Est / / PublishedMedium la Recherche / /
SocialTag |