"On (finite) distributive lattices with antitone involutions" . "P(7AMB13AT005), P(EE2.3.20.0051), P(GPP201/11/P346), S" . . . "RIV/61989592:15310/14:33151212!RIV15-MSM-15310___" . . . . "On (finite) distributive lattices with antitone involutions"@en . "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." . "10.1007/s00500-013-1205-5" . "000336270600001" . "1432-7643" . "[9A917A2DD5A9]" . "8"^^ . . "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 . "MV-algebra; antitone involution; distributive lattice"@en . . "RIV/61989592:15310/14:33151212" . "On (finite) distributive lattices with antitone involutions" . . "18" . "2"^^ . . . "Soft Computing: a fusion of foundations, methodologies and applications" . . "2"^^ . "34283" . . . "On (finite) distributive lattices with antitone involutions"@en . "DE - Spolkov\u00E1 republika N\u011Bmecko" . . "15310" . "http://link.springer.com/article/10.1007%2Fs00500-013-1205-5" . . . "6" . "K\u00FChr, Jan" . "Botur, Michal" . . . .