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 Hallden completeness follows. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1017/S175502031600040X | REVIEW OF SYMBOLIC LOGIC |
Keywords | Field | DocType |
analytic cut,subformula property,interpolation | Intuitionistic logic,Discrete mathematics,Interpolation,Mathematics | Journal |
Volume | Issue | ISSN |
10 | 2 | 1755-0203 |
Citations | PageRank | References |
4 | 0.49 | 7 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tomasz Kowalski | 1 | 124 | 24.06 |
hiroakira | 2 | 296 | 82.39 |