prindi

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

autor
Pinto, Luis
Uustalu, Tarmo
vastutusandmed
Luís Pinto, Tarmo Uustalu
allikas
Journal of logic and computation
kirjastus/väljaandja
Oxford University Press
ajakirja aastakäik number kuu
vol. 28, 1
ilmumisaasta
2018
leheküljed
p. 165-202
leitav
https://doi.org/10.1093/logcom/exx044
märksõna
loogika
matemaatiline analüüs
ISSN
0955-792X
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
kategooria (üld)
Kunst ja humanitaarteadused
Matemaatika
Arvutiteadus
kategooria (alam)
Kunst ja humanitaarteadused. Kunst ja humanitaarteadused (mitmesugused)
Matemaatika. Loogika
Matemaatika. Teoreetiline arvutiteadus
Arvutiteadus. Riistvara ja arhitektuur
Arvutiteadus. Tarkvara
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium
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