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
Cornejo, Juan M.; Sankappanavar, Hanamantagouda P. Semidistributivity and whitman property in implication zroupoids. (English) Zbl 1491.06037 Math. Slovaca 71, No. 6, 1329-1338 (2021). MSC: 06D75 03G25 06D30 08B05 08B15 PDFBibTeX XMLCite \textit{J. M. Cornejo} and \textit{H. P. Sankappanavar}, Math. Slovaca 71, No. 6, 1329--1338 (2021; Zbl 1491.06037) Full Text: DOI arXiv
Jipsen, Peter; Tuyt, Olim; Valota, Diego The structure of finite commutative idempotent involutive residuated lattices. (English) Zbl 07416347 Algebra Univers. 82, No. 4, Paper No. 57, 23 p. (2021). MSC: 06F05 06F15 03G10 06B15 06E75 PDFBibTeX XMLCite \textit{P. Jipsen} et al., Algebra Univers. 82, No. 4, Paper No. 57, 23 p. (2021; Zbl 07416347) Full Text: DOI arXiv
Galatos, Nikolaos; Jipsen, Peter Weakening relation algebras and \(\mathrm{FL}^2\)-algebras. (English) Zbl 07578338 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 117-133 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{N. Galatos} and \textit{P. Jipsen}, Lect. Notes Comput. Sci. 12062, 117--133 (2020; Zbl 07578338) Full Text: DOI
Alpay, Natanael; Jipsen, Peter Commutative doubly-idempotent semirings determined by chains and by preorder forests. (English) Zbl 07578331 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 1-14 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{N. Alpay} and \textit{P. Jipsen}, Lect. Notes Comput. Sci. 12062, 1--14 (2020; Zbl 07578331) Full Text: DOI Link
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
Gil-Férez, José; Jipsen, Peter; Metcalfe, George Structure theorems for idempotent residuated lattices. (English) Zbl 1481.06033 Algebra Univers. 81, No. 2, Paper No. 28, 25 p. (2020). MSC: 06F05 03G10 03B47 PDFBibTeX XMLCite \textit{J. Gil-Férez} et al., Algebra Univers. 81, No. 2, Paper No. 28, 25 p. (2020; Zbl 1481.06033) Full Text: DOI arXiv
Cvetko-Vah, Karin; Verwimp, Charlotte Skew lattices and set-theoretic solutions of the Yang-Baxter equation. (English) Zbl 1461.16039 J. Algebra 542, 65-92 (2020). Reviewer: Leandro Vendramin (Buenos Aires) MSC: 16T25 03G10 06B75 PDFBibTeX XMLCite \textit{K. Cvetko-Vah} and \textit{C. Verwimp}, J. Algebra 542, 65--92 (2020; Zbl 1461.16039) Full Text: DOI arXiv
Jipsen, Peter; Kinyon, Michael Nonassociative right hoops. (English) Zbl 07123189 Algebra Univers. 80, No. 4, Paper No. 47, 14 p. (2019). MSC: 06F05 08B15 20N05 PDFBibTeX XMLCite \textit{P. Jipsen} and \textit{M. Kinyon}, Algebra Univers. 80, No. 4, Paper No. 47, 14 p. (2019; Zbl 07123189) Full Text: DOI arXiv
Cornejo, Juan M.; Sankappanavar, Hanamantagouda P. Symmetric implication zroupoids and weak associative laws. (English) Zbl 1418.06011 Soft Comput. 23, No. 16, 6797-6812 (2019). MSC: 06D75 03G25 06D30 08B05 08B15 PDFBibTeX XMLCite \textit{J. M. Cornejo} and \textit{H. P. Sankappanavar}, Soft Comput. 23, No. 16, 6797--6812 (2019; Zbl 1418.06011) Full Text: DOI arXiv Link
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
Cornejo, Juan M.; Sankappanavar, Hanamantagouda P. Symmetric implication zroupoids and identities of Bol-Moufang type. (English) Zbl 1398.06018 Soft Comput. 22, No. 13, 4319-4333 (2018). MSC: 06D75 03G25 06D30 08B05 08B15 PDFBibTeX XMLCite \textit{J. M. Cornejo} and \textit{H. P. Sankappanavar}, Soft Comput. 22, No. 13, 4319--4333 (2018; Zbl 1398.06018) Full Text: DOI arXiv
Cornejo, Juan M.; Sankappanavar, Hanamantagouda P. On derived algebras and subvarieties of implication zroupoids. (English) Zbl 1381.06004 Soft Comput. 21, No. 23, 6963-6982 (2017). MSC: 06D75 06D30 03G25 08B05 08B15 PDFBibTeX XMLCite \textit{J. M. Cornejo} and \textit{H. P. Sankappanavar}, Soft Comput. 21, No. 23, 6963--6982 (2017; Zbl 1381.06004) Full Text: DOI
Harding, John; Romanowska, Anna B. Varieties of Birkhoff systems. I. (English) Zbl 1362.08002 Order 34, No. 1, 45-68 (2017). Reviewer: Ivan Chajda (Přerov) MSC: 08B15 06A12 06B20 PDFBibTeX XMLCite \textit{J. Harding} and \textit{A. B. Romanowska}, Order 34, No. 1, 45--68 (2017; Zbl 1362.08002) Full Text: DOI
Cornejo, Juan M.; Sankappanavar, Hanamantagouda P. On implicator groupoids. (English) Zbl 1421.06002 Algebra Univers. 77, No. 2, 125-146 (2017). MSC: 06D30 08B15 08B05 20N02 03G25 PDFBibTeX XMLCite \textit{J. M. Cornejo} and \textit{H. P. Sankappanavar}, Algebra Univers. 77, No. 2, 125--146 (2017; Zbl 1421.06002) Full Text: DOI arXiv
Cornejo, Juan M.; Sankappanavar, Hanamantagouda P. Semisimple varieties of implication zroupoids. (English) Zbl 1373.06015 Soft Comput. 20, No. 8, 3139-3151 (2016). MSC: 06D75 03G25 06D30 08B05 08B15 PDFBibTeX XMLCite \textit{J. M. Cornejo} and \textit{H. P. Sankappanavar}, Soft Comput. 20, No. 8, 3139--3151 (2016; Zbl 1373.06015) Full Text: DOI arXiv Link
Torrens, Antoni Semisimples in varieties of commutative integral bounded residuated lattices. (English) Zbl 1417.06005 Stud. Log. 104, No. 5, 849-867 (2016). MSC: 06B20 03G25 06F05 06F35 08B05 PDFBibTeX XMLCite \textit{A. Torrens}, Stud. Log. 104, No. 5, 849--867 (2016; Zbl 1417.06005) Full Text: DOI
Sankappanavar, Hanamantagouda P. A note on regular De Morgan semi-Heyting algebras. (English) Zbl 1353.06002 Demonstr. Math. 49, No. 3, 252-265 (2016). MSC: 06D20 06D30 03G25 06D50 06D15 08B15 08B26 PDFBibTeX XMLCite \textit{H. P. Sankappanavar}, Demonstr. Math. 49, No. 3, 252--265 (2016; Zbl 1353.06002) Full Text: DOI arXiv
Santocanale, Luigi Relational lattices via duality. (English) Zbl 1477.06015 Hasuo, Ichiro (ed.), Coalgebraic methods in computer science. 13th IFIP WG 1.3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9608, 195-215 (2016). MSC: 06B15 06B23 08A70 68P15 PDFBibTeX XMLCite \textit{L. Santocanale}, Lect. Notes Comput. Sci. 9608, 195--215 (2016; Zbl 1477.06015) Full Text: DOI arXiv
Cornejo, Juan M.; Sankappanavar, Hanamantagouda P. Order in implication zroupoids. (English) Zbl 1392.06011 Stud. Log. 104, No. 3, 417-453 (2016). MSC: 06D75 03G25 06D30 08B05 08B15 PDFBibTeX XMLCite \textit{J. M. Cornejo} and \textit{H. P. Sankappanavar}, Stud. Log. 104, No. 3, 417--453 (2016; Zbl 1392.06011) Full Text: DOI arXiv Link
Santocanale, Luigi; Wehrung, Friedrich The extended permutohedron on a transitive binary relation. (English) Zbl 1341.06007 Eur. J. Comb. 42, 179-206 (2014). MSC: 06B05 05A18 06A07 08A05 PDFBibTeX XMLCite \textit{L. Santocanale} and \textit{F. Wehrung}, Eur. J. Comb. 42, 179--206 (2014; Zbl 1341.06007) Full Text: DOI arXiv
Cvetko-Vah, Karin; Leech, Jonathan; Spinks, Matthew Skew lattices and binary operations on functions. (English) Zbl 1284.03279 J. Appl. Log. 11, No. 3, 253-265 (2013). MSC: 03G25 06B75 06E75 08A70 PDFBibTeX XMLCite \textit{K. Cvetko-Vah} et al., J. Appl. Log. 11, No. 3, 253--265 (2013; Zbl 1284.03279) Full Text: DOI
Santocanale, Luigi; Wehrung, Friedrich Sublattices of associahedra and permutohedra. (English) Zbl 1288.06011 Adv. Appl. Math. 51, No. 3, 419-445 (2013). MSC: 06B20 06B10 20F55 PDFBibTeX XMLCite \textit{L. Santocanale} and \textit{F. Wehrung}, Adv. Appl. Math. 51, No. 3, 419--445 (2013; Zbl 1288.06011) Full Text: DOI arXiv
Coté, B.; Harvill, B.; Huhn, M.; Kirchman, A. Classification of loops of generalized Bol-Moufang type. (English) Zbl 1261.20077 Quasigroups Relat. Syst. 19, No. 2, 193-206 (2011). Reviewer: A. M. Shelekhov (Moskva) MSC: 20N05 08B15 PDFBibTeX XMLCite \textit{B. Coté} et al., Quasigroups Relat. Syst. 19, No. 2, 193--206 (2011; Zbl 1261.20077)
Araújo, J.; Kinyon, M. Independent axiom systems for nearlattices. (English) Zbl 1249.06003 Czech. Math. J. 61, No. 4, 975-992 (2011). Reviewer: Ivan Chajda (Přerov) MSC: 06A12 06B75 68T15 PDFBibTeX XMLCite \textit{J. Araújo} and \textit{M. Kinyon}, Czech. Math. J. 61, No. 4, 975--992 (2011; Zbl 1249.06003) Full Text: DOI arXiv EuDML
Cvetko-Vah, Karin On strongly symmetric skew lattices. (English) Zbl 1231.06014 Algebra Univers. 66, No. 1-2, 99-113 (2011). MSC: 06B75 06B20 PDFBibTeX XMLCite \textit{K. Cvetko-Vah}, Algebra Univers. 66, No. 1--2, 99--113 (2011; Zbl 1231.06014) Full Text: DOI arXiv
Cvetko-Vah, Karin; Kinyon, Michael; Leech, Jonathan; Spinks, Matthew Cancellation in skew lattices. (English) Zbl 1230.06004 Order 28, No. 1, 9-32 (2011). Reviewer: T. Katriňák (Bratislava) MSC: 06B75 06B20 PDFBibTeX XMLCite \textit{K. Cvetko-Vah} et al., Order 28, No. 1, 9--32 (2011; Zbl 1230.06004) 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)
Phillips, J. D.; Vojtěchovský, Petr Linear groupoids and the associated wreath products. (English) Zbl 1125.20052 J. Symb. Comput. 40, No. 3, 1106-1125 (2005). MSC: 20N02 08B15 20N05 68W30 68T15 PDFBibTeX XMLCite \textit{J. D. Phillips} and \textit{P. Vojtěchovský}, J. Symb. Comput. 40, No. 3, 1106--1125 (2005; Zbl 1125.20052) Full Text: DOI arXiv
Phillips, J. D.; Vojtěchovský, Petr The varieties of quasigroups of Bol-Moufang type: an equational reasoning approach. (English) Zbl 1101.20046 J. Algebra 293, No. 1, 17-33 (2005). MSC: 20N05 08B15 68T15 PDFBibTeX XMLCite \textit{J. D. Phillips} and \textit{P. Vojtěchovský}, J. Algebra 293, No. 1, 17--33 (2005; Zbl 1101.20046) Full Text: DOI arXiv
McCune, W.; Padmanabhan, R.; Rose, M. A.; Veroff, R. Automated discovery of single axioms for ortholattices. (English) Zbl 1084.06007 Algebra Univers. 52, No. 4, 541-549 (2004). MSC: 06C15 68T15 PDFBibTeX XMLCite \textit{W. McCune} et al., Algebra Univers. 52, No. 4, 541--549 (2004; Zbl 1084.06007) Full Text: DOI
McCune, William Automatic proofs and counterexamples for some ortholattice identities. (English) Zbl 1338.03114 Inf. Process. Lett. 65, No. 6, 285-291 (1998). MSC: 03G12 06C15 68T15 PDFBibTeX XMLCite \textit{W. McCune}, Inf. Process. Lett. 65, No. 6, 285--291 (1998; Zbl 1338.03114) Full Text: DOI Link
McCune, W.; Padmanabhan, R. Single identities for lattice theory and for weakly associative lattices. (English) Zbl 0901.06006 Algebra Univers. 36, No. 4, 436-449 (1996). MSC: 06B20 08B05 06-04 68T15 PDFBibTeX XMLCite \textit{W. McCune} and \textit{R. Padmanabhan}, Algebra Univers. 36, No. 4, 436--449 (1996; Zbl 0901.06006) Full Text: DOI