Coronavirus update

Important information:
All on-campus visits and events are cancelled or postponed until further notice. Virtual events will be running as normal unless otherwise stated.  For the latest updates visit our coronavirus information page. Please note that some of our on campus events may be replaced by virtual events - please check with the event organiser listed against each event.

The principle of reflection and nested sequents

Law 114
Wednesday 21 March 2018 (14:30-15:30)

Mathematics and Philosophy Seminar

  • Speaker: Hidenori Kurokawa (Kanazawa University, Japan)

All welcome!

For more information please contact the convenor, Salvatore Florio.


This talk will address Sambin, Battilotti and Faggian’s proposal in proof theoretic semantics (broadly considered) for introducing logical constants via a method they refer to as “the principle of reflection." By this method, logical constants are first introduced by a sequent formulation of biconditionals, operational rules for traditional sequent calucli are then derived via reflexivity and cut, and the whole process is justified by proving cut elimination. I will propose a modification of this method based on nested sequents, which uniformizes it and extend it to a wider range of non-classical logics. Nested sequents have traditionally been understood as closely related to Kripke semantics for modal logic. But I will argue that it is possible to provide an alternative motivation in relation to Sambin et al.'s principle of reflection.

Culture and collections

Schools, institutes and departments

Services and facilities