Archimedean Classes in Integral Commutative Residuated Chains

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F09%3A00159057" target="_blank" >RIV/68407700:21230/09:00159057 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Archimedean Classes in Integral Commutative Residuated Chains

Popis výsledku v původním jazyce

This paper investigates a quasi-variety of representable integral commutative residuated lattices axiomatized by the quasi-identity resulting from the well-known Wajsberg identity (p q) q (q p) p if it is written as a quasi-identity, i. e., (p q) q 1 (qp) p 1. We prove that this quasi-identity is strictly weaker than the corresponding identity. On the other hand, we show that the resulting quasi-variety is in fact a variety and provide an axiomatization. The obtained results shed some light on the structure of Archimedean integral commutative residuated chains. Further, they can be applied to various subvarieties of MTL-algebras, for instance we answer negatively Hájek's question asking whether the variety of MTL-algebras is generated by its Archimedean members

Název v anglickém jazyce

Archimedean Classes in Integral Commutative Residuated Chains

Popis výsledku anglicky

This paper investigates a quasi-variety of representable integral commutative residuated lattices axiomatized by the quasi-identity resulting from the well-known Wajsberg identity (p q) q (q p) p if it is written as a quasi-identity, i. e., (p q) q 1 (qp) p 1. We prove that this quasi-identity is strictly weaker than the corresponding identity. On the other hand, we show that the resulting quasi-variety is in fact a variety and provide an axiomatization. The obtained results shed some light on the structure of Archimedean integral commutative residuated chains. Further, they can be applied to various subvarieties of MTL-algebras, for instance we answer negatively Hájek's question asking whether the variety of MTL-algebras is generated by its Archimedean members

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

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

Mathematical Logic Quarterly

ISSN

0942-5616

e-ISSN

—

Svazek periodika

55

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

17

Strana od-do

—

Kód UT WoS článku

000267096600010

EID výsledku v databázi Scopus

—