A Note to the Definition of the LPi-Algebras

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
A Note to the Definition of the LPi-Algebras
Original language description
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.
Czech name
Poznámka k definici LPi-algeber
Czech description
Jazyk LPi-algeber se sestává z dvou množin operací, redukt LPi-algebry na první z nich je MV-algebra a na té druhé Pi-algebra. Vyvstává otázka: jaké identity (mimo těch MV- a Pi-algebraických) definují LPi-algebry. V tomto krátkém článku ukážeme, že (zaurčitých okolností) stačí právě jedna. Ovšem otázka, zda tento fakt platí i pro alternetivní definici Pi-algeber je zajímavým otevřeným problémem.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Project
<a href="/en/project/GD401%2F03%2FH047" target="_blank" >GD401/03/H047: Logical foundations of semantics and knowledge representation</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)