Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

26

CSL
2010
Springer

favoriteEmaildiscussreport

120views Automated Reasoning» more CSL 2010»

Towards a Canonical Classical Natural Deduction System

13 years 12 months ago

Towards a Canonical Classical Natural Deduction System

Download w3.math.uminho.pt

José Espírito Santo

Real-time Traffic

Automated Reasoning | CSL 2010 |

claim paper

Related Content

» Atomic Cut Elimination for classical Logic

» On the Deduction Theorem and Complete Disjoint NPPairs

» Cut Elimination in Deduction Modulo by Abstract Completion

» Natural Deduction Calculus for Computation Tree Logic

» Strict Canonical Constructive Systems

» Strong Normalization of the Dual Classical Sequent Calculus

» Principles of Superdeduction

» Regaining cut admissibility in deduction modulo using abstract completion

» Strong normalization proofs by CPStranslations

Post Info
More Details (n/a)

Added	08 Nov 2010
Updated	08 Nov 2010
Type	Conference
Year	2010
Where	CSL
Authors	José Espírito Santo

Comments (0)