share record
persistent URL:
Rajeev Goré , Linda Postniece , Alwen Tiu : Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic. Advances in Modal Logic 2010 : 156-177 export record
dblp key:
journals/corr/abs-1101-5445 share record
persistent URL:
Luís Pinto , Tarmo Uustalu : Relating Sequent Calculi for Bi-intuitionistic Propositional Logic. CL&C 2010 : 57-72 export record
dblp key:
journals/corr/abs-1006-4793 share record
persistent URL:
Rajeev Goré , Linda Postniece , Alwen Tiu : Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic. CoRR abs/1006.4793 (2010 )2009 share record
persistent URL:
Luís Pinto , Tarmo Uustalu : Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents. TABLEAUX 2009 : 295-309 share record
persistent URL:
Linda Postniece : Deep Inference in Bi-intuitionistic Logic. WoLLIC 2009 : 320-334 2008 share record
persistent URL:
Corrado Biasi , Federico Aschieri : A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization. Fundam. Informaticae 84 (2 ) : 185-205 (2008 )share record
persistent URL:
Rajeev Goré , Linda Postniece , Alwen Tiu : Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. Advances in Modal Logic 2008 : 43-66 2007 share record
persistent URL:
Linda Buisman , Rajeev Goré : A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. TABLEAUX 2007 : 90-106 export record
dblp key:
journals/corr/abs-0704-1707 share record
persistent URL:
Linda Buisman , Rajeev Goré : A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version. CoRR abs/0704.1707 (2007 )2000 export record
dblp key:
journals/sLogica/BiermanP00 share record
persistent URL:
Gavin M. Bierman , Valeria de Paiva : On an Intuitionistic Modal Logic. Stud Logica 65 (3 ) : 383-416 (2000 )1996 share record
persistent URL:
Gavin M. Bierman : A Note on Full Intuitionistic Linear Logic. Ann. Pure Appl. Log. 79 (3 ) : 281-287 (1996 )1995 share record
persistent URL:
Gavin M. Bierman : What is a Categorical Model of Intuitionistic Linear Logic? TLCA 1995 : 78-93 1993 share record
persistent URL:
P. N. Benton , Gavin M. Bierman , Valeria de Paiva , Martin Hyland : A Term Calculus for Intuitionistic Linear Logic. TLCA 1993 : 75-90 1992 share record
persistent URL:
Oliver Bittel : Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. JELIA 1992 : 262-278 share record
persistent URL:
Oliver Bittel : The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract). TABLEAUX 1992 : 15-18