Proof Theory and Proof Search of Bi-Intuitionistic and Tense Logic

@inproceedings{Postniece2010ProofTA,
title={Proof Theory and Proof Search of Bi-Intuitionistic and Tense Logic},
author={Linda Postniece},
year={2010}
}

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 [100] 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… CONTINUE READING