3 citations · 3 across the 1 of their papers we have counts for
1 paper
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…