Term Models of Horn Clauses over Rational Pavelka Predicate Logic

Vicent Costa, Pilar Dellunde. Term Models of Horn Clauses over Rational Pavelka Predicate Logic. In 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017. pages 112-117, IEEE Computer Society, 2017. [doi]

Authors

Vicent Costa

This author has not been identified. Look up 'Vicent Costa' in Google

Pilar Dellunde

This author has not been identified. Look up 'Pilar Dellunde' in Google