|
Mathematical Logic Weekly Seminar
|
سمینار هفتگی منطق ریاضی
|
|
|
|
TITLE
|
Subintuitionistic Logics
|
|
|
SPEAKER
|
|
Fatemeh Shirmohammadzade Maleki
|
|
|
|
University of Tehran
|
|
|
|
|
|
|
|
TIME
|
|
Thursday, December 20, 2018,
|
|
14:00 - 16:00
|
|
|
|
VENUE |
Lecture Hall 1, Niavaran Bldg.
|
|
|
SUMMARY |
|
| |
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.
|
|
|
|
تهران، ضلع جنوبی
ميدان شهيد باهنر (نياوران)، پژوهشگاه
دانشهای بنيادی، پژوهشکده رياضيات
School of
Mathematics, Institute for Research in
Fundamental Sciences (IPM), Niavaran
Bldg., Niavaran Square, Tehran
ipmmath@ipm.ir
♦ +98 21
22290928 ♦
math.ipm.ir |
|
|
|
