full record print

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

author
statement of authorship
Luís Pinto, Tarmo Uustalu
source
publisher
journal volume number month
vol. 28, 1
year of publication
pages
p. 165-202
url
ISSN
0955-792X
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
Reserch Group
High-assurance software laboratory
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