Skip navigation
Skip navigation

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

Gore, Rajeev; Postniece (previously Buisman), Linda; Tiu, Alwen


We consider an extension of bi-intuitionistic logic with the traditional modalities ◇, □, ◆ and ■ from tense logic Kt. Proof theoretically, this extension is obtained simply by extending an existing sequent calculus for bi-intuitionistic logic wit

CollectionsANU Research Publications
Date published: 2010
Type: Conference paper
Source: Advances in Modal Logic, Volume 8


File Description SizeFormat Image
01_Gore_Cut-Elimination_and_Proof_2010.pdf281.16 kBAdobe PDF    Request a copy

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

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator