Cancellative residuated lattices arising on 2-generated submonoids of natural numbers

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F10%3A00171633" target="_blank" >RIV/68407700:21230/10:00171633 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985807:_____/10:00348399

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Cancellative residuated lattices arising on 2-generated submonoids of natural numbers

Popis výsledku v původním jazyce

It is known that there are only two cancellative atoms in the subvariety lattice of residuated lattices, namely the variety of Abelian l-groups CLG generated by the additive l-group of integers and the variety CLG(-) generated by the negative cone of this l-group. In this paper we consider all cancellative residuated chains arising on 2-generated submonoids of natural numbers and show that almost all of them generate a cover of CLG(-). This proves that there are infinitely many covers above CLG(-) whichare commutative, integral, and representable.

Název v anglickém jazyce

Cancellative residuated lattices arising on 2-generated submonoids of natural numbers

Popis výsledku anglicky

It is known that there are only two cancellative atoms in the subvariety lattice of residuated lattices, namely the variety of Abelian l-groups CLG generated by the additive l-group of integers and the variety CLG(-) generated by the negative cone of this l-group. In this paper we consider all cancellative residuated chains arising on 2-generated submonoids of natural numbers and show that almost all of them generate a cover of CLG(-). This proves that there are infinitely many covers above CLG(-) whichare commutative, integral, and representable.

Druh

J_x - 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/KJB100300701" target="_blank" >KJB100300701: Složitost t-normových logik - algebraický a důkazově teoretický přístup</a><br>

Návaznosti

V - Vyzkumna aktivita podporovana z jinych verejnych zdroju

Rok uplatnění

2010

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ů

Název periodika

Algebra universalis

ISSN

0002-5240

e-ISSN

—

Svazek periodika

63

Číslo periodika v rámci svazku

2-3

Stát vydavatele periodika

CH - Švýcarská konfederace

Počet stran výsledku

14

Strana od-do

—

Kód UT WoS článku

000283085400010

EID výsledku v databázi Scopus

—