A proof-theoretic study of bi-intuitionistic propositional sequent calculus

Journal of Logic and Computation

Journal Article

Tarmo Uustalu

Publication

Year of publication: 2018

Volume: 28

Issue: 1

Pages: 165--202

Identifiers

ISSN: 0955-792X

Locators

Alternative Titles