Skip navigation
Skip navigation
Open Research will be down for maintenance between 8:00 and 8:15 am on Tuesday, December 1 2020.

Proof theory and proof search of bi-intuitionistic and tense logic

Postniece, Linda


In this thesis, we consider bi-intuitionistic logic and tense logic, as well as the combined bi-intuitionistic tense logic. Each of these logics contains a pair of dual connectives, for example, Rauszer's bi-intuitionistic logic contains intuitionistic implication and dual intuitionistic exclusion. The interaction between these dual connectives makes it non-trivial to develop a cut-free sequent calculus for these logics. In the first part of this thesis we develop a new extended sequent...[Show more]

CollectionsOpen Access Theses
Date published: 2010
Type: Thesis (PhD)
DOI: 10.25911/5d5fcc3a4db33
Access Rights: Open Access


File Description SizeFormat Image
b25698059_Postniece_Linda.pdf58.81 MBAdobe PDFThumbnail

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator