English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/138259
Share/Impact:
Statistics
logo share SHARE logo core CORE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE
Exportar a otros formatos:

DC FieldValueLanguage
dc.contributor.authorDellunde, Pilar-
dc.date.accessioned2016-10-20T09:15:36Z-
dc.date.available2016-10-20T09:15:36Z-
dc.date.issued2011-
dc.identifierdoi: 10.1093/logcom/exr019-
dc.identifierissn: 1465-363X-
dc.identifier.citationJournal of Logic and Computation 22: 1367- 1389 (2011)-
dc.identifier.urihttp://hdl.handle.net/10261/138259-
dc.description.abstractIn 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.-
dc.description.sponsorshipSpanish projects CONSOLIDER (CSD2007-0022) and ARINF (TIN2009-14704-C03-03), in part; ESF Eurocores-LogICCC/MICINN project (FFI2008-03126-E/FILO), in part; Generalitat de Catalunya (grant 2009-SGR-1433), in part-
dc.publisherOxford University Press-
dc.rightsclosedAccess-
dc.subjectFuzzy predicate logics, Method of diagrams, Model theory, Reduced structures-
dc.titlePreserving Maps in Fuzzy Predicate Logics-
dc.typeartículo-
dc.identifier.doihttp://dx.doi.org/10.1093/logcom/exr019-
dc.date.updated2016-10-20T09:15:36Z-
dc.description.versionPeer Reviewed-
dc.language.rfc3066eng-
dc.contributor.funderConsejo Superior de Investigaciones Científicas (España)-
dc.contributor.funderGeneralitat de Catalunya-
dc.relation.csic-
dc.identifier.funderhttp://dx.doi.org/10.13039/501100003339es_ES
dc.identifier.funderhttp://dx.doi.org/10.13039/501100002809es_ES
Appears in Collections:(IIIA) Artículos
Files in This Item:
File Description SizeFormat 
accesoRestringido.pdf15,38 kBAdobe PDFThumbnail
View/Open
Show simple item record
 

Related articles:


WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.