انجمن منطق ایران سخنرانیِ برخط (آنلاین) برگزار میکند
Intuitionistic analogues of the Łoś-Tarski Theorem
مصطفیٰ زارع
دانشگاه دامغان
Abstract:
In classical model theory, the Łoś-Tarski Theorem states that a classical theory is axiomatizable by universal sentences
if and only if it is preserved under submodels.
In this talk, we investigate intuitionistic analogues of this theorem in the context of Kripke models.
References
[1] B. Ellison, J. Fleischmann, D. McGinn, and W. Ruitenburg, Kripke submodels and universal sentences, Mathematical Logic Quarterly 53, 311-320, 2007.
[2] Z. Markovic, Some preservation results for classical and intuitionistic satisfiability in Kripke models, Notre Dame Journal of Formal Logic 24, 395-398, 1983.
[3] M. Moniri and M. Zaare, Preservation theorems for Kripke models, Mathematical Logic Qarterly 55, 177-184, 2009.
[4] A. Visser, Submodels of Kripke models, Archive for Mathematical Logic 40, 277-295, 2001.
[5] M. Zaare, Extensions of Kripke models, Logic Journal of the IGPL 25, 697-699, 2017.
زمان : دوشنبه، ۲۷ مرداد ۱۳۹۹، ساعت ۴ بعد از ظهر
سخنرانیِ برخط (آنلاین) از طریق پیوند زیر و انتخاب گزینهی «میهمان» در دسترس است: