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
https://www.scopus.com/sourceid/25620
https://www.scopus.com/record/display.uri?eid=2-s2.0-85052635835&origin=inward&txGid=88591c09dd53528010ccdabe71fa309b
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOGIC%20COMPUT&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000454114000001
category (general)
Arts and humanities
Kunst ja humanitaarteadused
Mathematics
Matemaatika
Computer science
Arvutiteadus
category (sub)
Arts and humanities. Arts and humanities (miscellaneous)
Kunst ja humanitaarteadused. Kunst ja humanitaarteadused (mitmesugused)
Mathematics. Logic
Matemaatika. Loogika
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
Computer science. Hardware and architecture
Arvutiteadus. Riistvara ja arhitektuur
Computer science. Software
Arvutiteadus. Tarkvara
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory