The Craig Interpolation Property in

First-order Gödel Logic and Some of its Extensions


Nazanin Roshandel Tavana

Amirkabir University of Technology



Craig interpolation property is one of noticeable properties in mathematical logic. It says if φ and ψ are two closed formulas in two languages L1 and L2, respectively, with φ ⊨ ψ then there is a closed formula θ LL2 such that φ θ and θψ.

This property was verified in some non-classical logics as intuitionistic logic, Łukasiewicz logic and some fragments of Gödel logic. However, it is an open problem in first-order Gödel logic. Besides, some of its applications are in computing sciences and the theory of institutions.

In this seminar, first, the history of some attempts to solve this problem is reviewed. Second, it will be shown that this property holds in rational Gödel logic which is an extension of Gödel logic with adding some rationals as nullary connectives to the language. Finally, a model-theoretic approach is proposed to prove that the first-order Gödel logic, G, as well as its extension GΔ associated with first-order relational languages enjoy the Craig interpolation property.


Monday,  November 20, 2023

16:00 - 18:00 (THR)

The lecture will be held in Persian,  in a combination of in-person and online.

Host: Amirkabir University of Technology - Department of Mathematics and Computer Science



دوشنبه، 29 آبان 1402، ساعت 16 الی 18

سخنرانی به صورت تلفیقی حضوری-مجازی و به میزبانی گروه ریاضی محضِ دانشکده‌ی ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر برگزار خواهد شد.

آدرس: تهران، میدان ولیعصر، خیابان حافظ، پلاک ۳۵۰

پیوند سخنرانی برخط (آنلاین):




فایل pdf همین اطّلاعیّه: