Nazanin Roshandel Tavana
Department of Mathematics and Computer Science, Amirkabir University of Technology
Abstract.In this paper, rational Gödel logic is introduced and some model theory for it is expressed. In this version of Gödel logic, the set of truth values is extended and also, rational numbers are added as formulas. In particular, Craig interpolation property is studied for this logic.