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

Pinto, Luís; Uustalu, Tarmo (2017). A proof-theoretic study of bi-intuitionistic propositional sequent calculus. Journal of Logic and Computation, ? [ilmumas].
ajakirjaartikkel
Pinto, Luís; Uustalu, Tarmo
  • Inglise
Journal of Logic and Computation
1465-363X
2017
?
Ilmumas
1.1. Teadusartiklid, mis on kajastatud Thomson Reuters Web of Science andmebaasis (v.a. Thomson Reuters Conference Proceedings Citation Index poolt refereeritud kogumikud) ja/või Euroopa Teadusfondi humanitaarteaduste loendi ERIH (European Reference Index of the Humanities) kategooriates INT1 ja INT2 ja/või andmebaasis Scopus (v.a. kogumikud)
WOS

Viited terviktekstile