Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

A Note on the Notion of Truth in Fuzzy Logic.

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F01%3A06010008" target="_blank" >RIV/67985807:_____/01:06010008 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    A Note on the Notion of Truth in Fuzzy Logic.

  • Popis výsledku v původním jazyce

    In fuzzy predicate logic, assignment of truth values may be partial, (due to lack of some infinite suprema or infima in the underlying structure of truth values). A logic is supersound if each provable formula phi is true (has truth value 1) in each interpretation in which the truth value of phi 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 (sound but) not supersound.

  • Název v anglickém jazyce

    A Note on the Notion of Truth in Fuzzy Logic.

  • Popis výsledku anglicky

    In fuzzy predicate logic, assignment of truth values may be partial, (due to lack of some infinite suprema or infima in the underlying structure of truth values). A logic is supersound if each provable formula phi is true (has truth value 1) in each interpretation in which the truth value of phi 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 (sound but) not supersound.

Klasifikace

  • Druh

    J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

  • CEP obor

    BA - Obecná matematika

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

  • Návaznosti

    Z - Vyzkumny zamer (s odkazem do CEZ)

Ostatní

  • Rok uplatnění

    2001

  • Kód důvěrnosti údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Údaje specifické pro druh výsledku

  • Název periodika

    Annals of Pure and Applied Logic

  • ISSN

    0168-0072

  • e-ISSN

  • Svazek periodika

    109

  • Číslo periodika v rámci svazku

    N/A

  • Stát vydavatele periodika

    DE - Spolková republika Německo

  • Počet stran výsledku

    5

  • Strana od-do

    65-69

  • Kód UT WoS článku

  • EID výsledku v databázi Scopus