Alwen Tiu (tiu)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Goré, Rajeev, Postniece, Linda and Tiu, Alwen. 2008. “Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.” in Advances in Modal Logic, volume VII, edited by Carlos Areces and Robert L. Goldblatt, pp. 43–66. London: College Publications.
Goré, Rajeev, Postniece, Linda and Tiu, Alwen. 2010. “Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic.” in Advances in Modal Logic, volume VIII, edited by Lev D. Beklemishev, Valentin Goranko, and Valentin Shehtman, pp. 156–177. London: King’s College Publications.
Tiu, Alwen, Ianovski, Egor and Goré, Rajeev. 2012. “Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 516–537. London: King’s College Publications.