Date: 2014-04-14 05:43:30Mathematical logic Proof theory Logic Mathematics Natural deduction Sequent calculus Sequent First-order logic Admissible rule Conjunctive normal form Quantifier Cut-elimination theorem | | Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of TechnologyAdd to Reading ListSource URL: www.logic.atDownload Document from Source Website File Size: 326,87 KBShare Document on Facebook
|