Sequent - PDFSEARCH.IO - Document Search Engine

Sequent
Results: 264

#	Item
61	From Axioms to Rewriting Rules Guillaume Burel ÉNSIIE/Cédric 1 square de la résistance, 91025 Évry cedex, France http://www.ensiie.fr/˜guillaume.burel/ Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:19 Automated theorem proving Propositional calculus Deduction Natural deduction Sequent calculus Resolution Rewriting Method of analytic tableaux Rule of inference Logic Mathematical logic Proof theory
62	Unbounded Proof-Length Speed-up in Deduction Modulo Guillaume Burel1 1 Universit´e Henri Poincar´e & LORIA2 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:30:45 Propositional calculus Proof theory Logic in computer science Boolean algebra Formal systems Natural deduction Curry–Howard correspondence Sequent calculus Frege system Logic Mathematical logic Mathematics
63	An Abstract Completion Procedure for Cut Elimination in Deduction Modulo Guillaume Burel École Normale Supérieure de Lyon & LORIA∗ The complementarity and interaction between computation Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:00 Cut-elimination theorem Sequent Rule of inference First-order logic Formal proof Natural deduction Structural proof theory Logic Proof theory Mathematical logic
64	Cut Elimination in Deduction Modulo by Abstract Completion Guillaume Burel1 and Claude Kirchner2 1 3 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:13:18 Natural deduction Sequent calculus Cut-elimination theorem Sequent Rule of inference First-order logic Mathematical proof KeY Negation Logic Mathematical logic Proof theory
65	Pushdown systems in Polarized deduction modulo Gilles Dowek∗ and Ying Jiang† Abstract We introduce a new saturation method for polarized rewrite systems and prove a cut-elimination theorem for the Polarized sequent c Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-09-01 05:38:56
66	2003 Paper 6 Question 9 Logic and Proof (a) Define the concepts of a true sequent, a valid sequent and a basic sequent. You may take the concepts of true and valid formulæ as primitive. [3 marks] Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2014-06-09 10:17:56
67	2009 Paper 6 Question 8 Logic and Proof (a) Briefly indicate the differences between the tableau calculus and the sequent calculus. [2 marks] Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2014-06-09 10:18:32
68	System L syntax for sequent calculi Pierre-Louis Curien (based on works of or with Guillaume Munch-Maccagnoni, and nourished by an on-going collaboration with Marcelo Fiore) February 3, 2012, University of Bath March 21, Add to Reading List Source URL: www.cs.uoregon.edu Language: English - Date: 2012-07-20 12:22:17
69	Polarized Resolution Modulo Gilles Dowek ´ Ecole polytechnique and INRIA ´ Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:45 Proof theory Automated theorem proving Rules of inference Resolution Unification Sequent calculus Function Admissible rule Cut-elimination theorem Mathematical logic Logic Mathematics
70	An Abstract Completion Procedure for Cut Elimination in Deduction Modulo LICS 2006 Guillaume Burel + Claude Kirchner ´ LORIA × (Ecole Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:29:08 Mathematics Cut-elimination theorem Sequent calculus Sequent Gerhard Gentzen Natural deduction Proof theory Mathematical logic Logic