Věta o standardní úplnosti logiky PiMTL

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F05%3A03109547" target="_blank" >RIV/68407700:21230/05:03109547 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Standard Completeness Theorem for -MTL
Popis výsledku v původním jazyce
PiMTL is a schematic extension of the monoidal t-norm based logic (MTL) by the characteristic axioms of product logic. In this paper we prove that PiMTL satisfies the standard completeness theorem. From the algebraic point of view, we show that the classof PiMTL-algebras (bounded commutative cancellative residuated l-monoids) in the real unit interval [0,1] generates the variety of all PiMTL-algebras.
Název v anglickém jazyce
Standard Completeness Theorem for -MTL
Popis výsledku anglicky
PiMTL is a schematic extension of the monoidal t-norm based logic (MTL) by the characteristic axioms of product logic. In this paper we prove that PiMTL satisfies the standard completeness theorem. From the algebraic point of view, we show that the classof PiMTL-algebras (bounded commutative cancellative residuated l-monoids) in the real unit interval [0,1] generates the variety of all PiMTL-algebras.

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/GA201%2F02%2F1540" target="_blank" >GA201/02/1540: Vícehodnotové logiky pro soft computing</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2005
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)