9 December 2009
Logic and Games Seminar at CUNY: Dualising Intuitionist Negation
Posted by Rasmus Rendsvig under: Activities; Courses, seminars and special lectures; Proof Theory .
| Friday, December 11, 2009 | ||
| 4:15 pm |
Logic and Games Seminar: Dualising Intuitionist Negation
Professor Graham Priest (Graduate Center, CUNY and University of Melbourne)
Friday, December 11, 2009 4:15 pm, Room 4419, GC, City University of New York
Abstract. The idea of producing a paraconsistent logic by taking intuitionism and dualising its negation is a natural one. In this talk I will explore one such a dualisation, starting from the Kripke semantics for intuitionist logic, and moving through the corresponding proof-theoretic and algebraic structures.
Loading... 
