3 citations · 3 across the 2 of their papers we have counts for
3 papers
math.LO2018
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
Guillermo Badia, Vicent Costa, Pilar Dellunde +1
This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntacti…
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…