Zwart, Maaike; Marsden, Dan No-go theorems for distributive laws. (English) Zbl 07471702 Log. Methods Comput. Sci. 18, No. 1, Paper No. 13, 61 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{M. Zwart} and \textit{D. Marsden}, Log. Methods Comput. Sci. 18, No. 1, Paper No. 13, 61 p. (2022; Zbl 07471702) Full Text: arXiv Link OpenURL
Vorob’ev, N. T.; Lantsetova, E. D. On the distributivity and modularity properties of the lattice of Fitting classes. (English. Russian original) Zbl 07455544 Math. Notes 110, No. 5, 655-665 (2021); translation from Mat. Zametki 110, No. 5, 658-671 (2021). MSC: 20Dxx 20Fxx 20Exx PDF BibTeX XML Cite \textit{N. T. Vorob'ev} and \textit{E. D. Lantsetova}, Math. Notes 110, No. 5, 655--665 (2021; Zbl 07455544); translation from Mat. Zametki 110, No. 5, 658--671 (2021) Full Text: DOI OpenURL
Raynor, Sophie Graphical combinatorics and a distributive law for modular operads. (English) Zbl 1477.18043 Adv. Math. 392, Article ID 108011, 87 p. (2021). Reviewer: Ittay Weiss (Portsmouth) MSC: 18M85 18C15 55U99 PDF BibTeX XML Cite \textit{S. Raynor}, Adv. Math. 392, Article ID 108011, 87 p. (2021; Zbl 1477.18043) Full Text: DOI arXiv OpenURL
Bonchi, Filippo; Santamaria, Alessio Combining semilattices and semimodules. (English) Zbl 07410421 Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 102-123 (2021). MSC: 68Nxx 68Qxx PDF BibTeX XML Cite \textit{F. Bonchi} and \textit{A. Santamaria}, Lect. Notes Comput. Sci. 12650, 102--123 (2021; Zbl 07410421) Full Text: DOI arXiv OpenURL
Gambino, Nicola; Lobbia, Gabriele On the formal theory of pseudomonads and pseudodistributive laws. (English) Zbl 1457.18023 Theory Appl. Categ. 37, 14-56 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N10 18C15 18C20 PDF BibTeX XML Cite \textit{N. Gambino} and \textit{G. Lobbia}, Theory Appl. Categ. 37, 14--56 (2021; Zbl 1457.18023) Full Text: arXiv Link OpenURL
Holdon, Liviu-Constantin The prime and maximal spectra and the reticulation of residuated lattices with applications to De Morgan residuated lattices. (English) Zbl 07435544 Open Math. 18, 1206-1226 (2020). MSC: 03G10 06B10 06D30 03G25 PDF BibTeX XML Cite \textit{L.-C. Holdon}, Open Math. 18, 1206--1226 (2020; Zbl 07435544) Full Text: DOI OpenURL
Tsampas, Stelios; Nuyts, Andreas; Devriese, Dominique; Piessens, Frank A categorical approach to secure compilation. (English) Zbl 07314153 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 155-179 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{S. Tsampas} et al., Lect. Notes Comput. Sci. 12094, 155--179 (2020; Zbl 07314153) Full Text: DOI arXiv OpenURL
Bremner, Murray; Dotsenko, Vladimir Distributive laws between the operads Lie and Com. (English) Zbl 1458.18010 Int. J. Algebra Comput. 30, No. 8, 1565-1576 (2020). Reviewer: Udhayakumar Ramalingam (Vellore) MSC: 18M60 13C10 13N15 13P10 15A54 15A69 16S37 17A30 17A50 17B60 17B63 68W30 PDF BibTeX XML Cite \textit{M. Bremner} and \textit{V. Dotsenko}, Int. J. Algebra Comput. 30, No. 8, 1565--1576 (2020; Zbl 1458.18010) Full Text: DOI arXiv OpenURL
Salamanca Téllez, Julián Lattices do not distribute over powerset. (English) Zbl 1467.18002 Algebra Univers. 81, No. 4, Paper No. 49, 11 p. (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18A23 06B25 06A12 18C15 68Q85 68Q65 PDF BibTeX XML Cite \textit{J. Salamanca Téllez}, Algebra Univers. 81, No. 4, Paper No. 49, 11 p. (2020; Zbl 1467.18002) Full Text: DOI OpenURL
Dobrinen, Natasha; Hathaway, Dan; Prikry, Karel Perfect tree forcings for singular cardinals. (English) Zbl 07240982 Ann. Pure Appl. Logic 171, No. 9, Article ID 102827, 24 p. (2020). MSC: 03E35 03E17 03E40 03E55 PDF BibTeX XML Cite \textit{N. Dobrinen} et al., Ann. Pure Appl. Logic 171, No. 9, Article ID 102827, 24 p. (2020; Zbl 07240982) Full Text: DOI arXiv OpenURL
Garner, Richard The Vietoris monad and weak distributive laws. (English) Zbl 1442.18010 Appl. Categ. Struct. 28, No. 2, 339-354 (2020). MSC: 18C15 PDF BibTeX XML Cite \textit{R. Garner}, Appl. Categ. Struct. 28, No. 2, 339--354 (2020; Zbl 1442.18010) Full Text: DOI arXiv OpenURL
Bremner, Murray; Markl, Martin Distributive laws between the Three Graces. (English) Zbl 1448.18029 Theory Appl. Categ. 34, 1317-1342 (2019). Reviewer: Donald Yau (Newark) MSC: 18M70 16S37 16-XX 17Bxx 17B63 PDF BibTeX XML Cite \textit{M. Bremner} and \textit{M. Markl}, Theory Appl. Categ. 34, 1317--1342 (2019; Zbl 1448.18029) Full Text: arXiv Link OpenURL
Walker, Charles Distributive laws via admissibility. (English) Zbl 1444.18004 Appl. Categ. Struct. 27, No. 6, 567-617 (2019). MSC: 18A35 18C15 18M05 PDF BibTeX XML Cite \textit{C. Walker}, Appl. Categ. Struct. 27, No. 6, 567--617 (2019; Zbl 1444.18004) Full Text: DOI arXiv OpenURL
Pacaud Lemay, Jean-Simon Lifting coalgebra modalities and MELL model structure to Eilenberg-Moore categories. (English) Zbl 1454.03083 Log. Methods Comput. Sci. 15, No. 4, Paper No. 8, 50 p. (2019). MSC: 03F52 03G30 18C20 18M05 PDF BibTeX XML Cite \textit{J.-S. Pacaud Lemay}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 8, 50 p. (2019; Zbl 1454.03083) Full Text: arXiv OpenURL
Kim, Sangjib; Protsak, Victor Hibi algebras and representation theory. (English) Zbl 1444.13010 Acta Math. Vietnam. 44, No. 1, 307-323 (2019). Reviewer: Matyas Domokos (Budapest) MSC: 13A50 13F50 20G05 05E10 PDF BibTeX XML Cite \textit{S. Kim} and \textit{V. Protsak}, Acta Math. Vietnam. 44, No. 1, 307--323 (2019; Zbl 1444.13010) Full Text: DOI arXiv OpenURL
Lemay, Jean-Simon Pacaud Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories. (English) Zbl 1469.03167 Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 21, 20 p. (2018). MSC: 03F52 03G30 18C20 PDF BibTeX XML Cite \textit{J.-S. P. Lemay}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 21, 20 p. (2018; Zbl 1469.03167) Full Text: DOI OpenURL
Qiao, Junsheng; Hu, Bao Qing The distributive laws of fuzzy implications over overlap and grouping functions. (English) Zbl 1440.68296 Inf. Sci. 438, 107-126 (2018). MSC: 68T37 03B52 03E72 PDF BibTeX XML Cite \textit{J. Qiao} and \textit{B. Q. Hu}, Inf. Sci. 438, 107--126 (2018; Zbl 1440.68296) Full Text: DOI OpenURL
Garner, Richard; Lack, Stephen; Slevin, Paul Hochschild homology, lax codescent, and duplicial structure. (English) Zbl 1387.18027 Ann. \(K\)-Theory 3, No. 1, 1-31 (2018). Reviewer: Gabriella Böhm (Budapest) MSC: 18G30 18C15 18D05 19D55 16T05 PDF BibTeX XML Cite \textit{R. Garner} et al., Ann. \(K\)-Theory 3, No. 1, 1--31 (2018; Zbl 1387.18027) Full Text: DOI arXiv OpenURL
Basold, Henning; Pous, Damien; Rot, Jurriaan Monoidal company for accessible functors. (English) Zbl 1436.18014 Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 5, 16 p. (2017). MSC: 18M05 68Q55 PDF BibTeX XML Cite \textit{H. Basold} et al., LIPIcs -- Leibniz Int. Proc. Inform. 72, Article 5, 16 p. (2017; Zbl 1436.18014) Full Text: DOI OpenURL
Chajda, Ivan A note on pseudo-Kleene algebras. (English) Zbl 1431.06003 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 55, No. 1, 39-45 (2016). MSC: 06D30 06B05 06D05 PDF BibTeX XML Cite \textit{I. Chajda}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 55, No. 1, 39--45 (2016; Zbl 1431.06003) Full Text: Link OpenURL
Gaboardi, Marco; Katsumata, Shin-ya; Orchard, Dominic; Breuvart, Flavien; Uustalu, Tarmo Combining effects and coeffects via grading. (English) Zbl 1361.68037 Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 476-489 (2016). MSC: 68N18 18C50 68N30 PDF BibTeX XML Cite \textit{M. Gaboardi} et al., in: Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP '16, Nara, Japan, September 18--22, 2016. New York, NY: Association for Computing Machinery (ACM). 476--489 (2016; Zbl 1361.68037) Full Text: DOI Link OpenURL
Shmatkov, Vadim D. Lattice flows in networks. (English. Russian original) Zbl 1416.94084 Probl. Inf. Transm. 52, No. 1, 24-38 (2016); translation from Probl. Peredachi Inf. 52, No. 1, 27-42 (2016). MSC: 94C30 05C21 05C82 06D05 08A02 92B20 PDF BibTeX XML Cite \textit{V. D. Shmatkov}, Probl. Inf. Transm. 52, No. 1, 24--38 (2016; Zbl 1416.94084); translation from Probl. Peredachi Inf. 52, No. 1, 27--42 (2016) Full Text: DOI OpenURL
Hathaway, Dan Weak distributivity implying distributivity. (English) Zbl 1387.03069 J. Symb. Log. 81, No. 2, 711-717 (2016). Reviewer: Martin Weese (Potsdam) MSC: 03G05 03E04 03E17 03E55 06E05 PDF BibTeX XML Cite \textit{D. Hathaway}, J. Symb. Log. 81, No. 2, 711--717 (2016; Zbl 1387.03069) Full Text: DOI arXiv OpenURL
Smetsers, Sjaak; Madlener, Ken; van Eekelen, Marko Formalizing bialgebraic semantics in PVS 6.0. (English) Zbl 1428.68179 Chiba, Yuki (ed.) et al., Second international workshop on rewriting techniques for program transformations and evaluation, WPTE’15, Warsaw, Poland, July 2, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 46, 47-61 (2015). MSC: 68Q55 68N30 68V20 PDF BibTeX XML Cite \textit{S. Smetsers} et al., OASIcs -- OpenAccess Ser. Inform. 46, 47--61 (2015; Zbl 1428.68179) Full Text: DOI OpenURL
Kowalzig, Niels; Krähmer, Ulrich; Slevin, Paul Cyclic homology arising from adjunctions. (English) Zbl 1344.18003 Theory Appl. Categ. 30, 1067-1095 (2015). Reviewer: José Manuel Casas Mirás (Pontevedra) MSC: 18C15 18D05 16T10 18G60 PDF BibTeX XML Cite \textit{N. Kowalzig} et al., Theory Appl. Categ. 30, 1067--1095 (2015; Zbl 1344.18003) Full Text: arXiv EMIS OpenURL
Buckley, Stephen M. Distributive algebras, isoclinism, and invariant probabilities. (English) Zbl 1328.08001 Dougherty, Steven (ed.) et al., Noncommutative rings and their applications. International conference on noncommutative rings and their applications, Université d’Artois, Lens, France, July 1–4, 2013. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1032-2/pbk; 978-1-4704-2264-6/ebook). Contemporary Mathematics 634, 31-52 (2015). MSC: 08A02 16P10 17A01 16U99 16R10 60C05 PDF BibTeX XML Cite \textit{S. M. Buckley}, Contemp. Math. 634, 31--52 (2015; Zbl 1328.08001) OpenURL
Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan Presenting distributive laws. (English) Zbl 1448.68324 Log. Methods Comput. Sci. 11, No. 3, Paper No. 2, 23 p. (2015). MSC: 68Q65 18C15 68Q45 68Q55 PDF BibTeX XML Cite \textit{M. M. Bonsangue} et al., Log. Methods Comput. Sci. 11, No. 3, Paper No. 2, 23 p. (2015; Zbl 1448.68324) Full Text: DOI OpenURL
Ahman, Danel; Uustalu, Tarmo Update monads: cointerpreting directed containers. (English) Zbl 1359.68049 Matthes, Ralph (ed.) et al., 19th international conference on types for proofs and programs, TYPES 2013, Toulouse, France, April 22–26, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-72-9). LIPIcs – Leibniz International Proceedings in Informatics 26, 1-23 (2014). MSC: 68N30 68Q65 PDF BibTeX XML Cite \textit{D. Ahman} and \textit{T. Uustalu}, LIPIcs -- Leibniz Int. Proc. Inform. 26, 1--23 (2014; Zbl 1359.68049) Full Text: DOI OpenURL
Ahman, Danel; Uustalu, Tarmo Coalgebraic update lenses. (English) Zbl 1337.68084 Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 25-48, electronic only (2014). MSC: 68P15 18C15 18C20 PDF BibTeX XML Cite \textit{D. Ahman} and \textit{T. Uustalu}, Electron. Notes Theor. Comput. Sci. 308, 25--48 (2014; Zbl 1337.68084) Full Text: DOI OpenURL
Fan, Donghong; Zeng, Yan; Zhang, Xiaopei \(t\)-norms on bounded poset. (Chinese. English summary) Zbl 1313.06001 J. Inn. Mong. Norm. Univ., Nat. Sci. 43, No. 3, 275-279, 284 (2014). MSC: 06A06 06D75 03B52 PDF BibTeX XML Cite \textit{D. Fan} et al., J. Inn. Mong. Norm. Univ., Nat. Sci. 43, No. 3, 275--279, 284 (2014; Zbl 1313.06001) OpenURL
Hinze, Ralf; Wu, Nicolas; Gibbons, Jeremy Unifying structured recursion schemes. (English) Zbl 1323.68123 Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 209-220 (2013). MSC: 68N18 68N30 68Q55 PDF BibTeX XML Cite \textit{R. Hinze} et al., in: Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP '13, Boston, MA, USA, September 25--27, 2013. New York, NY: Association for Computing Machinery (ACM). 209--220 (2013; Zbl 1323.68123) Full Text: DOI Link OpenURL
Wisbauer, Robert Regular pairings of functors and weak (co)monads. (English) Zbl 1364.18002 Algebra Discrete Math. 15, No. 1, 127-154 (2013). MSC: 18C20 16T15 18A40 18C15 PDF BibTeX XML Cite \textit{R. Wisbauer}, Algebra Discrete Math. 15, No. 1, 127--154 (2013; Zbl 1364.18002) Full Text: arXiv OpenURL
Barto, Libor Finitely related algebras in congruence distributive varieties have near unanimity terms. (English) Zbl 1283.08009 Can. J. Math. 65, No. 1, 3-21 (2013). Reviewer: Hernando Gaitán (Bogotá) MSC: 08B05 08A02 08B10 PDF BibTeX XML Cite \textit{L. Barto}, Can. J. Math. 65, No. 1, 3--21 (2013; Zbl 1283.08009) Full Text: DOI OpenURL
Böhm, Gabriella; Ştefan, Dragoş A categorical approach to cyclic duality. (English) Zbl 1346.16003 J. Noncommut. Geom. 6, No. 3, 481-538 (2012). Reviewer: Stefaan Caenepeel (Brussels) MSC: 16E40 18C15 18C20 18D05 18D10 18G30 18G60 16T15 16S40 PDF BibTeX XML Cite \textit{G. Böhm} and \textit{D. Ştefan}, J. Noncommut. Geom. 6, No. 3, 481--538 (2012; Zbl 1346.16003) Full Text: DOI arXiv OpenURL
Hinze, Ralf; James, Daniel W. H. Proving the unique fixed-point principle correct: an adventure with category theory. (English) Zbl 1323.68211 Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 359-371 (2011). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{R. Hinze} and \textit{D. W. H. James}, in: Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP '11, Tokyo, Japan, September 19--21, 2011. New York, NY: Association for Computing Machinery (ACM). 359--371 (2011; Zbl 1323.68211) Full Text: DOI OpenURL
Cîrstea, Corina Maximal traces and path-based coalgebraic temporal logics. (English) Zbl 1254.68147 Theor. Comput. Sci. 412, No. 38, 5025-5042 (2011). Reviewer: Lutz Schröder (Bremen) MSC: 68Q60 03B44 68Q85 PDF BibTeX XML Cite \textit{C. Cîrstea}, Theor. Comput. Sci. 412, No. 38, 5025--5042 (2011; Zbl 1254.68147) Full Text: DOI OpenURL
Došen, Kosta; Petrić, Zoran Coherence for modalities. (English) Zbl 1222.03025 J. Pure Appl. Algebra 215, No. 7, 1606-1628 (2011). MSC: 03B45 03F07 03G30 PDF BibTeX XML Cite \textit{K. Došen} and \textit{Z. Petrić}, J. Pure Appl. Algebra 215, No. 7, 1606--1628 (2011; Zbl 1222.03025) Full Text: DOI arXiv OpenURL
Wisbauer, Robert Lifting theorems for tensor functors on module categories. (English) Zbl 1232.16005 J. Algebra Appl. 10, No. 1, 129-155 (2011). Reviewer: Constantin Năstăsescu (Bucureşti) MSC: 16D90 16T15 18D10 16S40 PDF BibTeX XML Cite \textit{R. Wisbauer}, J. Algebra Appl. 10, No. 1, 129--155 (2011; Zbl 1232.16005) Full Text: DOI OpenURL
Villedieu, N.; Koloszar, L.; Quintino, T.; Deconinck, H. Unsteady high order residual distribution schemes with applications to linearised Euler equations. (English) Zbl 1216.65133 Kreiss, Gunilla (ed.) et al., Numerical mathematics and advanced applications 2009. Proceedings of ENUMATH 2009, the 8th European conference on numerical mathematics and advanced applications, Uppsala, Sweden, June 29–July 3, 2009. Berlin: Springer (ISBN 978-3-642-11794-7/hbk; 978-3-642-11795-4/ebook). 911-919 (2010). MSC: 65M60 35L65 PDF BibTeX XML Cite \textit{N. Villedieu} et al., in: Numerical mathematics and advanced applications 2009. Proceedings of ENUMATH 2009, the 8th European conference on numerical mathematics and advanced applications, Uppsala, Sweden, June 29--July 3, 2009. Berlin: Springer. 911--919 (2010; Zbl 1216.65133) Full Text: DOI OpenURL
Marmolejo, F.; Wood, R. J. Monads as extension systems – no iteration is necessary. (English) Zbl 1315.18008 Theory Appl. Categ. 24, 84-113 (2010). MSC: 18C15 18C20 18D05 PDF BibTeX XML Cite \textit{F. Marmolejo} and \textit{R. J. Wood}, Theory Appl. Categ. 24, 84--113 (2010; Zbl 1315.18008) Full Text: EMIS OpenURL
Jakubiková-Studenovská, D. Lattice of quasiorders of monounary algebras. (English) Zbl 1199.08006 Miskolc Math. Notes 10, No. 1, 41-48 (2009). MSC: 08A60 08A02 PDF BibTeX XML Cite \textit{D. Jakubiková-Studenovská}, Miskolc Math. Notes 10, No. 1, 41--48 (2009; Zbl 1199.08006) OpenURL
Marmolejo, F.; Wood, R. J. Coherence for pseudodistributive laws revisited. (English) Zbl 1153.18005 Theory Appl. Categ. 20, 74-84 (2008). Reviewer: Dimitru Buşneag (Craiova) MSC: 18C15 18D05 03G30 PDF BibTeX XML Cite \textit{F. Marmolejo} and \textit{R. J. Wood}, Theory Appl. Categ. 20, 74--84 (2008; Zbl 1153.18005) Full Text: EuDML EMIS OpenURL
Cummings, J.; Dobrinen, N. The hyper-weak distributive law and a related game in Boolean algebras. (English) Zbl 1140.03029 Ann. Pure Appl. Logic 149, No. 1-3, 14-24 (2007). Reviewer: James Monk (Boulder) MSC: 03E05 03E40 06E05 91A44 PDF BibTeX XML Cite \textit{J. Cummings} and \textit{N. Dobrinen}, Ann. Pure Appl. Logic 149, No. 1--3, 14--24 (2007; Zbl 1140.03029) Full Text: DOI Link OpenURL
Bekkali, Mohamed; Pouzet, Maurice; Zhani, Driss Incidence structures and Stone-Priestley duality. (English) Zbl 1135.06008 Ann. Math. Artif. Intell. 49, No. 1-4, 27-38 (2007). Reviewer: Manuel Abad (Bahia Blanca) MSC: 06D50 06E15 08A02 PDF BibTeX XML Cite \textit{M. Bekkali} et al., Ann. Math. Artif. Intell. 49, No. 1--4, 27--38 (2007; Zbl 1135.06008) Full Text: DOI arXiv OpenURL
Power, John Countable Lawvere theories and computational effects. (English) Zbl 1276.68100 Seda, Anthony K. (ed.) et al., Proceedings of the third Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2004), Dublin, Ireland, July 22–23, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 161, 59-71 (2006). MSC: 68Q55 18C10 18C15 PDF BibTeX XML Cite \textit{J. Power}, Electron. Notes Theor. Comput. Sci. 161, 59--71 (2006; Zbl 1276.68100) Full Text: Link OpenURL
Kick, Marco; Power, John; Simpson, Alex Coalgebraic semantics for timed processes. (English) Zbl 1110.68085 Inf. Comput. 204, No. 4, 588-609 (2006). MSC: 68Q85 68Q55 18C15 PDF BibTeX XML Cite \textit{M. Kick} et al., Inf. Comput. 204, No. 4, 588--609 (2006; Zbl 1110.68085) Full Text: DOI OpenURL
Capretta, Venanzio; Uustalu, Tarmo; Vene, Varmo Recursive coalgebras from comonads. (English) Zbl 1110.68068 Inf. Comput. 204, No. 4, 437-468 (2006). MSC: 68Q55 18C15 18C20 PDF BibTeX XML Cite \textit{V. Capretta} et al., Inf. Comput. 204, No. 4, 437--468 (2006; Zbl 1110.68068) Full Text: DOI OpenURL
Nawaz, M. Algebra of truth values for non-classical logics. (English) Zbl 1076.03042 Choudary, A. D. R. (ed.) et al., World conference on 21st century mathematics 2004. Proceedings of the conference, Lahore, Pakistan, March 18–20, 2004. Lahore: G. C. University, School of Mathematical Sciences (ISBN 969-8864-00-8/pbk). 140-147 (2004). MSC: 03G25 06F07 PDF BibTeX XML Cite \textit{M. Nawaz}, in: World conference on 21st century mathematics 2004. Proceedings of the conference, Lahore, Pakistan, March 18--20, 2004. Lahore: G. C. University, School of Mathematical Sciences. 140--147 (2004; Zbl 1076.03042) OpenURL
Humberstone, Lloyd False though partly true – an experiment in logic. (English) Zbl 1035.03004 J. Philos. Log. 32, No. 6, 613-665 (2003). MSC: 03A05 03B60 03B50 PDF BibTeX XML Cite \textit{L. Humberstone}, J. Philos. Log. 32, No. 6, 613--665 (2003; Zbl 1035.03004) Full Text: DOI OpenURL
Abgrall, R.; Roe, P. L. High-order fluctuation schemes on triangular meshes. (English) Zbl 1068.65133 J. Sci. Comput. 19, No. 1-3, 3-36 (2003). Reviewer: Ziwen Jiang (Shandong) MSC: 65N30 35F30 65N12 65N50 35L50 PDF BibTeX XML Cite \textit{R. Abgrall} and \textit{P. L. Roe}, J. Sci. Comput. 19, No. 1--3, 3--36 (2003; Zbl 1068.65133) Full Text: DOI OpenURL
Kurilić, Miloš S. Independence of Boolean algebras and forcing. (English) Zbl 1047.03040 Ann. Pure Appl. Logic 124, No. 1-3, 179-191 (2003). Reviewer: James Monk (Boulder) MSC: 03E40 06E05 06E10 54A25 PDF BibTeX XML Cite \textit{M. S. Kurilić}, Ann. Pure Appl. Logic 124, No. 1--3, 179--191 (2003; Zbl 1047.03040) Full Text: DOI OpenURL
Rosebrugh, Robert; Wood, R. J. Distributive laws and factorization. (English) Zbl 1023.18002 J. Pure Appl. Algebra 175, No. 1-3, 327-353 (2002). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A32 18D05 PDF BibTeX XML Cite \textit{R. Rosebrugh} and \textit{R. J. Wood}, J. Pure Appl. Algebra 175, No. 1--3, 327--353 (2002; Zbl 1023.18002) Full Text: DOI OpenURL
Lack, Stephen; Street, Ross The formal theory of monads. II. (English) Zbl 1019.18002 J. Pure Appl. Algebra 175, No. 1-3, 243-265 (2002). MSC: 18C20 18D05 18C15 18A35 18G15 16W30 PDF BibTeX XML Cite \textit{S. Lack} and \textit{R. Street}, J. Pure Appl. Algebra 175, No. 1--3, 243--265 (2002; Zbl 1019.18002) Full Text: DOI OpenURL
Marmolejo, F.; Rosebrugh, R. D.; Wood, R. J. A basic distributive law. (English) Zbl 1005.18006 J. Pure Appl. Algebra 168, No. 2-3, 209-226 (2002). Reviewer: K.I.Rosenthal (Schenectady) MSC: 18C15 06D10 18B35 PDF BibTeX XML Cite \textit{F. Marmolejo} et al., J. Pure Appl. Algebra 168, No. 2--3, 209--226 (2002; Zbl 1005.18006) Full Text: DOI OpenURL
Davey, B. A.; Haviar, M. A schizophrenic operation which aids the efficient transfer of strong dualities. (English) Zbl 0978.08008 Houston J. Math. 26, No. 2, 215-222 (2000). Reviewer: Václav Koubek (Praha) MSC: 08C15 18A40 06D50 08A02 PDF BibTeX XML Cite \textit{B. A. Davey} and \textit{M. Haviar}, Houston J. Math. 26, No. 2, 215--222 (2000; Zbl 0978.08008) OpenURL
Van Alten, C. J. On the canonical lattice extension of a distributive nearlattice with a residuation operation. (English) Zbl 0946.06008 Quaest. Math. 22, No. 2, 149-164 (1999). Reviewer: Yuri Movsisyan (Yerevan) MSC: 06D05 03G10 06F35 08A02 PDF BibTeX XML Cite \textit{C. J. Van Alten}, Quaest. Math. 22, No. 2, 149--164 (1999; Zbl 0946.06008) Full Text: DOI OpenURL
Marmolejo, F. Distributive laws for pseudomonads. (English) Zbl 0919.18004 Theory Appl. Categ. 5, 91-147 (1999). Reviewer: R.H.Street (North Ryde) MSC: 18C15 18D05 18D20 PDF BibTeX XML Cite \textit{F. Marmolejo}, Theory Appl. Categ. 5, 91--147 (1999; Zbl 0919.18004) Full Text: EuDML EMIS OpenURL
Bredikhin, D. A. Reducts of Tarski relation algebras. (English. Russian original) Zbl 0937.08001 Algebra Logika 37, No. 1, 3-16 (1998); translation in Algebra Logic 37, No. 1, 1-8 (1998). Reviewer: A.N.Ryaskin (Novosibirsk) MSC: 08A02 06A12 08B05 08C10 08C15 20M07 06D05 PDF BibTeX XML Cite \textit{D. A. Bredikhin}, Algebra Logika 37, No. 1, 3--16 (1998; Zbl 0937.08001); translation in Algebra Logic 37, No. 1, 1--8 (1998) Full Text: EuDML OpenURL
Dehornoy, Patrick Free zeropotent left distributive systems. (English) Zbl 0913.20042 Commun. Algebra 26, No. 6, 1967-1978 (1998). Reviewer: Vladimir Fleischer (Tartu) MSC: 20N02 08A02 PDF BibTeX XML Cite \textit{P. Dehornoy}, Commun. Algebra 26, No. 6, 1967--1978 (1998; Zbl 0913.20042) Full Text: DOI OpenURL
Fox, Thomas F.; Markl, Martin Distributive laws, bialgebras, and cohomology. (English) Zbl 0866.18008 Loday, Jean-Louis (ed.) et al., Operads: Proceedings of renaissance conferences. Special session and international conference on moduli spaces, operads, and representation theory/operads and homotopy algebra, March 1995/May–June 1995, Hartford, CT, USA/Luminy, France. Providence, RI: American Mathematical Society. Contemp. Math. 202, 167-205 (1997). Reviewer: M.Markl (Praha) MSC: 18C15 18G99 PDF BibTeX XML Cite \textit{T. F. Fox} and \textit{M. Markl}, Contemp. Math. 202, 167--205 (1997; Zbl 0866.18008) OpenURL
Dehornoy, Patrick Multiple left distributive systems. (English) Zbl 0943.20070 Commentat. Math. Univ. Carol. 38, No. 4, 615-625 (1997). MSC: 20N02 08A02 08B20 PDF BibTeX XML Cite \textit{P. Dehornoy}, Commentat. Math. Univ. Carol. 38, No. 4, 615--625 (1997; Zbl 0943.20070) Full Text: EuDML OpenURL
Dougherty, Randall; Jech, Thomas Left-distributive embedding algebras. (English) Zbl 0868.20052 Electron. Res. Announc. Am. Math. Soc. 3, 28-37 (1997). MSC: 20N02 03E55 08B20 03E35 PDF BibTeX XML Cite \textit{R. Dougherty} and \textit{T. Jech}, Electron. Res. Announc. Am. Math. Soc. 3, No. 4, 28--37 (1997; Zbl 0868.20052) Full Text: DOI EuDML OpenURL
Szylicka, Zyta Hyperidentities and weak hyperidentities of the externalization of some varieties. (English) Zbl 0859.08004 Algebra Colloq. 3, No. 4, 331-346 (1996). Reviewer: J.Duda (Brno) MSC: 08B05 06B20 08A02 PDF BibTeX XML Cite \textit{Z. Szylicka}, Algebra Colloq. 3, No. 4, 331--346 (1996; Zbl 0859.08004) OpenURL
Duffus, Dwight; Sauer, Norbert Lattices arising in categorial investigations of Hedetniemi’s conjecture. (English) Zbl 0853.06006 Discrete Math. 152, No. 1-3, 125-139 (1996). MSC: 06D15 08A02 05C15 18D35 18B35 PDF BibTeX XML Cite \textit{D. Duffus} and \textit{N. Sauer}, Discrete Math. 152, No. 1--3, 125--139 (1996; Zbl 0853.06006) Full Text: DOI OpenURL
Chajda, Ivan Tolerances on \(q\)-lattices. (English) Zbl 0903.06002 Czech. Math. J. 46, No. 1, 21-28 (1996). Reviewer: B.F.Šmarda (Brno) MSC: 06B10 08A02 08A30 03G10 PDF BibTeX XML Cite \textit{I. Chajda}, Czech. Math. J. 46, No. 1, 21--28 (1996; Zbl 0903.06002) Full Text: EuDML OpenURL
Endres, Norbert Idempotent and distributive group related groupoids. II. (English) Zbl 0901.20052 Demonstr. Math. 29, No. 2, 291-308 (1996). Reviewer: W.A.Dudek (Wrocław) MSC: 20N05 20L05 PDF BibTeX XML Cite \textit{N. Endres}, Demonstr. Math. 29, No. 2, 291--308 (1996; Zbl 0901.20052) OpenURL
Niţu, Bogdan Ideals defining algebras with straightening laws. (English) Zbl 0857.13022 Rev. Roum. Math. Pures Appl. 40, No. 5-6, 495-500 (1995). Reviewer: R.Fröberg (Stockholm) MSC: 13F50 06D05 PDF BibTeX XML Cite \textit{B. Niţu}, Rev. Roum. Math. Pures Appl. 40, No. 5--6, 495--500 (1995; Zbl 0857.13022) OpenURL
Rosebrugh, Robert; Wood, R. J. Distributive adjoint strings. (English) Zbl 0854.18004 Theory Appl. Categ. 1, 119-145 (1995). Reviewer: R.H.Street (North Ryde) MSC: 18A40 18C15 18D05 PDF BibTeX XML Cite \textit{R. Rosebrugh} and \textit{R. J. Wood}, Theory Appl. Categ. 1, 119--145 (1995; Zbl 0854.18004) Full Text: EuDML EMIS OpenURL
Drápal, Aleš On the semigroup structure of cyclic left distributive algebras. (English) Zbl 0828.20070 Semigroup Forum 51, No. 1, 23-30 (1995). Reviewer: J.Henno (Tallinn) MSC: 20N02 20M05 08A02 20N05 PDF BibTeX XML Cite \textit{A. Drápal}, Semigroup Forum 51, No. 1, 23--30 (1995; Zbl 0828.20070) Full Text: DOI EuDML OpenURL
Reinhold, J. Weak distributive laws and their role in free lattices. (English) Zbl 0817.06008 Algebra Univers. 33, No. 2, 209-215 (1995). MSC: 06B25 PDF BibTeX XML Cite \textit{J. Reinhold}, Algebra Univers. 33, No. 2, 209--215 (1995; Zbl 0817.06008) Full Text: DOI OpenURL
Miyazaki, Mitsuhiro An example of an ASL on a distributive lattice whose straightening relations do not give a presentation. (English) Zbl 0794.13014 Bull. Kyoto Univ. Educ., Ser. B 83, 81-84 (1993). Reviewer: R.Fröberg (Stockholm) MSC: 13F50 06D99 PDF BibTeX XML Cite \textit{M. Miyazaki}, Bull. Kyoto Univ. Educ., Ser. B 83, 81--84 (1993; Zbl 0794.13014) OpenURL
Geyer, Winfried Generalizing semidistributivity. (English) Zbl 0813.06007 Order 10, No. 1, 77-92 (1993). Reviewer: G.A.Grätzer (Winnipeg) MSC: 06B20 06B05 PDF BibTeX XML Cite \textit{W. Geyer}, Order 10, No. 1, 77--92 (1993; Zbl 0813.06007) Full Text: DOI OpenURL
Chick, H. L. Quasi-division rings. – Some examples of quasiregular rings. (English) Zbl 0805.16007 Márki, László (ed.) et al., Theory of radicals. Amsterdam: North- Holland Publishing Company. Colloq. Math. Soc. János Bolyai. 61, 35-59 (1993). Reviewer: R.Wiegandt (Budapest) MSC: 16E50 16N20 16K40 16S99 16Y99 PDF BibTeX XML Cite \textit{H. L. Chick}, in: Theory of radicals. Amsterdam: North-Holland Publishing Company; Budapest: János Bolyai Mathematical Society. 35--59 (1993; Zbl 0805.16007) OpenURL
Guzmán, Fernando The variety of Boolean semirings. (English) Zbl 0770.16020 J. Pure Appl. Algebra 78, No. 3, 253-270 (1992). Reviewer: M.Abad (Bahia Blanca) MSC: 16Y60 16R10 06E20 06B20 08B20 08A02 PDF BibTeX XML Cite \textit{F. Guzmán}, J. Pure Appl. Algebra 78, No. 3, 253--270 (1992; Zbl 0770.16020) Full Text: DOI OpenURL
Ahuja, Gopi A note on the product of distributions. (English) Zbl 0834.46025 J. M.A.C.T. 25, 1-4 (1992). MSC: 46F10 PDF BibTeX XML Cite \textit{G. Ahuja}, J. M.A.C.T. 25, 1--4 (1992; Zbl 0834.46025) OpenURL
Beavers, Gordon Distribution in Łukasiewicz logics. (English) Zbl 0766.03013 Bull. Sect. Log., Pol. Acad. Sci. 21, No. 4, 140-146 (1992). Reviewer: G.Beavers MSC: 03B50 PDF BibTeX XML Cite \textit{G. Beavers}, Bull. Sect. Logic, Pol. Acad. Sci. 21, No. 4, 140--146 (1992; Zbl 0766.03013) OpenURL
Priestley, H. A.; Bordalo, G. Negation operations definable on finite distributive lattices. (English) Zbl 0765.06014 Port. Math. 49, No. 1, 37-49 (1992). Reviewer: E.T.Schmidt (Budapest) MSC: 06D30 06D05 03G10 PDF BibTeX XML Cite \textit{H. A. Priestley} and \textit{G. Bordalo}, Port. Math. 49, No. 1, 37--49 (1992; Zbl 0765.06014) Full Text: EuDML OpenURL
Cignoli, Roberto Complete and atomic algebras of the infinite valued Łukasiewicz logic. (English) Zbl 0753.03026 Stud. Log. 50, No. 3-4, 375-384 (1991). Reviewer: A.Tauts (Tallinn) MSC: 03G10 03B50 03G20 PDF BibTeX XML Cite \textit{R. Cignoli}, Stud. Log. 50, No. 3--4, 375--384 (1991; Zbl 0753.03026) Full Text: DOI OpenURL
Zhao, Yueyu Conservative laws of general dynamical systems. (Chinese. English summary) Zbl 0744.70023 Nat. Sci. J. Xiangtan Univ. 13, No. 1, 44-50 (1991). MSC: 70H33 37C80 PDF BibTeX XML Cite \textit{Y. Zhao}, Nat. Sci. J. Xiangtan Univ. 13, No. 1, 44--50 (1991; Zbl 0744.70023) OpenURL
Monk, J. Donald (ed.); Bonnet, Robert (ed.) [Koppelberg, Sabine; Jech, T.; Balcar, B.; Simon, P.; van Douwen, Eric K.; Rubin, M.; Štěpánek, P.; Bekkali, M.; Roitman, J.; Pierce, R. S.; Fremlin, D. H.; Weese, M.; Remmel, J. B.; Myers, D.] Handbook of Boolean algebras. Volumes 1-3. Ed. with the cooperation of Robert Bonnet. (English) Zbl 0671.06001 Amsterdam etc.: North-Holland. xix, 1367 p./set. $ 309.75/set; Dfl. 635.00/set (1989). Reviewer: J.Roitman MSC: 06-02 03-02 06Exx 03G05 03E99 06-01 03-01 PDF BibTeX XML Cite \textit{J. D. Monk} (ed.) and \textit{R. Bonnet} (ed.), Handbook of Boolean algebras. Volumes 1-3. Ed. with the cooperation of Robert Bonnet. Amsterdam etc.: North-Holland (1989; Zbl 0671.06001) OpenURL
MacDonald, John L.; Stone, Art The natural number bialgebra. (English) Zbl 0698.18004 Cah. Topologie Géom. Différ. Catég. 30, No. 4, 349-363 (1989). Reviewer: J.Sonner MSC: 18D05 18C15 PDF BibTeX XML Cite \textit{J. L. MacDonald} and \textit{A. Stone}, Cah. Topologie Géom. Différ. Catégoriques 30, No. 4, 349--363 (1989; Zbl 0698.18004) Full Text: Numdam EuDML OpenURL
Erné, Marcel Weak distributive laws and their role in lattices of congruences and equational theories. (English) Zbl 0663.06005 Algebra Univers. 25, No. 3, 290-321 (1988). Reviewer: R.A.Alo MSC: 06B05 06B15 08B05 PDF BibTeX XML Cite \textit{M. Erné}, Algebra Univers. 25, No. 3, 290--321 (1988; Zbl 0663.06005) Full Text: DOI OpenURL
Hibi, Takayuki Canonical ideals of Cohen-Macaulay partially ordered sets. (English) Zbl 0627.13001 Nagoya Math. J. 112, 1-24 (1988). MSC: 13A15 13H10 06A06 06B10 06D05 13C13 16W50 13E05 PDF BibTeX XML Cite \textit{T. Hibi}, Nagoya Math. J. 112, 1--24 (1988; Zbl 0627.13001) Full Text: DOI OpenURL
Hibi, Takayuki Distributive lattices, affine semigroup rings and algebras with straightening laws. (English) Zbl 0654.13015 Commutative algebra and combinatorics, US-Jap. joint Semin., Kyoto/Jap. 1985, Adv. Stud. Pure Math. 11, 93-109 (1987). Reviewer: T.S.Blyth MSC: 13C13 13F20 06D99 20M25 PDF BibTeX XML OpenURL
Skornyakov, L. A. Matrix relation algebras. (English. Russian original) Zbl 0621.06005 Math. Notes 41, 75-80 (1987); translation from Mat. Zametki 41, No. 2, 129-137 (1987). Reviewer: E.Płonka MSC: 06D05 06E05 08A02 15A30 PDF BibTeX XML Cite \textit{L. A. Skornyakov}, Math. Notes 41, 75--80 (1987; Zbl 0621.06005); translation from Mat. Zametki 41, No. 2, 129--137 (1987) Full Text: DOI OpenURL
Yaqub, F. M. A theorem on infinite distributivity for Post L-algebras. (English) Zbl 0612.06008 Acta Math. Hung. 48, 7-10 (1986). Reviewer: M.Abad MSC: 06D25 06D10 PDF BibTeX XML Cite \textit{F. M. Yaqub}, Acta Math. Hung. 48, 7--10 (1986; Zbl 0612.06008) Full Text: DOI OpenURL
Struckmann, Werner; Wätjen, Dietmar A note on the number of distributive laws. (English) Zbl 0605.18003 Algebra Univers. 21, 305-306 (1985). Reviewer: J.Adámek MSC: 18C15 PDF BibTeX XML Cite \textit{W. Struckmann} and \textit{D. Wätjen}, Algebra Univers. 21, 305--306 (1985; Zbl 0605.18003) Full Text: DOI OpenURL
Erne, Marcel Distributivgesetze und Dedekind’sche Schnitte. (German) Zbl 0526.06005 Abh. Braunschw. Wiss. Ges. 33, 117-145 (1982). MSC: 06B23 06B10 06D10 06A06 PDF BibTeX XML Cite \textit{M. Erne}, Abh. Braunschw. Wiss. Ges. 33, 117--145 (1982; Zbl 0526.06005) OpenURL
Vinarek, Jiri Extensions of symmetric hom-functors to the Kleisli category. (English) Zbl 0476.18005 Fundamentals of computation theory, Proc. int. FCT-Conf., Szeged/ Hung. 1981, Lect. Notes Comput. Sci. 117, 394-399 (1981). MSC: 18C20 18C15 18B20 18D15 PDF BibTeX XML OpenURL
Dudek, Jozef Some remarks on distributive groupoids. (English) Zbl 0472.20025 Czech. Math. J. 31(106), 451-456 (1981). MSC: 20N99 08A02 08A40 PDF BibTeX XML Cite \textit{J. Dudek}, Czech. Math. J. 31(106), 451--456 (1981; Zbl 0472.20025) Full Text: EuDML OpenURL
Barja Perez, J. M.; Lopez Lopez, M. A. The triple Hom (M,-) in sets. (Spanish) Zbl 0439.18012 Works about triples, Alxebra 26, 51-61 (1980). MSC: 18C15 PDF BibTeX XML OpenURL
Dimitrova, Neli Über die Distributivgesetze der erweiterten Intervallarithmetik. (German) Zbl 0428.65023 Computing 24, 33-49 (1980). MSC: 65G30 PDF BibTeX XML Cite \textit{N. Dimitrova}, Computing 24, 33--49 (1980; Zbl 0428.65023) Full Text: DOI OpenURL
Trias Pairo, Joan On p-distributivity in f-rings. (Spanish) Zbl 0484.06020 Contributions to probability and mathematical statistics, teaching of mathematics and analysis. Dedic. to D. Alfonso Guiraun Martin on the Occas. of his acad. Jubil., 61-66 (1979). MSC: 06F25 06D10 PDF BibTeX XML OpenURL
Vaughan-Lee, M. R. Laws in finite loops. (English) Zbl 0436.20046 Algebra Univers. 9, 269-280 (1979). MSC: 20N05 20M07 20E10 08B15 08B10 08A30 16P10 16Rxx PDF BibTeX XML Cite \textit{M. R. Vaughan-Lee}, Algebra Univers. 9, 269--280 (1979; Zbl 0436.20046) Full Text: DOI OpenURL
Feron, R. Ensembles aléatoires flous dont la fonction d’appartenance prend ses valeurs dans un treillis distributif ferme. (French) Zbl 0406.46010 Publ. Econometr. 12, No. 1, 81-118 (1979). MSC: 46A99 46A04 03E72 28B15 60B12 94D05 06D15 60B99 PDF BibTeX XML OpenURL
Micale, Biagio Il nucleo e il centro di un Omega-gruppo distributivo. (Italian) Zbl 0456.08003 Matematiche 31, 277-296 (1976). MSC: 08A30 08A02 PDF BibTeX XML Cite \textit{B. Micale}, Matematiche 31, 277--296 (1976; Zbl 0456.08003) OpenURL