An Alternative Approach to the Lpi Logic.

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F01%3A06010209" target="_blank" >RIV/67985807:_____/01:06010209 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
An Alternative Approach to the Lpi Logic.
Popis výsledku v původním jazyce
The Lpi logic was introduced by Godo, Esteva and Montagna. The aim of this paper is to show a tight connection between the Lpi logic and product involutive logic, which was introduced by Esteva, Godo, Hajek and Navara. We will see that all the connectives of the Lpi logic are definable within this logic. In addition we show that the Lpi logic is an schematic extension of this logic by a single axiom. We also make some simplification of the axiomatic system of this logic.
Název v anglickém jazyce
An Alternative Approach to the Lpi Logic.
Popis výsledku anglicky
The Lpi logic was introduced by Godo, Esteva and Montagna. The aim of this paper is to show a tight connection between the Lpi logic and product involutive logic, which was introduced by Esteva, Godo, Hajek and Navara. We will see that all the connectives of the Lpi logic are definable within this logic. In addition we show that the Lpi logic is an schematic extension of this logic by a single axiom. We also make some simplification of the axiomatic system of this logic.

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
—

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)

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ů

Podobné výsledky(10)