Interpolation in Godel Logic

We propose a model-theoretic approach to prove that the rst-order Godel logicenjoy the Craig interpolation property.

کلیدواژه ها:

Fuzzy logic ، Godel Logic ، Interpolation Property