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

statement of authorship
Luís Pinto, Tarmo Uustalu
journal volume number month
vol. 28, 1
year of publication
pages
p. 165-202
ISSN
0955-792X
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
kvartiil
Q2
TTÜ department
language
inglise
Pinto, L., Uustalu, T. A proof-theoretic study of bi-intuitionistic propositional sequent calculus // Journal of logic and computation (2018) vol. 28, 1, p. 165-202. https://doi.org/10.1093/logcom/exx044