Výsledky vyhľadávania
Názov Reconciliation of approaches to the construction of canonical extensions of bounded lattices Súbež.n. Zladenie prístupov ku konštrukcii kanonického rozšírenia ohraničeného zväzu Aut.údaje Andrew Craig, Miroslav Haviar Autor Craig Andrew, P. K. (50%)
Spoluautori Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
Zdroj.dok. Mathematica Slovaca. Vol. 64, no. 3 (2014), pp. 1335-1356. - Bratislava : Slovenská akadémia vied, Matematický ústav SAV, 2014 Kľúč.slová kanonické rozšírenia topologická reprezentácia Galoisova väzba canonical extension natural duality Galois connection Jazyk dok. angličtina Krajina Slovenská republika Systematika 51 Kategória publikačnej činnosti ADN Číslo archívnej kópie 31648 Kategória ohlasu DÜNTSCH, Ivo - KWUIDA, Léonard - OROWSKA, Ewa. A discrete representation for dicomplemented lattices. In Fundamenta informaticae. ISSN 0169-2968, 2017, vol. 156, no. 3-4, pp. 281-295.
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 
článok
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 
nerozpoznaný