Cut Introduction: Open Problems in Proof Mining (original) (raw)
Related papers
A sequent calculus and a theorem prover for standard conditional logics
ACM Transactions on Computational Logic, 2007
An introduction to proof theory
1998
2013
Mollusc a General Proof-Development Shell for Sequent-Based Logics
Automated DeductionCADE- …, 1994
Proof Search in the Intuitionistic Sequent Calculus
1992
Sequent Calculi with Context Restrictions and Applications to Conditional Logic
2013
Searching for proofs (in sentential logic)
1990
A sequent calculus with procedure calls
ArXiv, 2012
Proof analysis in intermediate logics
2012
Proof Analysis with HLK, CERES and ProofTool: Current Status and Future Directions
A Sequent Calculus for Intersection and Union Logic
Anastasia Veneti, Yiorgos Stavrinos
Logic and Theory of Algorithms, Fourth Conference on Computability in Europe (CiE 2008), Local Proceedings
Proof-Theoretic Methods in Nonclassical Logic --an Introduction
Mathematical Society of Japan Memoirs, 1998
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents
Studia Logica
A contribution to automated-oriented reasoning about permutability of sequent calculi rules
Computer Science and Information Systems, 2013
Nested sequent calculi and theorem proving for normal conditional logics
2013
Algorithmic structuring of cut-free proofs
1993
Automated Reasoning, 2006
A Formalisation of Weak Normalisation (With Respect to Permutations) of Sequent Calculus Proofs
1999
Permutability of proofs in intuitionistic sequent calculi
Theoretical Computer Science, 1999
Computation with classical sequents
Mathematical Structures in Computer Science, 2008
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics
Electronic Notes in Theoretical Computer Science, 2005
SEQUENT SYSTEMS FOR MODAL LOGICS
Proof nets and semantics: coherence and acyclicity
Proof search in first-order linear logic and other cut-free sequent calculi
Induction and co-induction in sequent calculus
Types for Proofs and Programs, 2004
A Sequent Calculus for Circumscription
Automated Reasoning for Conditional Logics: the Theorem Prover Condlean 3.1
Uniform proofs as a foundation for logic programming
Annals of Pure and Applied Logic, 1991
1991