| SYS | | 0192866 |
|---|
| LBL | | 02064^^^^^2200301^^^450 |
|---|
| 005 | | 20240121191323.5 |
|---|
| 014 | | $a 000327069300009 $2 WOS CC. SCIE |
|---|
| 014 | | $a 2-s2.0-84890252599 $2 SCOPUS |
|---|
| 017 | 70 | $a 10.1007/s10485-012-9287-2 $2 DOI |
|---|
| 100 | | $a 20140115d2013 m y slo 03 ba |
|---|
| 101 | 0- | $a eng |
|---|
| 102 | | $a NL |
|---|
| 200 | 1- | $a A fresh perspective on canonical extensions for bounded lattices $d Nová perspektíva ohľadne kanonických rozšírení ohraničených zväzov $f A. P. K. Craig, M. Haviar, H. A. Priestley $z slo |
|---|
| 330 | 0- | $a Kanonické rozšírenia algebier majú pôvod v klasických prácach B. Jónssona a A. Tarského (1951-52) o Booleových algebrách s operátormi. Z pohľadu logiky je význam kanonických rozšírení v tom, že pre mnohé logiky hrajú fundamentálnu úlohu vo vetách o úplnosti – kanonicita (znamenajúca, že algebraické identity sú zachované pri konštrukcii kanonických rozšírení) algebraických modelov logík korešponduje s úplnosťou logík. Prezentovaná je nová konštrukcia kanonických rozšírení ohraničených zväzov, ktorá je v duchu teórie prirodzených dualít. Na úrovni objektov je kanonické rozšírenie zväzu získané podobne ako v distributívnom prípade, kde sa používa Priestleyovej reprezentácia (1970). V nedistributívnom prípade je využitá topologická reprezentácia zväzov od Miroslava Ploščicu (1995), ktorá je prezentáciou klasickej Urquhartovej reprezentácie zväzov (1978) v duchu prirodzených dualít. Na úrovni morfizmov je využitá dualita Allweina a Hartonasa (1993) |
|---|
| 463 | -1 | $1 001 umb_un_cat*0293670 $1 011 $a 0927-2852 $1 011 $a 1572-9095 $1 200 1 $a Applied Categorical Structures $v Vol. 21, no. 6 (2013), pp. 725-749 $1 210 $a Dordrecht $c Springer $d 2013 |
|---|
| 606 | 0- | $3 umb_un_auth*0121507 $a kanonické rozšírenia |
|---|
| 606 | 0- | $3 umb_un_auth*0087894 $a prirodzená dualita |
|---|
| 606 | 0- | $3 umb_un_auth*0226866 $a topologická reprezentácia |
|---|
| 606 | 0- | $3 umb_un_auth*0131625 $a canonical extension |
|---|
| 606 | 0- | $3 umb_un_auth*0125164 $a natural duality |
|---|
| 606 | 0- | $3 umb_un_auth*0226867 $a topological representation |
|---|
| 675 | | $a 544.022 |
|---|
| 700 | -1 | $3 umb_un_auth*0226852 $a Craig $b Andrew, P. K. $4 070 $9 34 |
|---|
| 701 | -0 | $3 umb_un_auth*0002686 $a Haviar $b Miroslav $p UMBFP10 $4 070 $f 1965- $9 33 $T Katedra matematiky |
|---|
| 701 | -0 | $3 umb_un_auth*0022288 $a Priestley $b Hilary A. $4 070 $9 33 |
|---|
| 801 | | $a SK $b BB301 $g AACR2 $9 unimarc sk |
|---|
| T85 | | $x existuji fulltexy |
|---|
