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”

Modely a podmodely fuzzy teorií

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F03%3AA0800KJ0" target="_blank" >RIV/61988987:17610/03:A0800KJ0 - 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

    Models and submodels of fuzzy theories

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

    This paper is a contribution to the development of the model theory of fuzzy logic in narrow sense with evaluated syntax. Several generalizations of the concept of submodel are defined which have no counterpart in classical logic and demonstrate some properties of them. The main results concern elementary extensions and elementary chains. As a consequence, we will also present a generalization of the well known Craig's interpolation theorem for fuzzy logic.

  • Název v anglickém jazyce

    Models and submodels of fuzzy theories

  • Popis výsledku anglicky

    This paper is a contribution to the development of the model theory of fuzzy logic in narrow sense with evaluated syntax. Several generalizations of the concept of submodel are defined which have no counterpart in classical logic and demonstrate some properties of them. The main results concern elementary extensions and elementary chains. As a consequence, we will also present a generalization of the well known Craig's interpolation theorem for fuzzy logic.

Klasifikace

  • Druh

    C - Kapitola v odborné knize

  • 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í

    2003

  • 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 knihy nebo sborníku

    Intelligent Systems for Information Processing: From Representation to Applications

  • ISBN

    0-444-51379-5

  • Počet stran výsledku

    11

  • Strana od-do

    363-373

  • Počet stran knihy

  • Název nakladatele

    Elsevier

  • Místo vydání

    Amsterdam

  • Kód UT WoS kapitoly