Sophie’s paper Behavioural Inferentialist Semantics for the Connectives in 2-Sided Sequent Calculi was selected for the conference Proof Society 2024.
This conference is run by The Proof Society and will take place in Birmingham, England, from 9-13 September 2024. It is sponsored by the University of Birmingham and UKRI.