Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/tiu

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.