A proof-theoretic study of bi-intuitionistic propositional sequent calculus
autor
vastutusandmed
Luís Pinto, Tarmo Uustalu
allikas
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 28, 1
ilmumisaasta
leheküljed
p. 165-202
ISSN
0955-792X
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
klassifikaator
kvartiil
TTÜ struktuuriüksus
Uurimisrühm
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.