Search results
Title Canonical extensions of lattices are more than perfect Author info Andrew P. K. Craig, Maria J. Gouveia, Miroslav Haviar Author Craig Andrew, P. K. (34%)
Co-authors Gouveia Maria Joao (33%)
Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Source document Algebra Universalis. Vol. 83, no. 2 (2022), pp. [1-17]. - Basel : Springer Nature Switzerland AG, 2022 Keywords kanonické rozšírenia matematika - mathematics Form. Descr. články - journal articles Language English Country Switzerland Annotation 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 Public work category ADC No. of Archival Copy 51538 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika 
article
Title TiRS graphs and TiRS frames: a new setting for duals of canonical extensions Author info Andrew P. K. Craig, Maria Joao Gouveia, Miroslav Haviar Author Craig Andrew, P. K. (34%)
Co-authors Gouveia Maria Joao (33%)
Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Source document Algebra Universalis. Vol. 74, no. 1-2 (2015), pp. 123-138. - Cham : Springer Nature Switzerland AG, 2015 Keywords grafy - charts - graphs matematika - mathematics Language English Country Switzerland systematics 51 Public work category ADC No. of Archival Copy 35254 Repercussion category 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.
Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika article
Title Transferral of entailment in duality theory: dualisability Author info Maria Joao Gouveia, Miroslav Haviar Author Gouveia Maria Joao (50%)
Co-authors Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
Source document Czechoslovak mathematical journal. Vol. 61, no. 1 (2011), pp. 41-63. - Prague : Institute of mathematics, 2011 Keywords prirodzená dualita entailment dualizovateľnosť retrakcia natural duality dualisability retraction endodualisability Language English Country Germany systematics 512 Public work category ADE No. of Archival Copy 18310 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika article
Title Transferral of entailment in duality theory II: strong dualisability Author info Maria Joao Gouveia, Miroslav Haviar Author Gouveia Maria Joao (50%)
Co-authors Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
Source document Czechoslovak mathematical journal. Vol. 61, no. 2 (2011), s. 401-417. - Prague : Institute of mathematics, 2011 Keywords prirodzená dualita entailment dualizovateľnosť retrakcia natural duality dualisability retraction endodualisability Language English Country Germany systematics 512 Public work category ADE No. of Archival Copy 19015 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika article