Preserving mappings in fuzzy predicate logics

Research output: Contribution to journalArticleResearchpeer-review

15 Citations (Scopus)

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. © 2011 The Author.
Original languageEnglish
Pages (from-to)1367-1389
JournalJournal of Logic and Computation
Volume22
Issue number6
DOIs
Publication statusPublished - 1 Dec 2012

Keywords

  • Fuzzy predicate logics
  • method of diagrams
  • model theory
  • reduced structures

Fingerprint

Dive into the research topics of 'Preserving mappings in fuzzy predicate logics'. Together they form a unique fingerprint.

Cite this