Attributes | Values |
---|
rdf:type
| |
rdfs:seeAlso
| |
Description
| - Distributive lattices with antitone involutions (distributive basic algebras) are studied. It is proved that in the finite case their underlying lattices are isomorphic to direct products of finite chains, and moreover, under certain natural conditions, they even coincide with finite MV-algebras. Sharp elements in basic algebras satisfying these natural conditions are studied, too.
- Distributive lattices with antitone involutions (distributive basic algebras) are studied. It is proved that in the finite case their underlying lattices are isomorphic to direct products of finite chains, and moreover, under certain natural conditions, they even coincide with finite MV-algebras. Sharp elements in basic algebras satisfying these natural conditions are studied, too. (en)
|
Title
| - On (finite) distributive lattices with antitone involutions
- On (finite) distributive lattices with antitone involutions (en)
|
skos:prefLabel
| - On (finite) distributive lattices with antitone involutions
- On (finite) distributive lattices with antitone involutions (en)
|
skos:notation
| - RIV/61989592:15310/14:33151212!RIV15-MSM-15310___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(7AMB13AT005), P(EE2.3.20.0051), P(GPP201/11/P346), S
|
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/61989592:15310/14:33151212
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - MV-algebra; antitone involution; distributive lattice (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...odStatuVydavatele
| - DE - Spolková republika Německo
|
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/nazevZdroje
| - Soft Computing: a fusion of foundations, methodologies and applications
|
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
| |
issn
| |
number of pages
| |
http://bibframe.org/vocab/doi
| - 10.1007/s00500-013-1205-5
|
http://localhost/t...ganizacniJednotka
| |