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

  title={Proof Theory and Proof Search of Bi-Intuitionistic and Tense Logic},
  author={Linda Postniece},
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


Publications referenced by this paper.
Showing 1-10 of 115 references

The tree-hypersequent method for modal propositional logic. Trends in Logic: Towards Mathematical Philsophy

F. Poggiolesi
View 15 Excerpts
Highly Influenced

Deep sequents for modal logic

K. Brünnler
Unpublished, • 2007
View 20 Excerpts
Highly Influenced

Deep Sequent Systems for Modal Logic

Advances in Modal Logic • 2006
View 16 Excerpts
Highly Influenced

Analyzing the Core of Categorial Grammar

Journal of Logic, Language and Information • 2004
View 6 Excerpts
Highly Influenced

On Logics with Coimplication

J. Philosophical Logic • 1998
View 8 Excerpts
Highly Influenced

Basic Proof Theory

A. S. Troelstra, H. Schwichtenberg
View 20 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…