The Craig interpolation property for rational Gödel logic
نویسندگان
1 Department of Mathematics and Computer Science, Amirkabir University of Technology, Tehran, Iran
doi
10.22111/ijfs.2023.7343چکیده
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.
