Currently, I’m in the Japanese Advanced Institute of Science and Technology, kindly hosted by Prof. H. Ishihara and Dr. T. Nemoto, as part of the CORCON research project. In this … Continue reading
Yesterday, I gave a seminar in the Department of Philosophy in Florence. If interested, here are the slides.
A few days ago, I gave a talk in the Logic Seminar at Leeds. The slides are available at leeds14102012. Essentially, it shows a semantics for full first-order intuitionistic logic in … Continue reading