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 Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
WOS

Viited terviktekstile