Abstract | ||
---|---|---|
In this article, we develop the method of diagrams for fuzzy predicate logics and give a characterization of different kinds of preserving mappings in terms of diagrams. Our work is a contribution to the model-theoretic study of 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 structure-preserving 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 structure-preserving relation between two structures plays the same role that the isomorphism relation plays in classical predicate languages with equality. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1093/logcom/exr019 | J. Log. Comput. |
Keywords | Field | DocType |
reduced semantics,structure-preserving relation,leibniz congruence,isomorphism relation,classical predicate language,preserving mapping,reduced structure,model modulo,different kind,fuzzy predicate logic,completeness theorem | T-norm fuzzy logics,Discrete mathematics,Gödel's completeness theorem,Modulo,Fuzzy logic,Algorithm,Isomorphism,Predicate (grammar),Congruence (geometry),Mathematics,Predicate (mathematical logic) | Journal |
Volume | Issue | ISSN |
22 | 6 | 0955-792X |
Citations | PageRank | References |
10 | 0.65 | 8 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pilar Dellunde | 1 | 156 | 22.63 |