Greco, Giuseppe; Liang, Fei; Moshier, M. Andrew; Palmigiano, Alessandra Semi De Morgan logic properly displayed. (English) Zbl 07339949 Stud. Log. 109, No. 1, 1-45 (2021). MSC: 03-XX PDF BibTeX XML Cite \textit{G. Greco} et al., Stud. Log. 109, No. 1, 1--45 (2021; Zbl 07339949) Full Text: DOI arXiv OpenURL
Hansoul, Georges; Teheux, Bruno Extending maps to profinite completions in finitely generated quasivarieties. (English) Zbl 1485.08006 Beitr. Algebra Geom. 61, No. 4, 627-647 (2020). MSC: 08C20 08A35 08C15 PDF BibTeX XML Cite \textit{G. Hansoul} and \textit{B. Teheux}, Beitr. Algebra Geom. 61, No. 4, 627--647 (2020; Zbl 1485.08006) Full Text: DOI arXiv OpenURL
Kikot, Stanislav; Kurucz, Agi; Tanaka, Yoshihito; Wolter, Frank; Zakharyaschev, Michael Kripke completeness of strictly positive modal logics over meet-semilattices with operators. (English) Zbl 1444.03063 J. Symb. Log. 84, No. 2, 533-588 (2019). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 03G25 PDF BibTeX XML Cite \textit{S. Kikot} et al., J. Symb. Log. 84, No. 2, 533--588 (2019; Zbl 1444.03063) Full Text: DOI arXiv Link OpenURL
Celani, Sergio A.; Menchón, Ma. Paula Monotonic distributive semilattices. (English) Zbl 1468.03081 Order 36, No. 3, 463-486 (2019). MSC: 03G25 03B45 06D05 06A12 06D75 PDF BibTeX XML Cite \textit{S. A. Celani} and \textit{Ma. P. Menchón}, Order 36, No. 3, 463--486 (2019; Zbl 1468.03081) Full Text: DOI arXiv Link OpenURL
González, Luciano J.; Calomino, Ismael A completion for distributive nearlattices. (English) Zbl 1455.06004 Algebra Univers. 80, No. 4, Paper No. 48, 21 p. (2019). Reviewer: Ivan Chajda (Přerov) MSC: 06A12 06B23 03G10 06A15 06D05 PDF BibTeX XML Cite \textit{L. J. González} and \textit{I. Calomino}, Algebra Univers. 80, No. 4, Paper No. 48, 21 p. (2019; Zbl 1455.06004) Full Text: DOI OpenURL
Nation, J. B. Tribute to Bjarni Jónsson. (English) Zbl 1451.01028 Algebra Univers. 79, No. 3, Paper No. 57, 13 p. (2018). MSC: 01A70 PDF BibTeX XML Cite \textit{J. B. Nation}, Algebra Univers. 79, No. 3, Paper No. 57, 13 p. (2018; Zbl 1451.01028) Full Text: DOI OpenURL
Goldblatt, Robert Canonical extensions and ultraproducts of polarities. (English) Zbl 06963511 Algebra Univers. 79, No. 4, Paper No. 80, 28 p. (2018). MSC: 03G10 06B23 03C20 06A15 06D50 PDF BibTeX XML Cite \textit{R. Goldblatt}, Algebra Univers. 79, No. 4, Paper No. 80, 28 p. (2018; Zbl 06963511) Full Text: DOI arXiv OpenURL
González, Luciano J.; Jansana, Ramon A spectral-style duality for distributive posets. (English) Zbl 1412.06005 Order 35, No. 2, 321-347 (2018). Reviewer: Marcel Wild (Stellenbosch) MSC: 06A11 06A12 06A06 06D50 18B35 PDF BibTeX XML Cite \textit{L. J. González} and \textit{R. Jansana}, Order 35, No. 2, 321--347 (2018; Zbl 1412.06005) Full Text: DOI OpenURL
Morton, W.; van Alten, Clint J. Distributive and completely distributive lattice extensions of ordered sets. (English) Zbl 06902200 Int. J. Algebra Comput. 28, No. 3, 521-541 (2018). MSC: 06A11 06B23 06D10 PDF BibTeX XML Cite \textit{W. Morton} and \textit{C. J. van Alten}, Int. J. Algebra Comput. 28, No. 3, 521--541 (2018; Zbl 06902200) Full Text: DOI OpenURL
Morton, Wilmari Canonical extensions of posets. (English) Zbl 1302.06002 Algebra Univers. 72, No. 2, 167-200 (2014). MSC: 06A06 03G25 06A11 06A15 06B23 PDF BibTeX XML Cite \textit{W. Morton}, Algebra Univers. 72, No. 2, 167--200 (2014; Zbl 1302.06002) Full Text: DOI OpenURL
Hansoul, Georges; Teheux, Bruno Extending Łukasiewicz logics with a modality: algebraic approach to relational semantics. (English) Zbl 1272.03100 Stud. Log. 101, No. 3, 505-545 (2013). MSC: 03B45 03B50 06D35 PDF BibTeX XML Cite \textit{G. Hansoul} and \textit{B. Teheux}, Stud. Log. 101, No. 3, 505--545 (2013; Zbl 1272.03100) Full Text: DOI arXiv Link OpenURL
van Gool, Sam J. Duality and canonical extensions for stably compact spaces. (English) Zbl 1233.54021 Topology Appl. 159, No. 1, 341-359 (2012). Reviewer: Jorge Picado (Coimbra) MSC: 54H99 03G10 18A35 54D30 06B35 PDF BibTeX XML Cite \textit{S. J. van Gool}, Topology Appl. 159, No. 1, 341--359 (2012; Zbl 1233.54021) Full Text: DOI arXiv OpenURL
Gehrke, Mai; Jansana, Ramon; Palmigiano, Alessandra Canonical extensions for congruential logics with the deduction theorem. (English) Zbl 1238.03051 Ann. Pure Appl. Logic 161, No. 12, 1502-1519 (2010). Reviewer: Michiro Kondo (Inzai) MSC: 03G27 06B15 06B23 06D20 PDF BibTeX XML Cite \textit{M. Gehrke} et al., Ann. Pure Appl. Logic 161, No. 12, 1502--1519 (2010; Zbl 1238.03051) Full Text: DOI Link OpenURL
Bonsangue, M. M.; Kurz, A.; Rewitzky, I. M. Coalgebraic representations of distributive lattices with operators. (English) Zbl 1108.06005 Topology Appl. 154, No. 4, 778-791 (2007). MSC: 06D05 06D50 18C10 54F05 PDF BibTeX XML Cite \textit{M. M. Bonsangue} et al., Topology Appl. 154, No. 4, 778--791 (2007; Zbl 1108.06005) Full Text: DOI OpenURL
Gehrke, M.; Priestley, H. A. Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations. (English) Zbl 1110.06015 J. Pure Appl. Algebra 209, No. 1, 269-290 (2007). MSC: 06D50 06D35 PDF BibTeX XML Cite \textit{M. Gehrke} and \textit{H. A. Priestley}, J. Pure Appl. Algebra 209, No. 1, 269--290 (2007; Zbl 1110.06015) Full Text: DOI OpenURL
Bezhanishvili, Guram; Gehrke, Mai; Mines, Ray; Morandi, Patrick J. Profinite completions and canonical extensions of Heyting algebras. (English) Zbl 1112.06008 Order 23, No. 2-3, 143-161 (2006). Reviewer: T. S. Blyth (St. Andrews) MSC: 06D20 06D50 06B20 PDF BibTeX XML Cite \textit{G. Bezhanishvili} et al., Order 23, No. 2--3, 143--161 (2006; Zbl 1112.06008) Full Text: DOI OpenURL
Gehrke, Mai; Nagahashi, Hideo; Venema, Yde A Sahlqvist theorem for distributive modal logic. (English) Zbl 1077.03009 Ann. Pure Appl. Logic 131, No. 1-3, 65-102 (2005). Reviewer: Nick Bezhanishvili (Amsterdam) MSC: 03B45 06D05 PDF BibTeX XML Cite \textit{M. Gehrke} et al., Ann. Pure Appl. Logic 131, No. 1--3, 65--102 (2005; Zbl 1077.03009) Full Text: DOI Link OpenURL
Düntsch, Ivo; Orłowska, Ewa Boolean algebras arising from information systems. (English) Zbl 1063.06009 Ann. Pure Appl. Logic 127, No. 1-3, 77-98 (2004). Reviewer: Nicolae Ţăndăreanu (Craiova) MSC: 06E25 03G05 68T27 03B45 PDF BibTeX XML Cite \textit{I. Düntsch} and \textit{E. Orłowska}, Ann. Pure Appl. Logic 127, No. 1--3, 77--98 (2004; Zbl 1063.06009) Full Text: DOI OpenURL
Sofronie-Stokkermans, Viorica Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators. (English) Zbl 1043.03013 J. Symb. Comput. 36, No. 6, 891-924 (2003). MSC: 03B35 03B25 06D20 PDF BibTeX XML Cite \textit{V. Sofronie-Stokkermans}, J. Symb. Comput. 36, No. 6, 891--924 (2003; Zbl 1043.03013) Full Text: DOI OpenURL
Gehrke, Mai; Harding, John Bounded lattice expansions. (English) Zbl 0988.06003 J. Algebra 238, No. 1, 345-371 (2001). Reviewer: Václav Slavík (Praha) MSC: 06B05 06B23 PDF BibTeX XML Cite \textit{M. Gehrke} and \textit{J. Harding}, J. Algebra 238, No. 1, 345--371 (2001; Zbl 0988.06003) Full Text: DOI Link OpenURL