Difference between revisions of "On Reduced Semantics for Fuzzy Predicate Logics"
From Mathfuzzlog
(New page: {{Paperauthor=Pilar Dellundetitle=On Reduced Semantics For Fuzzy Predicate Logicsjournal=Proceedings of the IFSAEUSFLAT'09 Conferencevolume=number=pages=414419year=2009preprint=h...) 
(No difference)

Latest revision as of 09:48, 21 December 2009
Authors: 
 
Title:  On Reduced Semantics For Fuzzy Predicate Logics  
Journal:  Proceedings of the IFSAEUSFLAT'09 Conference  
Volume  
Number  
Pages:  414419  
Year:  2009  
Preprint 
Abstract
Our work is a contribution to the modeltheoretic study of equalityfree fuzzy predicate logics. We present a reduced semantics and we prove a completeness theorem of the logics with respect to this semantics. The main concepts being studied are the Leibniz congruence and the relative relation. On the one hand, the Leibniz congruence of a model identifies the elements that are indistinguishable using equalityfree atomic formulas and parameters from the model, a reduced structure is the quotient of a model modulo this congruence. On the other hand, the relative relation between two structures plays the same role that the isomorphism relation plays in classical predicate languages with equality.