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
—