Recent news

Jesse and I have been running an individual research project on Dialogical Logic with one of the master's students at the ILLC, Aleks. We're simultanteously pursuing two goals: One, to adapt the proof of correspondence between Ei-dialogues and intuitionistic logic in the Fermüller paper that Jesse has discussed in previous posts to a proof of correspondence between Felscher's D10+D13+E and classical logic (without going via hypersequents or parallel dialogue games), and two, to follow up on suggestions of Shahid Rahman concerning developing tableau rules for N. Both papers have been coming along nicely, and I hope that in another two weeks we'll have some interesting and important results to announce here.