Relating sequent calculi for Bi-intuitionistic propositional logic

Electronic Proceedings in Theoretical Computer Science, EPTCS

Conference Paper

T. Uustalu

Publication

Year of publication: 2011

Volume: 47

Pages: 57-72

Identifiers

Other: 2-s2.0-84954454791

Locators

Alternative Titles