Aim
The aim of this workshop is to discuss and exchange new ideas and recent developments related to expansions of intuitionistic logic obtained by empirical negation.
Date & Venue
Date: November 26, 2022.
Venue: GA 04/187 (Mercator room), Ruhr University Bochum. (See this map for GA building.)
Speakers
Michael De (Utrecht)
Nils Kürbis (Bochum & Łódź)
Satoru Niki (Bochum)
Masanobu Toyooka (Sapporo)
Program
14:30--15:30 Masanobu Toyooka "Adding Empirical Negation into Intermediate Predicate Logic CD"
15:30--16:30 Satoru Niki "Constants related to Omega"
16:30--17:00 Break
17:00--18:00 Nils Kürbis "The Problem of false judgement and early intuitionists"
18:00--19:00 Michael De "Empirical disjunction"
Acknowledgment
This workshop is supported by a Sofja Kovalevskaja Award of the Alexander von Humboldt-Foundation, funded by the German Ministry for Education and Research.
Organizer
The workshop is organized by Hitoshi Omori. For any inquiries, please write to Hitoshi at: Hitoshi [dot] Omori [at] rub [dot] de.