Friday 29 March 2024 |
Events for day: Thursday 20 December 2018 |
11:00 - 12:00 Theory Weekly Seminar(TWS) Holographic Renormalization group School PARTICLES AND ACCELERATORS Larak Seminar Room 14:00 - 16:00 Mathtematical Logic Weekly Seminar Subintuitionistic Logics School MATHEMATICS In this talk we will discuss on subintuitionistic logics with a weakened implication. This concerns logics with Kripke frames and with neighborhood frames. We will discuss Logics, completeness, conservativity results w.r.t. IPC, two different types of neighborhood frames. ... |