On the Structure of Finite Integral Commutative Residuated Chains

Number of the records: 1

1.

SYSNO ASEP	0365295
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve WOS
Title	On the Structure of Finite Integral Commutative Residuated Chains
Author(s)	Horčík, Rostislav (UIVT-O)_{SAI, RID}
Source Title	Journal of Logic and Computation - ISSN 0955-792X Roč. 21, č. 5 (2011), s. 717-728
Number of pages	12 s.
Language	eng - English
Country	GB - United Kingdom
Keywords	residuated lattice ; ordered residuated monoid ; nucleus ; conucleus,Abelian lattice-ordered group ; free commutative monoid
Subject RIV	BA - General Mathematics
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
UT WOS	000295183000002
EID SCOPUS	80053261693
DOI	10.1093/logcom/exp059
Annotation	Among the class of finite integral commutative residuated chains (ICRCs), we identify those algebras which can be obtained as a nuclear retraction of a conuclear contraction of a totally ordered Abelian ℓ-group. We call the ICRCs satisfying this condition regular. Then we discuss the structure of finite regular ICRCs. Finally, we prove that the class of regular members generate a strictly smaller variety than the variety generated by ICRCs.
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2012

Number of the records: 1