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

social learning Abstract Social learning describes the process whereby individuals learn about a new and uncertain technology from the decisions and experiences of their neighbours. Because information must flow sequent

Source URL: www.histecon.magd.cam.ac.uk

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

Source URL: wrm17.mi.ras.ru

Dynamic Derivations for Sequent-Based Logical Argumentation Ofer ARIELI a and Christian STRASSER b of Computer Science, The Academic College of Tel-Aviv, Israel b Department of Philosophy and Moral Sciences, Ghent Univer

Source URL: comma2014.arg.dundee.ac.uk

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

Contraction-Free Sequent Calculi for Intuitionistic Logic Author(s): Roy Dyckhoff Source: The Journal of Symbolic Logic, Vol. 57, No. 3, (Sep., 1992), ppPublished by: Association for Symbolic Logic Stable URL:

Source URL: rd.host.cs.st-andrews.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