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.