Vytlačiť
1. A fresh perspective on canonical extensions for bounded lattices
| Názov | A fresh perspective on canonical extensions for bounded lattices |
|---|---|
| Súbež.n. | Nová perspektíva ohľadne kanonických rozšírení ohraničených zväzov |
| Aut.údaje | A. P. K. Craig, M. Haviar, H. A. Priestley |
| Autor | Craig Andrew, P. K. (34%) |
| Spoluautori | Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky Priestley Hilary A. (33%) |
| Zdroj.dok. | Applied Categorical Structures. Vol. 21, no. 6 (2013), pp. 725-749. - Dordrecht : Springer, 2013 |
| Kľúč.slová | kanonické rozšírenia prirodzená dualita topologická reprezentácia canonical extension natural duality topological representation |
| Jazyk dok. | angličtina |
| Krajina | Holandsko |
| Systematika | 544.022 |
| Anotácia | 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) |
| Kategória publikačnej činnosti | ADM |
| Číslo archívnej kópie | 27747 |
| Kategória ohlasu | HARTONAS, Chrysafis. Order-dual relational semantics for non-distributive propositional logics : a general framework. In Journal of philosophical logic. ISSN 0022-3611, 2018, vol. 47, no. 1, pp. 67-94. HARTONAS, Chrysafis. Order-dual relational semantics for non-distributive propositional logics. In Logic journal of the IGPL. ISSN 1367-0751, 2017, vol. 25, no. 2, pp. 145-182. |
| Katal.org. | BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici |
| Báza dát | xpca - PUBLIKAČNÁ ČINNOSŤ |
| Odkazy | PERIODIKÁ-Súborný záznam periodika |