⊨ISILC Proof Theory Symposion | doi.page