A finite axiomatization of positive MV-algebras

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F22%3A00359217" target="_blank" >RIV/68407700:21230/22:00359217 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1007/s00012-022-00776-3" target="_blank" >https://doi.org/10.1007/s00012-022-00776-3</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s00012-022-00776-3" target="_blank" >10.1007/s00012-022-00776-3</a>

Jazyk výsledku
angličtina
Název v původním jazyce
A finite axiomatization of positive MV-algebras
Popis výsledku v původním jazyce
Positive MV-algebras are the subreducts of MV-algebras with respect to the signature containing Lukasiewicz sum and multiplication, the join and meet, together with the zero and unit constants. We provide a finite quasi-equational axiomatization for the class of such algebras.
Název v anglickém jazyce
A finite axiomatization of positive MV-algebras
Popis výsledku anglicky
Positive MV-algebras are the subreducts of MV-algebras with respect to the signature containing Lukasiewicz sum and multiplication, the join and meet, together with the zero and unit constants. We provide a finite quasi-equational axiomatization for the class of such algebras.

Projekt
<a href="/cs/project/EF16_019%2F0000765" target="_blank" >EF16_019/0000765: Výzkumné centrum informatiky</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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