Access the full text.
Sign up today, get DeepDyve free for 14 days.
Sara Negri, J. Plato (2001)
Structural proof theory
D. Galmiche, D. Méry (2011)
A Connection-based Characterization of Bi-intuitionistic ValidityJournal of Automated Reasoning, 51
J. Otten (2008)
leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)
J. Otten (1995)
A Connection Based Proof Method for Intuitionistic Logic
J. Otten, C. Kreitz (1996)
A Uniform Proof Procedure for Classical and Non-Classical Logics
V. Orevkov (1970)
Glivenko Classes of Sequents
V. Glivenko (1929)
Sur quelques points de la logique de M. Brouwer. Bull. cl. sciAcad. Roy. Belg., ser, 5
Eike Ritter, D. Pym, L. Wallen (2000)
On the intuitionistic force of classical searchTheor. Comput. Sci., 232
A. Troelstra, H. Schwichtenberg (1996)
Basic proof theory, 43
R. Alonderis (2006)
Glivenko Classes of Sequents for Propositional Star-Free Likelihood LogicLog. J. IGPL, 15
(1929)
Sur quelques points de la logique de M
A.S. Troelstra, H. Schwichtenberg (2000)
Basic Proof Theory, 2nd edn
L. Wallen (1990)
Automated proof search in non-classical logics - efficient matrix proof methods for modal and intuitionistic logics
A. Waaler (2001)
Connections in Nonclassical Logics
A sequent root-first proof-search procedure for intuitionistic propositional logic is presented. The procedure is obtained from modified intuitionistic multi-succedent and classical sequent calculi, making use of Glivenko’s Theorem. We prove that a sequent is derivable in a standard intuitionistic multi-succedent calculus if and only if the corresponding prefixed-sequent is derivable in the procedure.
Archive for Mathematical Logic – Springer Journals
Published: May 28, 2013
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.