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

Source URL: pxtp.github.io

• Proof theory
• Mathematical logic
• Logic
• Mathematics
• Sequent
• Natural deduction
• Cut-elimination theorem
• Admissible rule
• Proof complexity
• Propositional calculus
• Structural rule
• Cut rule

INL (instantial neighborhood logic) - tableau, sequent calculus, interpolation Junhua Yu () Tsinghua University (Beijing, China @ Steklov Mathematical Institute

Source URL: wrm17.mi.ras.ru

A Sequent Calculus for Nominal Logic Murdoch Gabbay ´ LIX Ecole Polytechnique

Source URL: homepages.inf.ed.ac.uk

1 Prove (or provide a failed proof of) the following statement using the sequent  calculus:   x y (P (x) → Q(x, y))   x

Source URL: www.cl.cam.ac.uk

Lecture Notes on Sequent Calculus: Modal Logic Frank Pfenning Lecture 8 February 9, 2010

Source URL: www.cs.cmu.edu

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

Source URL: www.lix.polytechnique.fr

Bulletin of the Section of Logic Volume 38:), pp. 5–11 George Metcalfe A SEQUENT CALCULUS FOR CONSTRUCTIVE LOGIC

Source URL: www.filozof.uni.lodz.pl

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

Source URL: www.lix.polytechnique.fr

Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract

Source URL: www.phil.uu.nl

• Logic
• Mathematical logic
• Mathematics
• Proof theory
• Automated theorem proving
• Craig interpolation
• Lemmas
• Non-classical logic
• Sequent
• Propositional calculus
• First-order logic
• Modal logic

Consequence relations and admissible rules Rosalie Iemhoff∗ Department of Philosophy Utrecht University, The Netherlands June 10, 2016

Source URL: www.phil.uu.nl

• Logic
• Mathematical logic
• Proof theory
• Admissible rule
• Natural deduction
• Sequent
• First-order logic
• Propositional calculus
• Substructural logic
• Rule of inference
• Intuitionistic logic
• Theorem