Term Models of Horn Clauses over Rational Pavelka Predicate Logic

descriptionPublicationkeyboard_double_arrow_right Article , Preprint , Conference object 01 May 2017Embargo end date: 01 Jan 2017 Spain Publisher:IEEEJournal:2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)Funded by:EC | SYSMICS

Authors: Vicent Costa; Pilar Dellunde;

doi: 10.1109/ismvl.2017.26 , 10.48550/arxiv.1705.09572

arXiv: 1705.09572

handle: 10261/241124

Term Models of Horn Clauses over Rational Pavelka Predicate Logic

- Summary
- Subjects
- Metrics

Abstract

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 clauses over Rational Pavelka predicate logic. We define the notion of a term structure associated to every consistent theory T over Rational Pavelka predicate logic and we prove that the term models of T are free on the class of all models of T. Finally, it is shown that if T is a set of Horn clauses, the term structure associated to T is a model of T.

International Symposium on Multiple-Valued Logic 2017

Country

Spain

Related Organizations

View all View all

Keywords

Horn clause, Rational Pavelka predicate logic, FOS: Mathematics, Mathematics - Logic, Free model, Logic (math.LO), Term model

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	2
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average