Attributes | Values |
---|
rdf:type
| |
Description
| - IIMTL-algebras were introduced as an algebraic counterpart of the cancellative extension of monoidal t-norm based logic. It was shown that they form a variety generated by IIMTL-chains on the real interval [0, 1]. In this paper the structure of these generators is investigated. The results illuminate the structure of cancellative integral commutative residuated. chains, because every such algebra belongs to the quasivariety generated by the zero-free subreducts on (0, 1] of all IIMTL-chains on [0, 1].
- IIMTL-algebras were introduced as an algebraic counterpart of the cancellative extension of monoidal t-norm based logic. It was shown that they form a variety generated by IIMTL-chains on the real interval [0, 1]. In this paper the structure of these generators is investigated. The results illuminate the structure of cancellative integral commutative residuated. chains, because every such algebra belongs to the quasivariety generated by the zero-free subreducts on (0, 1] of all IIMTL-chains on [0, 1]. (en)
|
Title
| - Structure of Commutative Cancellative Integral Residuated Lattices on (0,1]
- Structure of Commutative Cancellative Integral Residuated Lattices on (0,1] (en)
|
skos:prefLabel
| - Structure of Commutative Cancellative Integral Residuated Lattices on (0,1]
- Structure of Commutative Cancellative Integral Residuated Lattices on (0,1] (en)
|
skos:notation
| - RIV/68407700:21230/07:00134818!RIV10-MSM-21230___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(IAA100300503), V, Z(AV0Z10300504)
|
http://linked.open...iv/cisloPeriodika
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/68407700:21230/07:00134818
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - residuated. lattice; cancellative residuated lattice; MTL-algebra; IIMTL-algebra; Hahn's embedding theorem (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...odStatuVydavatele
| - CH - Švýcarská konfederace
|
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/nazevZdroje
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...v/svazekPeriodika
| |
http://linked.open...iv/tvurceVysledku
| |
http://linked.open...ain/vavai/riv/wos
| |
http://linked.open...n/vavai/riv/zamer
| |
issn
| |
number of pages
| |
http://localhost/t...ganizacniJednotka
| |