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”

Advances in the LPi and LPi1/2 Logics.

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F03%3A06030014" target="_blank" >RIV/67985807:_____/03:06030014 - 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

    Advances in the LPi and LPi1/2 Logics.

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

    The LPi and LPi1/2 logics were introduced by Godo, Esteva and Montagna. These logics extend many other logics, including the Godel, product and Lukasiewicz logic. The aim of this paper is to show advances in this field. We will see further reduction of the axiomatic systems for both logics. Then we will see many other logics contained in these logics (namely logics induced by the continuous finitely constructed t-norms and Takeuti and Titani's fuzzy predicate logic).

  • Název v anglickém jazyce

    Advances in the LPi and LPi1/2 Logics.

  • Popis výsledku anglicky

    The LPi and LPi1/2 logics were introduced by Godo, Esteva and Montagna. These logics extend many other logics, including the Godel, product and Lukasiewicz logic. The aim of this paper is to show advances in this field. We will see further reduction of the axiomatic systems for both logics. Then we will see many other logics contained in these logics (namely logics induced by the continuous finitely constructed t-norms and Takeuti and Titani's fuzzy predicate logic).

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

    <a href="/cs/project/IAA1030004" target="_blank" >IAA1030004: Matematické základy inference s vágností a nejistotou</a><br>

  • Návaznosti

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>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 periodika

    Archive for Mathematical Logic

  • ISSN

    0933-5846

  • e-ISSN

  • Svazek periodika

    42

  • Číslo periodika v rámci svazku

    5

  • Stát vydavatele periodika

    DE - Spolková republika Německo

  • Počet stran výsledku

    20

  • Strana od-do

    449-468

  • Kód UT WoS článku

  • EID výsledku v databázi Scopus