Poznámka k definici LPi-algeber

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

Jazyk výsledku
angličtina
Název v původním jazyce
A Note to the Definition of the LPi-Algebras
Popis výsledku v původním jazyce
The LPi-algebras have two sets of operations and reduct to one set is an MV-algebra and to the other one is a Pi-algebra. There arise a question: which additional identities (besides those of MV-algebra and Pi-algebra) has some algebra to fulfill in order to be an LPi-algebra? In this short paper we show that under certain definition of the Pi-algebra only one identity is sufficient. However the question whether this holds for an alternative definition of the Pi-algebra seems to be interesting open problem.
Název v anglickém jazyce
A Note to the Definition of the LPi-Algebras
Popis výsledku anglicky
The LPi-algebras have two sets of operations and reduct to one set is an MV-algebra and to the other one is a Pi-algebra. There arise a question: which additional identities (besides those of MV-algebra and Pi-algebra) has some algebra to fulfill in order to be an LPi-algebra? In this short paper we show that under certain definition of the Pi-algebra only one identity is sufficient. However the question whether this holds for an alternative definition of the Pi-algebra seems to be interesting open problem.

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/GD401%2F03%2FH047" target="_blank" >GD401/03/H047: Logické základy sémantiky a reprezentace znalostí</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)

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)