Rees Coextensions of Finite, Negative Tomonoids

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F17%3A00448464" target="_blank" >RIV/67985807:_____/17:00448464 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/60460709:41310/17:74544

Výsledek na webu

<a href="http://dx.doi.org/10.1093/logcom/exv047" target="_blank" >http://dx.doi.org/10.1093/logcom/exv047</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1093/logcom/exv047" target="_blank" >10.1093/logcom/exv047</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Rees Coextensions of Finite, Negative Tomonoids

Popis výsledku v původním jazyce

A totally ordered monoid, or tomonoid for short, is a monoid endowed with a compatible total order. We deal in this article with tomonoids that are finite and negative, where negativity means that the monoidal identity is the top element. Examples can be found, for instance, in the context of finite-valued fuzzy logic. By a Rees coextension of a negative tomonoid S, we mean a negative tomonoid T such that a Rees quotient of T is isomorphic to S. We characterize the set of all those Rees coextensions of a finite, negative tomonoid that are by one element larger. We thereby define a method of generating all such tomonoids in a stepwise fashion. Our description relies on the level-set representation of tomonoids, which allows us to identify the structures in question with partitions of a certain type.

Název v anglickém jazyce

Rees Coextensions of Finite, Negative Tomonoids

Popis výsledku anglicky

A totally ordered monoid, or tomonoid for short, is a monoid endowed with a compatible total order. We deal in this article with tomonoids that are finite and negative, where negativity means that the monoidal identity is the top element. Examples can be found, for instance, in the context of finite-valued fuzzy logic. By a Rees coextension of a negative tomonoid S, we mean a negative tomonoid T such that a Rees quotient of T is isomorphic to S. We characterize the set of all those Rees coextensions of a finite, negative tomonoid that are by one element larger. We thereby define a method of generating all such tomonoids in a stepwise fashion. Our description relies on the level-set representation of tomonoids, which allows us to identify the structures in question with partitions of a certain type.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GPP201%2F12%2FP055" target="_blank" >GPP201/12/P055: Geometrie asociativních struktur</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2017

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

Journal of Logic and Computation

ISSN

0955-792X

e-ISSN

—

Svazek periodika

27

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

20

Strana od-do

337-356

Kód UT WoS článku

000397037900013

EID výsledku v databázi Scopus

2-s2.0-85014640209