English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/138259
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:


Preserving Maps in Fuzzy Predicate Logics

AuthorsDellunde, Pilar CSIC ORCID
KeywordsFuzzy predicate logics, Method of diagrams, Model theory, Reduced structures
Issue Date2011
PublisherOxford University Press
CitationJournal of Logic and Computation 22: 1367- 1389 (2011)
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.
Identifiersdoi: 10.1093/logcom/exr019
issn: 1465-363X
Appears in Collections:(IIIA) Artículos
Files in This Item:
File Description SizeFormat 
accesoRestringido.pdf15,38 kBAdobe PDFThumbnail
Show full item record
Review this work

Related articles:

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