Výsledky vyhľadávania
Názov Canonical extensions of lattices are more than perfect Aut.údaje Andrew P. K. Craig, Maria J. Gouveia, Miroslav Haviar Autor Craig Andrew, P. K. (34%)
Spoluautori Gouveia Maria Joao (33%)
Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Zdroj.dok. Algebra Universalis. Vol. 83, no. 2 (2022), pp. [1-17]. - Basel : Springer Nature Switzerland AG, 2022 Kľúč.slová kanonické rozšírenia matematika - mathematics Form.deskr. články - journal articles Jazyk dok. angličtina Krajina Švajčiarsko Anotácia In a paper published in 2015, we introduced TiRS graphs and TiRS frames to create a new natural setting for duals of canonical exten sions of lattices. Here, we firstly introduce morphisms of TiRS structures and put our correspondence between TiRS graphs and TiRS frames into a full categorical framework. We then answer Problem 2 from our 2015 paper by characterising the perfect lattices that are dual to TiRS frames (and hence TiRS graphs). We introduce a new subclass of perfect lattices called PTi lattices and show that the canonical extensions of lattices are PTi lattices, and so are ‘more’ than just perfect lattices. We illustrate the correspondences between classes of our newly-described PTi lattices and classes of TiRS graphs by examples. We conclude by outlining a direction for future research. URL Link na plný text Kategória publikačnej činnosti ADC Číslo archívnej kópie 51538 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 TiRS graphs and TiRS frames: a new setting for duals of canonical extensions Aut.údaje Andrew P. K. Craig, Maria Joao Gouveia, Miroslav Haviar Autor Craig Andrew, P. K. (34%)
Spoluautori Gouveia Maria Joao (33%)
Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Zdroj.dok. Algebra Universalis. Vol. 74, no. 1-2 (2015), pp. 123-138. - Cham : Springer Nature Switzerland AG, 2015 Kľúč.slová grafy - charts - graphs matematika - mathematics Jazyk dok. angličtina Krajina Švajčiarsko Systematika 51 Kategória publikačnej činnosti ADC Číslo archívnej kópie 35254 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 článok
Názov Transferral of entailment in duality theory: dualisability Aut.údaje Maria Joao Gouveia, Miroslav Haviar Autor Gouveia Maria Joao (50%)
Spoluautori Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
Zdroj.dok. Czechoslovak mathematical journal. Vol. 61, no. 1 (2011), pp. 41-63. - Prague : Institute of mathematics, 2011 Kľúč.slová prirodzená dualita entailment dualizovateľnosť retrakcia natural duality dualisability retraction endodualisability Jazyk dok. angličtina Krajina Nemecko Systematika 512 Kategória publikačnej činnosti ADE Číslo archívnej kópie 18310 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 Transferral of entailment in duality theory II: strong dualisability Aut.údaje Maria Joao Gouveia, Miroslav Haviar Autor Gouveia Maria Joao (50%)
Spoluautori Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
Zdroj.dok. Czechoslovak mathematical journal. Vol. 61, no. 2 (2011), s. 401-417. - Prague : Institute of mathematics, 2011 Kľúč.slová prirodzená dualita entailment dualizovateľnosť retrakcia natural duality dualisability retraction endodualisability Jazyk dok. angličtina Krajina Nemecko Systematika 512 Kategória publikačnej činnosti ADE Číslo archívnej kópie 19015 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