A note on the notion of truth in fuzzy logic

Annals of Pure and Applied Logic 109 (1-2):65-69 (2001)
  Copy   BIBTEX

Abstract

In fuzzy predicate logic, assignment of truth values may be partial, i.e. the truth value of a formula in an interpretation may be undefined . A logic is supersound if each provable formula is true in each interpretation in which the truth value of is defined. It is shown that among the logics given by continuous t-norms, Gödel logic is the only one that is supersound; all others are not supersound. This supports the view that the usual restriction of semantics to safe interpretations is very natural

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Fuzzy logic and arithmetical hierarchy III.Petr Hájek - 2001 - Studia Logica 68 (1):129-142.
First-order fuzzy logic.Vilém Novák - 1987 - Studia Logica 46 (1):87 - 109.
Monadic fuzzy predicate logics.Petr Hájek - 2002 - Studia Logica 71 (2):165-175.
Fuzzy logic and approximate reasoning.L. A. Zadeh - 1975 - Synthese 30 (3-4):407-428.
Approximate Similarities and Poincaré Paradox.Giangiacomo Gerla - 2008 - Notre Dame Journal of Formal Logic 49 (2):203-226.
Some notes concerning fuzzy logics.Charles Grady Morgan & Francis Jeffry Pelletier - 1977 - Linguistics and Philosophy 1 (1):79 - 97.
Fuzzy Horn logic I.Radim Bělohlávek & Vilém Vychodil - 2006 - Archive for Mathematical Logic 45 (1):3-51.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
Fuzzy logic, continuity and effectiveness.Loredana Biacino & Giangiacomo Gerla - 2002 - Archive for Mathematical Logic 41 (7):643-667.
Joint Consistency of Fuzzy Theories.Vilém Novák - 2002 - Mathematical Logic Quarterly 48 (4):563-573.
A type of fuzzy ring.Hacı Aktaş & Naim Çağman - 2007 - Archive for Mathematical Logic 46 (3-4):165-177.
On witnessed models in fuzzy logic II.Petr Hájek - 2007 - Mathematical Logic Quarterly 53 (6):610-615.

Analytics

Added to PP
2014-01-16

Downloads
28 (#490,139)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.

Add more citations