The Craig Interpolation Property in First-order Gödel Logic

In this article, a model-theoretic approach is proposed to prove that the first-order G\"odel logic, \(\mathbf{G}\), as well as its extension \(\mathbf{G}^\Delta\) associated with first-order relational languages enjoy the Craig interpolation property. These results partially provide an affirma...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2023-09
Main Authors: Seyed Mohammad Amin Khatami, Pourmahdian, Massoud, Tavana, Nazanin R
Format: Article
Language:English
Subjects:
Interpolation
Logic
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this article, a model-theoretic approach is proposed to prove that the first-order G\"odel logic, \(\mathbf{G}\), as well as its extension \(\mathbf{G}^\Delta\) associated with first-order relational languages enjoy the Craig interpolation property. These results partially provide an affirmative answer to a question posed in [Aguilera, Baaz, 2017, Ten problems in G\"odel logic].
ISSN:2331-8422