3 citations · 6 across the 3 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.LO2017
Term Models of Horn Clauses over Rational Pavelka Predicate Logic
Vicent Costa, Pilar Dellunde
This paper is a contribution to the study of the universal Horn fragment of predicate fuzzy logics, focusing on the proof of the existence of free models of theories of Horn clause…
math.LO2017★ 3 cited
On the existence of Free Models in Fuzzy Universal Horn Classes
Vicent Costa, Pilar Dellunde
This paper is a contribution to the study of the universal Horn fragment of predicate fuzzy logics, focusing on some relevant notions in logic programming. We introduce the notion…