2021-10-27T05:46:21Z
https://digital.csic.es/dspace-oai/request
oai:digital.csic.es:10261/138259
2018-08-13T07:26:10Z
com_10261_60
com_10261_4
col_10261_313
http://hdl.handle.net/10261/138259
http://dx.doi.org/10.1093/logcom/exr019
317449
Preserving Maps in Fuzzy Predicate Logics
Oxford University Press
2011
Dellunde, Pilar
rp07781
Fuzzy predicate logics, Method of diagrams, Model theory, Reduced structures
2011
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. © 2011 The Author.
Consejo Superior de Investigaciones Científicas (España)
Generalitat de Catalunya
Journal of Logic and Computation
2011
22
1367
1389