A proof-theoretic study of bi-intuitionistic propositional sequent calculus
author
statement of authorship
Luís Pinto, Tarmo Uustalu
publisher
journal volume number month
vol. 28, 1
year of publication
pages
p. 165-202
subject term
ISSN
0955-792X
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
category (general)
category (sub)
kvartiil
TTÜ department
language
inglise
Uurimisrühm
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.