Sawicki, Damian; Grabowski, Adam On weakly associative lattices and near lattices. (English) Zbl 1483.68493 Formaliz. Math. 29, No. 2, 77-85 (2021). MSC: 68V20 06B05 06B75 68V15 PDFBibTeX XMLCite \textit{D. Sawicki} and \textit{A. Grabowski}, Formaliz. Math. 29, No. 2, 77--85 (2021; Zbl 1483.68493) Full Text: DOI
Kulesza, Dominik; Grabowski, Adam Formalization of quasilattices. (English) Zbl 1496.68375 Formaliz. Math. 28, No. 2, 217-225 (2020). MSC: 68V20 06B05 06B75 PDFBibTeX XMLCite \textit{D. Kulesza} and \textit{A. Grabowski}, Formaliz. Math. 28, No. 2, 217--225 (2020; Zbl 1496.68375) Full Text: DOI
Grabowski, Adam; Sawicki, Damian On two alternative axiomatizations of lattices by McKenzie and Sholander. (English) Zbl 1422.06002 Formaliz. Math. 26, No. 2, 193-198 (2018). MSC: 06B05 06D05 03B35 PDFBibTeX XMLCite \textit{A. Grabowski} and \textit{D. Sawicki}, Formaliz. Math. 26, No. 2, 193--198 (2018; Zbl 1422.06002) Full Text: DOI
Glück, Roland Algebraic investigation of connected components. (English) Zbl 1486.68100 Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10226, 109-126 (2017). MSC: 68Q55 05C40 06D30 06E05 PDFBibTeX XMLCite \textit{R. Glück}, Lect. Notes Comput. Sci. 10226, 109--126 (2017; Zbl 1486.68100) Full Text: DOI
Padmanabhan, R.; McCune, W.; Veroff, R. Lattice laws forcing distributivity under unique complementation. (English) Zbl 1118.06004 Houston J. Math. 33, No. 2, 391-401 (2007). MSC: 06C15 06B20 06E05 68T15 PDFBibTeX XMLCite \textit{R. Padmanabhan} et al., Houston J. Math. 33, No. 2, 391--401 (2007; Zbl 1118.06004)