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
en
Kunst ja humanitaarteadused
et
Mathematics
en
Matemaatika
et
Computer science
en
Arvutiteadus
et
category (sub)
Arts and humanities. Arts and humanities (miscellaneous)
en
Kunst ja humanitaarteadused. Kunst ja humanitaarteadused (mitmesugused)
et
Mathematics. Logic
en
Matemaatika. Loogika
et
Mathematics. Theoretical computer science
en
Matemaatika. Teoreetiline arvutiteadus
et
Computer science. Hardware and architecture
en
Arvutiteadus. Riistvara ja arhitektuur
et
Computer science. Software
en
Arvutiteadus. Tarkvara
et
kvartiil
Q2
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory