Sequent calculus - PDFSEARCH.IO - Document Search Engine

Sequent calculus
Results: 198

#	Item
1	Under consideration for publication in Math. Struct. in Comp. Science Complexity of Translations from Resolution to Sequent Calculus (Presentation-Only - Draft) Giselle Reis1 and Bruno Woltzenlogel Paleo2 Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Proof theory Mathematical logic Logic Mathematics Sequent Natural deduction Cut-elimination theorem Admissible rule Proof complexity Propositional calculus Structural rule Cut rule
2	INL (instantial neighborhood logic) - tableau, sequent calculus, interpolation Junhua Yu () Tsinghua University (Beijing, China @ Steklov Mathematical Institute Add to Reading List Source URL: wrm17.mi.ras.ru Language: English - Date: 2017-10-24 13:14:13
3	A Sequent Calculus for Nominal Logic Murdoch Gabbay ´ LIX Ecole Polytechnique Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-28 08:33:50
4	1 Prove (or provide a failed proof of) the following statement using the sequent calculus: x y (P (x) → Q(x, y)) x Add to Reading List Source URL: www.cl.cam.ac.uk - Date: 2009-10-29 13:31:17
5	Lecture Notes on Sequent Calculus: Modal Logic Frank Pfenning Lecture 8 February 9, 2010 Add to Reading List Source URL: www.cs.cmu.edu - Date: 2010-02-11 11:26:12
6	Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2015-10-19 12:38:16
7	Bulletin of the Section of Logic Volume 38:), pp. 5–11 George Metcalfe A SEQUENT CALCULUS FOR CONSTRUCTIVE LOGIC Add to Reading List Source URL: www.filozof.uni.lodz.pl - Date: 2013-11-13 07:57:58
8	Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2015-11-06 10:54:47
9	Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 07:45:41 Logic Mathematical logic Mathematics Proof theory Automated theorem proving Craig interpolation Lemmas Non-classical logic Sequent Propositional calculus First-order logic Modal logic
10	Consequence relations and admissible rules Rosalie Iemhoff∗ Department of Philosophy Utrecht University, The Netherlands June 10, 2016 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:25:19 Logic Mathematical logic Proof theory Admissible rule Natural deduction Sequent First-order logic Propositional calculus Substructural logic Rule of inference Intuitionistic logic Theorem

UPDATE