Paper Info
Title
On Reduced Semantics For Fuzzy Predicate Logics
Abstract
Our work is a contribution to the model-theoretic study of equality-free 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 equality-free 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.
Year
Venue
Keywords
2009
PROCEEDINGS OF THE JOINT 2009 INTERNATIONAL FUZZY SYSTEMS ASSOCIATION WORLD CONGRESS AND 2009 EUROPEAN SOCIETY OF FUZZY LOGIC AND TECHNOLOGY CONFERENCE
Equality-free Language, Fuzzy Predicate Logic, Model Theory, Reduced Structure, Relative Relation
Field
DocType
Citations 
T-norm fuzzy logics,Algebra,Gödel's completeness theorem,Fuzzy logic,Isomorphism,Predicate (grammar),Congruence (geometry),Semantics,Mathematics,Predicate (mathematical logic)
Conference
2
PageRank 
References 
Authors
0.46
6
1
Name
Order
Citations
PageRank
Pilar Dellunde115622.63