Title of article :
The Craig interpolation property for rational Gödel logic
Author/Authors :
Roshandel Tavana ، N. Department of Mathematics and Computer Science - Amirkabir University of Technology
Abstract :
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.
Keywords :
Rational Godel logic , the Craig interpolation property , standard Godel logic
Journal title :
Iranian Journal of Fuzzy Systems (IJFS)
Journal title :
Iranian Journal of Fuzzy Systems (IJFS)
