Another representation of cut-elimination
(6th Asian Workshop on Philosophical Logic 2024)
Euler diagrams for defeasible reasoning
(11th International Conference on the Theory and Application of Diagrams, Diagrams 2020)
Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
(10th International Conference on the Theory and Application of Diagrams, Diagrams 2018 2018)