Analytic Cut and Interpolation for Bi-Intuitionistic Logic

Review of Symbolic Logic 10 (2):259-283 (2017)
  Copy   BIBTEX

Abstract

We prove that certain natural sequent systems for bi-intuitionistic logic have the analytic cut property. In the process we show that the (global) subformula property implies the (local) analytic cut property, thereby demonstrating their equivalence. Applying a version of Maehara technique modified in several ways, we prove that bi-intuitionistic logic enjoys the classical Craig interpolation property and Maximova variable separation property; its Halldén completeness follows.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2017-05-18

Downloads
66 (#263,270)

6 months
14 (#188,085)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Hiroakira Ono
Japan Advanced Institute of Science and Technology
Tomasz Kowalski
La Trobe University

References found in this work

On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Varieties Of Tense Algebras.Tomasz Kowalski - 1998 - Reports on Mathematical Logic:53-95.

View all 9 references / Add more references