The Craig interpolation property for rational Gödel logic

In this article, the Craig interpolation property for rational Gödel logic is studied. Despite classical Gödel logic, this property can be proved in this new extension of Gödel logic. This new predicate version of Gödel logic is similar to continuous logic and also, its semantics is extended similar to metric model theory with some differences.

کلیدواژه ها:

Rational Gödel logic ، the Craig interpolation property ، standard Gödel logic