Skip navigation
Skip navigation

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

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

Description

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
URI: http://hdl.handle.net/1885/57586
Source: Advances in Modal Logic, Volume 8

Download

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:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator