Kambites, Mark Free objects in triangular matrix varieties and quiver algebras over semirings. (English) Zbl 07420028 J. Algebra 590, 439-462 (2022). MSC: 20M20 20M07 16Y60 12K10 15A80 PDF BibTeX XML Cite \textit{M. Kambites}, J. Algebra 590, 439--462 (2022; Zbl 07420028) Full Text: DOI arXiv OpenURL
Chetcuti, Emmanuel; Hamhalter, Jan The order topology on duals of \(C^\ast \)-algebras and von Neumann algebras. (English) Zbl 1448.46046 Stud. Math. 254, No. 3, 219-236 (2020). Reviewer: Hans Weber (Udine) MSC: 46L10 46L05 46L30 06F30 PDF BibTeX XML Cite \textit{E. Chetcuti} and \textit{J. Hamhalter}, Stud. Math. 254, No. 3, 219--236 (2020; Zbl 1448.46046) 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
Lee, Edmond W. H. Non-finitely based finite involution semigroups with finitely based semigroup reducts. (English) Zbl 1450.20016 Korean J. Math. 27, No. 1, 53-62 (2019). Reviewer: Peter R. Jones (Milwaukee) MSC: 20M05 PDF BibTeX XML Cite \textit{E. W. H. Lee}, Korean J. Math. 27, No. 1, 53--62 (2019; Zbl 1450.20016) Full Text: DOI OpenURL
Fujii, Soichiro A unified framework for notions of algebraic theory. (English) Zbl 1441.18007 Theory Appl. Categ. 34, 1246-1316 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 18M05 PDF BibTeX XML Cite \textit{S. Fujii}, Theory Appl. Categ. 34, 1246--1316 (2019; Zbl 1441.18007) Full Text: arXiv Link OpenURL
Mackenzie, Andrew A foundation for probabilistic beliefs with or without atoms. (English) Zbl 1422.91201 Theor. Econ. 14, No. 2, 709-778 (2019). MSC: 91B06 PDF BibTeX XML Cite \textit{A. Mackenzie}, Theor. Econ. 14, No. 2, 709--778 (2019; Zbl 1422.91201) Full Text: DOI OpenURL
Bohata, Martin Vigier’s theorem for the spectral order and its applications. (English) Zbl 1452.46045 J. Math. Anal. Appl. 476, No. 2, 801-810 (2019). Reviewer: Hans Weber (Udine) MSC: 46L10 47B15 PDF BibTeX XML Cite \textit{M. Bohata}, J. Math. Anal. Appl. 476, No. 2, 801--810 (2019; Zbl 1452.46045) Full Text: DOI arXiv OpenURL
Movsisyan, Yu. M. Hyperidentities and related concepts. II. (English) Zbl 1404.08002 Armen. J. Math. 10, Paper No. 4, 85 p. (2018). MSC: 08A02 08A05 08A40 08A62 06D30 06E05 20M07 20N05 PDF BibTeX XML Cite \textit{Yu. M. Movsisyan}, Armen. J. Math. 10, Paper No. 4, 85 p. (2018; Zbl 1404.08002) OpenURL
Bohata, Martin Star order and topologies on von Neumann algebras. (English) Zbl 1407.46050 Mediterr. J. Math. 15, No. 4, Paper No. 175, 1-14 (2018). MSC: 46L10 06F30 06A06 PDF BibTeX XML Cite \textit{M. Bohata}, Mediterr. J. Math. 15, No. 4, Paper No. 175, 1--14 (2018; Zbl 1407.46050) Full Text: DOI arXiv OpenURL
Almeida, J.; Shahzamanian, M. H. A note on the finite basis and finite rank properties for pseudovarieties of semigroups. (English) Zbl 1401.20066 Semigroup Forum 97, No. 1, 177-180 (2018). Reviewer: Peter R. Jones (Milwaukee) MSC: 20M07 PDF BibTeX XML Cite \textit{J. Almeida} and \textit{M. H. Shahzamanian}, Semigroup Forum 97, No. 1, 177--180 (2018; Zbl 1401.20066) Full Text: DOI arXiv OpenURL
Beziau, Jean-Yves Is the principle of contradiction a consequence of \(x^2=x\)? (English) Zbl 1408.03003 Log. Univers. 12, No. 1-2, 55-81 (2018). Reviewer: Jim Mackenzie (Sydney) MSC: 03A05 00A30 01A55 03B53 03B22 03B05 03B10 03G05 PDF BibTeX XML Cite \textit{J.-Y. Beziau}, Log. Univers. 12, No. 1--2, 55--81 (2018; Zbl 1408.03003) Full Text: DOI OpenURL
Stronkowski, Michał M. Axiomatizations of universal classes through infinitary logic. (English) Zbl 1403.03054 Algebra Univers. 79, No. 2, Paper No. 26, 12 p. (2018). Reviewer: Daniele Mundici (Firenze) MSC: 03C52 03C75 03C40 PDF BibTeX XML Cite \textit{M. M. Stronkowski}, Algebra Univers. 79, No. 2, Paper No. 26, 12 p. (2018; Zbl 1403.03054) Full Text: DOI OpenURL
Bodirsky, Manuel; Mottet, Antoine A dichotomy for first-order reducts of unary structures. (English) Zbl 1476.03041 Log. Methods Comput. Sci. 14, No. 2, Paper No. 13, 31 p. (2018). MSC: 03C15 68Q17 08A40 08A70 68Q25 PDF BibTeX XML Cite \textit{M. Bodirsky} and \textit{A. Mottet}, Log. Methods Comput. Sci. 14, No. 2, Paper No. 13, 31 p. (2018; Zbl 1476.03041) Full Text: DOI arXiv OpenURL
Duckerts-Antoine, Mathieu; Even, Valérian; Montoli, Andrea How to centralize and normalize quandle extensions. (English) Zbl 1423.20067 J. Knot Theory Ramifications 27, No. 2, Article ID 1850020, 23 p. (2018). MSC: 20N02 57M27 18A32 08B05 PDF BibTeX XML Cite \textit{M. Duckerts-Antoine} et al., J. Knot Theory Ramifications 27, No. 2, Article ID 1850020, 23 p. (2018; Zbl 1423.20067) Full Text: DOI arXiv OpenURL
Barto, Libor; Kozik, Marcin Absorption in universal algebra and CSP. (English) Zbl 1482.68160 Krokhin, Andrei (ed.) et al., The constraint satisfaction problem: complexity and approximability, Dagstuhl seminar 15301, July 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. Dagstuhl Follow-Ups 7, 45-77 (2017). MSC: 68R07 08A70 68Q25 PDF BibTeX XML Cite \textit{L. Barto} and \textit{M. Kozik}, Dagstuhl Follow-Ups 7, 45--77 (2017; Zbl 1482.68160) Full Text: DOI OpenURL
Schneider, Friedrich Martin A uniform Birkhoff theorem. (English) Zbl 1421.03014 Algebra Univers. 78, No. 3, 337-354 (2017). MSC: 03C05 08A40 08A30 08B99 PDF BibTeX XML Cite \textit{F. M. Schneider}, Algebra Univers. 78, No. 3, 337--354 (2017; Zbl 1421.03014) Full Text: DOI arXiv OpenURL
Poizat, Bruno Independence and freedom. (Indépendance et liberté.) (French. English summary) Zbl 1433.03078 Ann. Math. Qué. 41, No. 2, 277-307 (2017). MSC: 03C45 03C60 20E05 PDF BibTeX XML Cite \textit{B. Poizat}, Ann. Math. Qué. 41, No. 2, 277--307 (2017; Zbl 1433.03078) Full Text: DOI OpenURL
Găină, Daniel Birkhoff style calculi for hybrid logics. (English) Zbl 1420.03037 Formal Asp. Comput. 29, No. 5, 805-832 (2017). MSC: 03B45 03B70 PDF BibTeX XML Cite \textit{D. Găină}, Formal Asp. Comput. 29, No. 5, 805--832 (2017; Zbl 1420.03037) Full Text: DOI OpenURL
Arrighi, Pablo; Dowek, Gilles Lineal: a linear-algebraic \(\lambda\)-calculus. (English) Zbl 1448.68206 Log. Methods Comput. Sci. 13, No. 1, Paper No. 8, 33 p. (2017). MSC: 68N18 03B40 68Q42 81P68 PDF BibTeX XML Cite \textit{P. Arrighi} and \textit{G. Dowek}, Log. Methods Comput. Sci. 13, No. 1, Paper No. 8, 33 p. (2017; Zbl 1448.68206) Full Text: DOI arXiv OpenURL
Ranjbar, Ghorban Khalilzadeh; Amiri, Tooraj Some results about fixed points in the complete metric space of zero at infinity varieties and complete convex metric space of varieties. (English) Zbl 06711474 Adv. Oper. Theory 2, No. 2, 147-161 (2017). MSC: 47-XX 08B15 37C25 PDF BibTeX XML Cite \textit{G. K. Ranjbar} and \textit{T. Amiri}, Adv. Oper. Theory 2, No. 2, 147--161 (2017; Zbl 06711474) Full Text: DOI OpenURL
Bodirsky, Manuel; Pinsker, Michael; Pongrácz, András Reconstructing the topology of clones. (English) Zbl 1377.03021 Trans. Am. Math. Soc. 369, No. 5, 3707-3740 (2017). Reviewer: Alexandr Kazda (Klosterneuburg) MSC: 03C05 03C40 08A35 08A40 20B27 08A70 PDF BibTeX XML Cite \textit{M. Bodirsky} et al., Trans. Am. Math. Soc. 369, No. 5, 3707--3740 (2017; Zbl 1377.03021) Full Text: DOI arXiv OpenURL
Pakhomov, Fedor N. Linear \(\mathrm{GLP}\)-algebras and their elementary theories. (English. Russian original) Zbl 1402.03087 Izv. Math. 80, No. 6, 1159-1199 (2016); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 80, No. 6, 173-216 (2016). MSC: 03F45 03B25 03B45 03G25 PDF BibTeX XML Cite \textit{F. N. Pakhomov}, Izv. Math. 80, No. 6, 1159--1199 (2016; Zbl 1402.03087); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 80, No. 6, 173--216 (2016) Full Text: DOI OpenURL
Grigolia, Revaz; Kiseliova, Tatiana; Odisharia, Vladimer Free and projective bimodal symmetric Gödel algebras. (English) Zbl 1391.03044 Stud. Log. 104, No. 1, 115-143 (2016). MSC: 03G25 03B45 03B20 03F45 06D20 PDF BibTeX XML Cite \textit{R. Grigolia} et al., Stud. Log. 104, No. 1, 115--143 (2016; Zbl 1391.03044) Full Text: DOI OpenURL
Berman, Joel Maximal \(n\)-generated subdirect products. (English) Zbl 1345.08008 Int. J. Algebra Comput. 26, No. 1, 123-155 (2016). Reviewer: Anna Zamojska-Dzienio (Warsaw) MSC: 08B26 08A30 08A40 08B20 03C05 05A15 PDF BibTeX XML Cite \textit{J. Berman}, Int. J. Algebra Comput. 26, No. 1, 123--155 (2016; Zbl 1345.08008) Full Text: DOI OpenURL
Aichinger, Erhard; Mayr, Peter Finitely generated equational classes. (English) Zbl 1354.08004 J. Pure Appl. Algebra 220, No. 8, 2816-2827 (2016). Reviewer: Manfred Armbrust (Köln) MSC: 08B05 08B10 03C05 PDF BibTeX XML Cite \textit{E. Aichinger} and \textit{P. Mayr}, J. Pure Appl. Algebra 220, No. 8, 2816--2827 (2016; Zbl 1354.08004) Full Text: DOI arXiv Link OpenURL
Vychodil, Vilem Pseudovarieties of algebras with fuzzy equalities. (English) Zbl 1335.08003 Fuzzy Sets Syst. 260, 110-120 (2015). MSC: 08A72 03B52 PDF BibTeX XML Cite \textit{V. Vychodil}, Fuzzy Sets Syst. 260, 110--120 (2015; Zbl 1335.08003) Full Text: DOI OpenURL
Chetcuti, Emmanuel; Hamhalter, Jan; Weber, Hans The order topology for a von Neumann algebra. (English) Zbl 1350.46041 Stud. Math. 230, No. 2, 95-120 (2015). Reviewer: Hermann Pfitzner (Orléans) MSC: 46L10 06F30 46A03 PDF BibTeX XML Cite \textit{E. Chetcuti} et al., Stud. Math. 230, No. 2, 95--120 (2015; Zbl 1350.46041) Full Text: DOI arXiv OpenURL
Ballester-Bolinches, A.; Cosme-Llópez, E.; Rutten, J. The dual equivalence of equations and coequations for automata. (English) Zbl 1333.68184 Inf. Comput. 244, 49-75 (2015). Reviewer: Andreas Maletti (Stuttgart) MSC: 68Q70 18A30 18A32 PDF BibTeX XML Cite \textit{A. Ballester-Bolinches} et al., Inf. Comput. 244, 49--75 (2015; Zbl 1333.68184) Full Text: DOI OpenURL
Caramello, O.; Russo, A. C. The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. (English) Zbl 1320.06011 J. Algebra 422, 752-787 (2015). Reviewer: Daniele Mundici (Firenze) MSC: 06D35 18B25 18C10 18F20 06F20 03G30 PDF BibTeX XML Cite \textit{O. Caramello} and \textit{A. C. Russo}, J. Algebra 422, 752--787 (2015; Zbl 1320.06011) Full Text: DOI arXiv OpenURL
Myropolska, Aglaia; Nagnibeda, Tatiana On transitivity and (non)amenability of \(\operatorname{Aut} F_n\) actions on group presentations. (English) Zbl 1348.20038 Groups Geom. Dyn. 8, No. 3, 837-861 (2014). MSC: 20F05 20F65 20E05 05C25 20E36 05C63 PDF BibTeX XML Cite \textit{A. Myropolska} and \textit{T. Nagnibeda}, Groups Geom. Dyn. 8, No. 3, 837--861 (2014; Zbl 1348.20038) Full Text: DOI arXiv OpenURL
Guo, Li; Regensburger, Georg; Rosenkranz, Markus On integro-differential algebras. (English) Zbl 1310.16019 J. Pure Appl. Algebra 218, No. 3, 456-473 (2014). Reviewer: Vyacheslav A. Artamonov (Moskva) MSC: 16S32 16W20 12H05 34M15 16S15 PDF BibTeX XML Cite \textit{L. Guo} et al., J. Pure Appl. Algebra 218, No. 3, 456--473 (2014; Zbl 1310.16019) Full Text: DOI arXiv OpenURL
Futatsugi, Kokichi; Găină, Daniel; Ogata, Kazuhiro Principles of proof scores in CafeOBJ. (English) Zbl 1253.68220 Theor. Comput. Sci. 464, 90-112 (2012). MSC: 68Q60 68Q65 68Q42 PDF BibTeX XML Cite \textit{K. Futatsugi} et al., Theor. Comput. Sci. 464, 90--112 (2012; Zbl 1253.68220) Full Text: DOI OpenURL
Berman, Joel Upper bounds on the sizes of finitely generated algebras. (English) Zbl 1243.08008 Demonstr. Math. 44, No. 3, 447-471 (2011). MSC: 08B20 08B26 06A07 05A15 PDF BibTeX XML Cite \textit{J. Berman}, Demonstr. Math. 44, No. 3, 447--471 (2011; Zbl 1243.08008) Full Text: DOI OpenURL
Manes, Ernie Monads in topology. (English) Zbl 1194.54016 Topology Appl. 157, No. 5, 961-989 (2010). Reviewer: Horst Herrlich (Bremen) MSC: 54B30 PDF BibTeX XML Cite \textit{E. Manes}, Topology Appl. 157, No. 5, 961--989 (2010; Zbl 1194.54016) Full Text: DOI OpenURL
Ponse, Alban; van der Zwaag, Mark B. Belnap’s logic and conditional composition. (English) Zbl 1179.03029 Theor. Comput. Sci. 388, No. 1-3, 319-336 (2007). MSC: 03B50 03B70 PDF BibTeX XML Cite \textit{A. Ponse} and \textit{M. B. van der Zwaag}, Theor. Comput. Sci. 388, No. 1--3, 319--336 (2007; Zbl 1179.03029) Full Text: DOI OpenURL
Stekolshchik, Rafael Gelfand-Ponomarev and Herrmann constructions for quadruples and sextuples. (English) Zbl 1169.06006 J. Pure Appl. Algebra 211, No. 1, 95-202 (2007). Reviewer: Christian Herrmann (Darmstadt) MSC: 06C05 06A06 06B15 16G20 PDF BibTeX XML Cite \textit{R. Stekolshchik}, J. Pure Appl. Algebra 211, No. 1, 95--202 (2007; Zbl 1169.06006) Full Text: DOI arXiv arXiv OpenURL
Adámek, J. The intersection of algebra and coalgebra. (English) Zbl 1110.18002 Theor. Comput. Sci. 366, No. 1-2, 82-97 (2006). Reviewer: Dana Piciu (Craiova) MSC: 18C05 18B20 08B99 18C20 68Q99 PDF BibTeX XML Cite \textit{J. Adámek}, Theor. Comput. Sci. 366, No. 1--2, 82--97 (2006; Zbl 1110.18002) Full Text: DOI OpenURL
Hodkinson, Ian; Venema, Yde Canonical varieties with no canonical axiomatisation. (English) Zbl 1081.03062 Trans. Am. Math. Soc. 357, No. 11, 4579-4605 (2005). MSC: 03G15 03C05 05C15 05C80 91A43 PDF BibTeX XML Cite \textit{I. Hodkinson} and \textit{Y. Venema}, Trans. Am. Math. Soc. 357, No. 11, 4579--4605 (2005; Zbl 1081.03062) Full Text: DOI OpenURL
McNulty, George F. Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green. (English) Zbl 1049.03027 Ann. Pure Appl. Logic 127, No. 1-3, 131-153 (2004). MSC: 03C05 08B05 PDF BibTeX XML Cite \textit{G. F. McNulty}, Ann. Pure Appl. Logic 127, No. 1--3, 131--153 (2004; Zbl 1049.03027) Full Text: DOI Link OpenURL
Manes, Ernie Monads of sets. (English) Zbl 1064.18003 Hazewinkel, M. (ed.), Handbook of algebra. Volume 3. Amsterdam: Elsevier (ISBN 0-444-51264-0/hbk). 67-153 (2003). Reviewer: Peter T. Johnstone (Cambridge) MSC: 18C15 06B35 08C05 68Q65 PDF BibTeX XML Cite \textit{E. Manes}, in: Handbook of algebra. Volume 3. Amsterdam: Elsevier. 67--153 (2003; Zbl 1064.18003) OpenURL
Goldblatt, Robert Observational ultraproducts of polynomial coalgebras. (English) Zbl 1037.03034 Ann. Pure Appl. Logic 123, No. 1-3, 235-290 (2003). Reviewer: Michel Eytan (Strasbourg) MSC: 03C05 03B70 03C20 18C50 68Q65 68Q85 08A70 PDF BibTeX XML Cite \textit{R. Goldblatt}, Ann. Pure Appl. Logic 123, No. 1--3, 235--290 (2003; Zbl 1037.03034) Full Text: DOI OpenURL
Meinke, K. Proof theory of higher-order equations: Conservativity, normal forms and term rewriting. (English) Zbl 1054.68134 J. Comput. Syst. Sci. 67, No. 1, 127-173 (2003). MSC: 68T15 68Q42 PDF BibTeX XML Cite \textit{K. Meinke}, J. Comput. Syst. Sci. 67, No. 1, 127--173 (2003; Zbl 1054.68134) Full Text: DOI OpenURL
Freese, Ralph; McNulty, George F.; Nation, J. B. Inherently nonfinitely based lattices. (English) Zbl 1015.03037 Ann. Pure Appl. Logic 115, No. 1-3, 175-193 (2002). Reviewer: Jiří Rosický (Brno) MSC: 03C05 06B20 PDF BibTeX XML Cite \textit{R. Freese} et al., Ann. Pure Appl. Logic 115, No. 1--3, 175--193 (2002; Zbl 1015.03037) Full Text: DOI OpenURL
Leivant, Daniel Intrinsic reasoning about functional programs. I: First order theories. (English) Zbl 0992.03037 Ann. Pure Appl. Logic 114, No. 1-3, 117-153 (2002). MSC: 03B70 68N18 03F05 03F20 03F30 03D15 68Q15 68W30 PDF BibTeX XML Cite \textit{D. Leivant}, Ann. Pure Appl. Logic 114, No. 1--3, 117--153 (2002; Zbl 0992.03037) Full Text: DOI OpenURL
Goldblatt, R. What is the coalgebraic analogue of Birkhoff’s variety theorem? (English) Zbl 0989.68099 Theor. Comput. Sci. 266, No. 1-2, 853-886 (2001). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Goldblatt}, Theor. Comput. Sci. 266, No. 1--2, 853--886 (2001; Zbl 0989.68099) Full Text: DOI OpenURL
Stratulat, Sorin A general framework to build contextual cover set induction provers. (English) Zbl 0981.68147 J. Symb. Comput. 32, No. 4, 403-445 (2001). MSC: 68T15 03B35 PDF BibTeX XML Cite \textit{S. Stratulat}, J. Symb. Comput. 32, No. 4, 403--445 (2001; Zbl 0981.68147) Full Text: DOI OpenURL
Roşu, G. Equational axiomatizability for coalgebra. (English) Zbl 0973.68176 Theor. Comput. Sci. 260, No. 1-2, 229-247 (2001). MSC: 68Q85 03B45 PDF BibTeX XML Cite \textit{G. Roşu}, Theor. Comput. Sci. 260, No. 1--2, 229--247 (2001; Zbl 0973.68176) Full Text: DOI OpenURL
Hesselink, W. H.; Thijs, A. Fixpoint semantics and simulation. (English) Zbl 0944.68192 Theor. Comput. Sci. 238, No. 1-2, 275-311 (2000). MSC: 68U20 PDF BibTeX XML Cite \textit{W. H. Hesselink} and \textit{A. Thijs}, Theor. Comput. Sci. 238, No. 1--2, 275--311 (2000; Zbl 0944.68192) Full Text: DOI OpenURL
Chajda, Ivan; Graczyńska, Ewa Algebras presented by normal identities. (English) Zbl 0993.08002 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 38, 49-58 (1999). MSC: 08A05 08B05 08B10 08A30 PDF BibTeX XML Cite \textit{I. Chajda} and \textit{E. Graczyńska}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 38, 49--58 (1999; Zbl 0993.08002) Full Text: EuDML OpenURL
Ding, Shisun; Kang, Ming-Chang; Tan, Eng-Tjioe Chiungtze C. Tsen (1898-1940) and Tsen’s theorems. (English) Zbl 0955.01031 Rocky Mt. J. Math. 29, No. 4, 1237-1269 (1999). Reviewer: James J.Cross (Parkville) MSC: 01A70 PDF BibTeX XML Cite \textit{S. Ding} et al., Rocky Mt. J. Math. 29, No. 4, 1237--1269 (1999; Zbl 0955.01031) Full Text: DOI Link OpenURL
Sun, Yong An algebraic generalization of Frege structures – binding algebras. (English) Zbl 0915.68116 Theor. Comput. Sci. 211, No. 1-2, 189-232 (1999). MSC: 68Q65 PDF BibTeX XML Cite \textit{Y. Sun}, Theor. Comput. Sci. 211, No. 1--2, 189--232 (1999; Zbl 0915.68116) Full Text: DOI OpenURL
Fejer, Peter A. Lattice representations for computability theory. (English) Zbl 0926.03046 Ann. Pure Appl. Logic 94, No. 1-3, 53-74 (1998). MSC: 03D30 06B15 03-02 PDF BibTeX XML Cite \textit{P. A. Fejer}, Ann. Pure Appl. Logic 94, No. 1--3, 53--74 (1998; Zbl 0926.03046) Full Text: DOI OpenURL
Bündgen, Reinhard Buchberger’s algorithm: The term rewriter’s point of view. (English) Zbl 0871.68088 Theor. Comput. Sci. 159, No. 2, 143-190 (1996). MSC: 68W10 68Q42 PDF BibTeX XML Cite \textit{R. Bündgen}, Theor. Comput. Sci. 159, No. 2, 143--190 (1996; Zbl 0871.68088) Full Text: DOI OpenURL
Meinke, Karl Topological methods for algebraic specification. (English) Zbl 0872.68115 Theor. Comput. Sci. 166, No. 1-2, 263-290 (1996). MSC: 68Q65 PDF BibTeX XML Cite \textit{K. Meinke}, Theor. Comput. Sci. 166, No. 1--2, 263--290 (1996; Zbl 0872.68115) Full Text: DOI OpenURL
Courcelle, Bruno Basic notions of universal algebra for language theory and graph grammars. (English) Zbl 0874.68170 Theor. Comput. Sci. 163, No. 1-2, 1-54 (1996). MSC: 68Q45 08A70 68R10 68Q42 PDF BibTeX XML Cite \textit{B. Courcelle}, Theor. Comput. Sci. 163, No. 1--2, 1--54 (1996; Zbl 0874.68170) Full Text: DOI OpenURL
Steggles, L. J. Higher-order algebra with transfinite types. (English) Zbl 1407.68093 Dowek, Gilles (ed.) et al., Higher-order algebra, logic, and term rewriting. Second international workshop, HOA ’95, Paderborn, Germany, September 21–22, 1995. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1074, 238-263 (1996). MSC: 68N18 03B70 68Q42 PDF BibTeX XML Cite \textit{L. J. Steggles}, Lect. Notes Comput. Sci. 1074, 238--263 (1996; Zbl 1407.68093) Full Text: DOI OpenURL
Haviar, Alfonz \(V\)-lattices of varieties of algebras of different types. (English) Zbl 0802.06009 Czech. Math. J. 43, No. 3, 419-428 (1993). Reviewer: J.Rosický (Brno) MSC: 06B99 08B15 PDF BibTeX XML Cite \textit{A. Haviar}, Czech. Math. J. 43, No. 3, 419--428 (1993; Zbl 0802.06009) Full Text: EuDML OpenURL
van Glabbeek, Rob; Vaandrager, Frits Modular specification of process algebras. (English) Zbl 0770.68092 Theor. Comput. Sci. 113, No. 2, 293-348 (1993). MSC: 68Q65 68Q10 PDF BibTeX XML Cite \textit{R. van Glabbeek} and \textit{F. Vaandrager}, Theor. Comput. Sci. 113, No. 2, 293--348 (1993; Zbl 0770.68092) Full Text: DOI OpenURL
Bankston, Paul Pseudobases in direct powers of an algebra. (English) Zbl 0766.08005 Trans. Am. Math. Soc. 335, No. 1, 79-90 (1993). Reviewer: D.Busneag (Craiova) MSC: 08B20 12E15 03C05 08A35 08B25 PDF BibTeX XML Cite \textit{P. Bankston}, Trans. Am. Math. Soc. 335, No. 1, 79--90 (1993; Zbl 0766.08005) Full Text: DOI OpenURL
Meinke, Karl Universal algebra in higher types. (English) Zbl 0777.08008 Theor. Comput. Sci. 100, No. 2, 385-417 (1992). Reviewer: A.A.Mullin (Huntsville) MSC: 08A70 68Q65 03B15 PDF BibTeX XML Cite \textit{K. Meinke}, Theor. Comput. Sci. 100, No. 2, 385--417 (1992; Zbl 0777.08008) Full Text: DOI OpenURL
Goguen, Joseph A.; Meseguer, José Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. (English) Zbl 0778.68056 Theor. Comput. Sci. 105, No. 2, 217-273 (1992). Reviewer: S.Bloom (Hoboken) MSC: 68Q55 08A70 06F99 PDF BibTeX XML Cite \textit{J. A. Goguen} and \textit{J. Meseguer}, Theor. Comput. Sci. 105, No. 2, 217--273 (1992; Zbl 0778.68056) Full Text: DOI OpenURL
Burris, Stanley Discriminator varieties and symbolic computation. (English) Zbl 0803.08002 J. Symb. Comput. 13, No. 2, 175-207 (1992). MSC: 08B05 08A70 68W30 PDF BibTeX XML Cite \textit{S. Burris}, J. Symb. Comput. 13, No. 2, 175--207 (1992; Zbl 0803.08002) Full Text: DOI OpenURL
Pondělíček, Bedřich Tolerance modular varieties of semigroups. (English) Zbl 0731.20039 Czech. Math. J. 40(115), No. 3, 441-452 (1990). Reviewer: S.Oates-Williams (St.Lucia) MSC: 20M07 08B10 08A30 PDF BibTeX XML Cite \textit{B. Pondělíček}, Czech. Math. J. 40(115), No. 3, 441--452 (1990; Zbl 0731.20039) OpenURL
Płonka, Jerzy Biregular and uniform identities of algebras. (English) Zbl 0728.08005 Czech. Math. J. 40(115), No. 3, 367-387 (1990). Reviewer: J.Duda (Brno) MSC: 08B05 PDF BibTeX XML Cite \textit{J. Płonka}, Czech. Math. J. 40(115), No. 3, 367--387 (1990; Zbl 0728.08005) Full Text: EuDML OpenURL
Bürckert, Hans-Jürgen Matching - a special case of unification? (English) Zbl 0691.03004 J. Symb. Comput. 8, No. 5, 523-536 (1989). Reviewer: N.Zamov MSC: 03B35 68T15 PDF BibTeX XML Cite \textit{H.-J. Bürckert}, J. Symb. Comput. 8, No. 5, 523--536 (1989; Zbl 0691.03004) Full Text: DOI OpenURL
Schmidt-Schauß, Manfred Unification in a combination of arbitrary disjoint equational theories. (English) Zbl 0691.03003 J. Symb. Comput. 8, No. 1-2, 51-99 (1989). Reviewer: C.Masalagiu MSC: 03B35 03C05 08B05 PDF BibTeX XML Cite \textit{M. Schmidt-Schauß}, J. Symb. Comput. 8, No. 1--2, 51--99 (1989; Zbl 0691.03003) Full Text: DOI OpenURL
Bürckert, Hans-Jürgen; Herold, Alexander; Schmidt-Schauss, Manfred On equational theories, unification, and (un)decidability. (English) Zbl 0684.03004 J. Symb. Comput. 8, No. 1-2, 3-49 (1989). Reviewer: H.-J.Bürckert MSC: 03B35 03C05 03B25 PDF BibTeX XML Cite \textit{H.-J. Bürckert} et al., J. Symb. Comput. 8, No. 1--2, 3--49 (1989; Zbl 0684.03004) Full Text: DOI OpenURL
Siekmann, Jörg H. Unification theory. (English) Zbl 0678.68098 J. Symb. Comput. 7, No. 3-4, 207-274 (1989). MSC: 68T15 68Q65 68W30 PDF BibTeX XML Cite \textit{J. H. Siekmann}, J. Symb. Comput. 7, No. 3--4, 207--274 (1989; Zbl 0678.68098) Full Text: DOI OpenURL
Baker, Kirby A.; McNulty, George F.; Werner, Heinrich Shift-automorphism methods for inherently nonfinitely based varieties of algebras. (English) Zbl 0677.08005 Czech. Math. J. 39(114), No. 1, 53-69 (1989). Reviewer: R.Franci MSC: 08B05 08A35 PDF BibTeX XML Cite \textit{K. A. Baker} et al., Czech. Math. J. 39(114), No. 1, 53--69 (1989; Zbl 0677.08005) Full Text: EuDML OpenURL
Yelick, Katherine A. Unification in combinations of collapse-free regular theories. (English) Zbl 0638.68105 J. Symb. Comput. 3, 153-181 (1987). MSC: 68T15 08B05 PDF BibTeX XML Cite \textit{K. A. Yelick}, J. Symb. Comput. 3, 153--181 (1987; Zbl 0638.68105) Full Text: DOI OpenURL
Tilson, Bret Categories as algebra: An essential ingredient in the theory of monoids. (English) Zbl 0627.20031 J. Pure Appl. Algebra 48, 83-198 (1987). Reviewer: V.Koubek MSC: 20M07 20L05 18B40 08A55 08B25 08C15 PDF BibTeX XML Cite \textit{B. Tilson}, J. Pure Appl. Algebra 48, 83--198 (1987; Zbl 0627.20031) Full Text: DOI OpenURL
Padawitz, Peter Parameter-preserving data type specifications. (English) Zbl 0619.68026 J. Comput. Syst. Sci. 34, 179-209 (1987). MSC: 68P05 PDF BibTeX XML Cite \textit{P. Padawitz}, J. Comput. Syst. Sci. 34, 179--209 (1987; Zbl 0619.68026) Full Text: DOI OpenURL
Courcelle, Bruno Equivalences and transformations of regular systems - applications to recursive program schemes and grammars. (English) Zbl 0636.68104 Theor. Comput. Sci. 42, 1-122 (1986). Reviewer: A.V.Anisimov MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{B. Courcelle}, Theor. Comput. Sci. 42, 1--122 (1986; Zbl 0636.68104) Full Text: DOI OpenURL
Tarlecki, Andrzej Quasi-varieties in abstract algebraic institutions. (English) Zbl 0622.68033 J. Comput. Syst. Sci. 33, 333-360 (1986). Reviewer: H.Nishimura MSC: 68Q65 68P05 PDF BibTeX XML Cite \textit{A. Tarlecki}, J. Comput. Syst. Sci. 33, 333--360 (1986; Zbl 0622.68033) Full Text: DOI OpenURL
Tůma, Jiří Some finite congruence lattices. I. (English) Zbl 0612.08001 Czech. Math. J. 36(111), 298-330 (1986). Reviewer: P.P.Pálfy MSC: 08A30 20D30 06B15 20B20 05A17 PDF BibTeX XML Cite \textit{J. Tůma}, Czech. Math. J. 36(111), 298--330 (1986; Zbl 0612.08001) Full Text: EuDML OpenURL
Funk, Martin; Kegel, Otto H.; Strambach, Karl Gruppenuniversalität und Homogenisierbarkeit. (German) Zbl 0588.03021 Ann. Mat. Pura Appl., IV. Ser. 141, 1-126 (1985). Reviewer: J.Cannon MSC: 03C99 20B25 51Exx 20A15 20B27 PDF BibTeX XML Cite \textit{M. Funk} et al., Ann. Mat. Pura Appl. (4) 141, 1--126 (1985; Zbl 0588.03021) Full Text: DOI OpenURL
Paul, Etienne Equational methods in first order predicate calculus. (English) Zbl 0577.03003 J. Symb. Comput. 1, 7-29 (1985). Reviewer: H.P.Schmitt MSC: 03B35 03C05 68T15 03B20 PDF BibTeX XML Cite \textit{E. Paul}, J. Symb. Comput. 1, 7--29 (1985; Zbl 0577.03003) Full Text: DOI OpenURL
Kahn, J.; Kung, J. P. S. Varieties of combinatorial geometries. (English) Zbl 0503.05010 Trans. Am. Math. Soc. 271, 485-499 (1982). MSC: 05B25 51D20 PDF BibTeX XML Cite \textit{J. Kahn} and \textit{J. P. S. Kung}, Trans. Am. Math. Soc. 271, 485--499 (1982; Zbl 0503.05010) Full Text: DOI OpenURL
Nelson, Evelyn The independence of the subalgebra lattice, congruence lattice and automorphism group of an infinitary algebra. (English) Zbl 0428.08001 J. Pure Appl. Algebra 17, 187-201 (1980). MSC: 08A30 08A65 20B25 20B27 PDF BibTeX XML Cite \textit{E. Nelson}, J. Pure Appl. Algebra 17, 187--201 (1980; Zbl 0428.08001) Full Text: DOI OpenURL
Saade, Marshall A note on some varieties of point algebras. (English) Zbl 0446.08006 Czech. Math. J. 29(104), 21-26 (1979). MSC: 08B20 PDF BibTeX XML Cite \textit{M. Saade}, Czech. Math. J. 29(104), 21--26 (1979; Zbl 0446.08006) Full Text: EuDML OpenURL
Baker, Kirby A. Finite equational bases for finite algebras in a congruence-distributive equational class. (English) Zbl 0356.08006 Adv. Math. 24, 207-243 (1977). MSC: 08B99 08Axx 06B05 PDF BibTeX XML Cite \textit{K. A. Baker}, Adv. Math. 24, 207--243 (1977; Zbl 0356.08006) Full Text: DOI OpenURL
Eilenberg, Samuel; Schützenberger, M. P. On pseudovarieties. (English) Zbl 0351.20035 Adv. Math. 19, 413-418 (1976). MSC: 20M99 20M05 PDF BibTeX XML Cite \textit{S. Eilenberg} and \textit{M. P. Schützenberger}, Adv. Math. 19, 413--418 (1976; Zbl 0351.20035) Full Text: DOI OpenURL
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B. Parallel realization of systems, using factorizations and quotients in categories. (English) Zbl 0333.93002 J. Franklin Inst. 301, 541-558 (1976). MSC: 93A10 18A20 68Q45 PDF BibTeX XML Cite \textit{J. A. Goguen} et al., J. Franklin Inst. 301, 541--558 (1976; Zbl 0333.93002) Full Text: DOI OpenURL
Baker, Kirby A. Primitive satisfaction and equational problems for lattices and other algebras. (English) Zbl 0291.08001 Trans. Am. Math. Soc. 190, 125-150 (1974). MSC: 08B99 06F25 06B05 06D05 06E05 06F15 08C10 08Axx 03B99 03G15 PDF BibTeX XML Cite \textit{K. A. Baker}, Trans. Am. Math. Soc. 190, 125--150 (1974; Zbl 0291.08001) Full Text: DOI OpenURL
Dodds, Theresa K. Y. Chow Egoroff properties and the order topology in Riesz spaces. (English) Zbl 0254.46008 Trans. Am. Math. Soc. 187, 365-375 (1974). MSC: 46A40 PDF BibTeX XML Cite \textit{T. K. Y. C. Dodds}, Trans. Am. Math. Soc. 187, 365--375 (1974; Zbl 0254.46008) Full Text: DOI OpenURL
Ulmer, Friedrich On the existence and exactness of the associated sheaf functor. (English) Zbl 0297.18005 J. pure appl. Algebra 3, 295-306 (1973). MSC: 18F20 18A40 PDF BibTeX XML Cite \textit{F. Ulmer}, J. Pure Appl. Algebra 3, 295--306 (1973; Zbl 0297.18005) Full Text: DOI OpenURL
Pinter, Charles Cylindric algebras and algebras of substitutions. (English) Zbl 0266.02036 Trans. Am. Math. Soc. 175, 167-179 (1973). MSC: 03G15 PDF BibTeX XML Cite \textit{C. Pinter}, Trans. Am. Math. Soc. 175, 167--179 (1973; Zbl 0266.02036) Full Text: DOI OpenURL
Kotas, Jerzy An axiom system for the modular logic. (English) Zbl 0333.02023 Stud. Log. 21, 17-38 (1967). MSC: 03B99 06C05 PDF BibTeX XML Cite \textit{J. Kotas}, Stud. Log. 21, 17--38 (1967; Zbl 0333.02023) Full Text: DOI OpenURL
Hasse, Maria; Michler, Lothar Some remarks on free categories and free groupoids. (Einige Bemerkungen über freie Kategorien und freie Gruppoide.) (German) Zbl 0224.18001 Czech. Math. J. 16(91), 424-445 (1966). MSC: 18A10 18B40 20L05 05C20 PDF BibTeX XML Cite \textit{M. Hasse} and \textit{L. Michler}, Czech. Math. J. 16(91), 424--445 (1966; Zbl 0224.18001) Full Text: EuDML OpenURL
Austin, A. K. Finite models for laws in two variables. (English) Zbl 0144.01001 Proc. Am. Math. Soc. 17, 1410-1412 (1966). PDF BibTeX XML Cite \textit{A. K. Austin}, Proc. Am. Math. Soc. 17, 1410--1412 (1966; Zbl 0144.01001) Full Text: DOI OpenURL
Ribeiro, H.; Schwabauer, R. A remark on equational completeness. (English) Zbl 0154.00402 Arch. Math. Logik Grundlagenforsch. 7, 122-123 (1965). PDF BibTeX XML Cite \textit{H. Ribeiro} and \textit{R. Schwabauer}, Arch. Math. Logik Grundlagenforsch. 7, 122--123 (1965; Zbl 0154.00402) Full Text: DOI EuDML OpenURL
Stein, S. K. Finite models of identities. (English) Zbl 0113.24805 Proc. Am. Math. Soc. 14, 216-222 (1963). PDF BibTeX XML Cite \textit{S. K. Stein}, Proc. Am. Math. Soc. 14, 216--222 (1963; Zbl 0113.24805) Full Text: DOI OpenURL
Pixley, A. F. Distributivity and permutability of congruence relations in equational classes of algebras. (English) Zbl 0113.24804 Proc. Am. Math. Soc. 14, 105-109 (1963). PDF BibTeX XML Cite \textit{A. F. Pixley}, Proc. Am. Math. Soc. 14, 105--109 (1963; Zbl 0113.24804) Full Text: DOI OpenURL
Hewitt, G. C. The existence of free unions in classes of abstract algebras. (English) Zbl 0109.25101 Proc. Am. Math. Soc. 14, 417-422 (1963). PDF BibTeX XML Cite \textit{G. C. Hewitt}, Proc. Am. Math. Soc. 14, 417--422 (1963; Zbl 0109.25101) Full Text: DOI OpenURL
Nerode, A. Composita, equations, and freely generated algebras. (English) Zbl 0115.01203 Trans. Am. Math. Soc. 91, 139-151 (1959). PDF BibTeX XML Cite \textit{A. Nerode}, Trans. Am. Math. Soc. 91, 139--151 (1959; Zbl 0115.01203) Full Text: DOI OpenURL
Ellis, David; Sprinkle, H. D. Topology of B-metric spaces. (English) Zbl 0074.17703 Compos. Math. 12, 250-262 (1956). PDF BibTeX XML Cite \textit{D. Ellis} and \textit{H. D. Sprinkle}, Compos. Math. 12, 250--262 (1956; Zbl 0074.17703) Full Text: Numdam EuDML OpenURL
Lyndon, R. C. Identities in two-valued calculi. (English) Zbl 0044.00201 Trans. Am. Math. Soc. 71, 457-465 (1951). PDF BibTeX XML Cite \textit{R. C. Lyndon}, Trans. Am. Math. Soc. 71, 457--465 (1951; Zbl 0044.00201) Full Text: DOI OpenURL
Buck, R. Creighton A factoring theorem for homomorphisms. (English) Zbl 0043.03803 Proc. Am. Math. Soc. 2, 135-137 (1951). PDF BibTeX XML Cite \textit{R. C. Buck}, Proc. Am. Math. Soc. 2, 135--137 (1951; Zbl 0043.03803) Full Text: DOI OpenURL
MacLane, Saunders Duality for groups. (English) Zbl 0045.29905 Bull. Am. Math. Soc. 56, 485-516 (1950). PDF BibTeX XML Cite \textit{S. MacLane}, Bull. Am. Math. Soc. 56, 485--516 (1950; Zbl 0045.29905) Full Text: DOI OpenURL
MacLane, Saunders Duality for groups. (English) Zbl 0041.36306 Bull. Am. Math. Soc. 56, 485-516 (1950). PDF BibTeX XML Cite \textit{S. MacLane}, Bull. Am. Math. Soc. 56, 485--516 (1950; Zbl 0041.36306) Full Text: DOI OpenURL