Není k dispozici
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F04%3A03103412" target="_blank" >RIV/68407700:21230/04:03103412 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/67985807:_____/04:00105219
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Product Lukasiewicz Logic
Popis výsledku v původním jazyce
Among all many-valued logics the Lu logic plays a fundamental role. However expressive power of this logic is restricted to piecewise linear functions. In this paper we enrich the language of Lu logic by adding a new connective which expresses multiplication. The resulting logic PL is defined and developed. We also deal with several extensions of this logic. At the end of the paper, the predicate version of PL logic is introduced and developed.
Název v anglickém jazyce
Product Lukasiewicz Logic
Popis výsledku anglicky
Among all many-valued logics the Lu logic plays a fundamental role. However expressive power of this logic is restricted to piecewise linear functions. In this paper we enrich the language of Lu logic by adding a new connective which expresses multiplication. The resulting logic PL is defined and developed. We also deal with several extensions of this logic. At the end of the paper, the predicate version of PL logic is introduced and developed.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
JD - Využití počítačů, robotika a její aplikace
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2004
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
43
Číslo periodika v rámci svazku
4
Stát vydavatele periodika
DE - Spolková republika Německo
Počet stran výsledku
27
Strana od-do
477-503
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—