print

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

author
Pinto, Luis
Uustalu, Tarmo
statement of authorship
Luís Pinto, Tarmo Uustalu
source
Journal of logic and computation
publisher
Oxford University Press
journal volume number month
vol. 28, 1
year of publication
2018
pages
p. 165-202
url
https://doi.org/10.1093/logcom/exx044
subject term
loogika
matemaatiline analüüs
ISSN
0955-792X
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Arts and humanities
Mathematics
Computer science
category (sub)
Arts and humanities. Arts and humanities (miscellaneous)
Mathematics. Logic
Mathematics. Theoretical computer science
Computer science. Hardware and architecture
Computer science. Software
kvartiil
Q2
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
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