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

vastutusandmed
Luís Pinto, Tarmo Uustalu
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
klassifikaator
1.1
kvartiil
Q2
TTÜ struktuuriüksus
keel
inglise
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