3 citations · 3 across the 2 of their papers we have counts for
4 papers
Truth-preservation under fuzzy pp-formulas
Pilar Dellunde, Amanda Vidal
How can non-classical logic contribute to the analysis of complexity in computer science? In this paper, we give a step towards this question, taking a logical model-theoretic appr…
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…
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…
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…