(2109-6901) The Craig interpolation property for rational Godel logic

Document Type : Research Paper

Author

Department of Mathematics and Computer Science, Amirkabir University of Technology, Tehran, Iran

10.22111/ijfs.2022.7134

Abstract

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

Keywords