Počet záznamov: 1
A fresh perspective on canonical extensions for bounded lattices
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
Počet záznamov: 1