Effectiveness in RPL, with Applications to Continuous Logic

Farzad Didehvar, Kaveh Ghasemloo, Massoud Pourmahdian

In this paper, we introduce a foundation for computable model theory of rational Pavelka logic (an extension of Łukasiewicz logic) and continuous logic, and prove effective version…