Skip navigation
Skip navigation

Browsing by Author Postniece (previously Buisman), Linda

Or enter first few letters:  
Showing results 1 to 8 of 8

A cut-free sequent calculus for bi-intuitionistic logic

Author(s)Postniece (previously Buisman), Linda; Gore, Rajeev
TypeConference paper
Date Published2007
Date CreatedJuly 3-6 2007

An experimental evaluation of global caching for ALC (system description)

Author(s)Gore, Rajeev; Postniece (previously Buisman), Linda
TypeConference paper
Date Published2008
Date CreatedAugust 12-15 2008

Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic

Author(s)Gore, Rajeev; Postniece (previously Buisman), Linda
TypeJournal article
Date Published2008
Date Created-

Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic

Author(s)Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen
TypeConference paper
Date Published2010
Date CreatedAugust 24-27 2010

Cut-elimination and proof-search for bi-intutionistic logic using nested sequents

Author(s)Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen
TypeConference paper
Date Published2008
Date CreatedSeptember 9-12 2008

Deep Inference in Bi-intuitionistic Logic

Author(s)Postniece (previously Buisman), Linda
TypeConference paper
Date Published2009
Date CreatedJune 21-24 2009

On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics

Author(s)Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen
TypeJournal article
Date Published2011
Date Created-

Taming displayed tense logics using nested sequents with deep inference

Author(s)Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen
TypeConference paper
Date Published2009
Date CreatedJuly 6-10 2009
  • previous
  • 1
  • next

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator