Skip navigation

Ian Shillito

PhD Student

Hanna Neumann Blg (145), 2.27

ian.shillito@anu.edu.au

Publications

A multi-labelled sequent calculus for Topo-Logic, Journal of Logic and Computation (2020)
Bi-Intuitionistic Types via Alternating Contexts, TYPES (2020)
Bi-Intuitionistic Logics: A New Instance of an Old Problem, Advances in Modal Logic (2020)
Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq, TABLEAUX (2021)

Updated: 10 August 2021/Responsible Officer: Dean, CECS/Page Contact: CECS Marketing