Höhle, Ulrich Covariant presheaves and subalgebras. (English) Zbl 1230.06008 Theory Appl. Categ. 25, 342-367 (2011). Reviewer: Dana Piciu (Craiova) MSC: 06F07 18C15 18D20 18F20 PDFBibTeX XMLCite \textit{U. Höhle}, Theory Appl. Categ. 25, 342--367 (2011; Zbl 1230.06008) Full Text: EuDML EMIS
Heymans, Hans; Stubbe, Isar Symmetry and Cauchy completion of quantaloid-enriched categories. (English) Zbl 1230.06007 Theory Appl. Categ. 25, 276-294 (2011). Reviewer: Dana Piciu (Craiova) MSC: 06F07 18C15 18D05 18D20 PDFBibTeX XMLCite \textit{H. Heymans} and \textit{I. Stubbe}, Theory Appl. Categ. 25, 276--294 (2011; Zbl 1230.06007) Full Text: arXiv EuDML EMIS
Adámek, Jiří; Milius, Stefan; Velebil, Jiří Elgot theories: a new perspective on the equational properties of iteration. (English) Zbl 1222.18002 Math. Struct. Comput. Sci. 21, No. 2, 417-480 (2011). Reviewer: Dana Piciu (Craiova) MSC: 18C10 PDFBibTeX XMLCite \textit{J. Adámek} et al., Math. Struct. Comput. Sci. 21, No. 2, 417--480 (2011; Zbl 1222.18002) Full Text: DOI
Velebil, Jiří; Kurz, Alexander Equational presentations of functors and monads. (English) Zbl 1235.18003 Math. Struct. Comput. Sci. 21, No. 2, 363-381 (2011). Reviewer: Dana Piciu (Craiova) MSC: 18C15 03C05 PDFBibTeX XMLCite \textit{J. Velebil} and \textit{A. Kurz}, Math. Struct. Comput. Sci. 21, No. 2, 363--381 (2011; Zbl 1235.18003) Full Text: DOI
Janelidze, Zurab; Ursini, Aldo Split short five lemma for clots and subtractive categories. (English) Zbl 1217.18008 Appl. Categ. Struct. 19, No. 1, 233-255 (2011). Reviewer: Dana Piciu (Craiova) MSC: 18C99 08B05 PDFBibTeX XMLCite \textit{Z. Janelidze} and \textit{A. Ursini}, Appl. Categ. Struct. 19, No. 1, 233--255 (2011; Zbl 1217.18008) Full Text: DOI
Beke, Tibor Categorification, term rewriting and the Knuth-Bendix procedure. (English) Zbl 1214.18006 J. Pure Appl. Algebra 215, No. 5, 728-740 (2011). Reviewer: Dana Piciu (Craiova) MSC: 18C50 08A50 08B99 68Q42 PDFBibTeX XMLCite \textit{T. Beke}, J. Pure Appl. Algebra 215, No. 5, 728--740 (2011; Zbl 1214.18006) Full Text: DOI
Wang, Wei; Xin, Xiao-Long On fuzzy filters of pseudo BL-algebras. (English) Zbl 1213.03079 Fuzzy Sets Syst. 162, No. 1, 27-38 (2011). Reviewer: Dana Piciu (Craiova) MSC: 03G25 PDFBibTeX XMLCite \textit{W. Wang} and \textit{X.-L. Xin}, Fuzzy Sets Syst. 162, No. 1, 27--38 (2011; Zbl 1213.03079) Full Text: DOI
Zhou, Hongjun; Zhao, Bin Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras). (English) Zbl 1213.03081 Fuzzy Sets Syst. 162, No. 1, 1-26 (2011). Reviewer: Dana Piciu (Craiova) MSC: 03G25 06E15 PDFBibTeX XMLCite \textit{H. Zhou} and \textit{B. Zhao}, Fuzzy Sets Syst. 162, No. 1, 1--26 (2011; Zbl 1213.03081) Full Text: DOI
Yin, Yunqiang; Zhan, Jianming New types of fuzzy filters of BL-algebras. (English) Zbl 1213.03080 Comput. Math. Appl. 60, No. 7, 2115-2125 (2010). Reviewer: Dana Piciu (Craiova) MSC: 03G25 PDFBibTeX XMLCite \textit{Y. Yin} and \textit{J. Zhan}, Comput. Math. Appl. 60, No. 7, 2115--2125 (2010; Zbl 1213.03080) Full Text: DOI
Gunduz (Aras), Cigdem; Davvaz, B. The universal coefficient theorem in the category of intuitionistic fuzzy modules. (English) Zbl 1222.18010 Util. Math. 81, 131-156 (2010). Reviewer: Dana Piciu (Craiova) MSC: 18G60 PDFBibTeX XMLCite \textit{C. Gunduz (Aras)} and \textit{B. Davvaz}, Util. Math. 81, 131--156 (2010; Zbl 1222.18010)
Doberkat, Ernst-Erich Weak bisimulations for the Giry monad. (English) Zbl 1210.18003 Math. Struct. Comput. Sci. 20, No. 5, 781-798 (2010). Reviewer: Dana Piciu (Craiova) MSC: 18C20 68Q85 68Q87 PDFBibTeX XMLCite \textit{E.-E. Doberkat}, Math. Struct. Comput. Sci. 20, No. 5, 781--798 (2010; Zbl 1210.18003) Full Text: DOI
Horčík, Rostislav Cancellative residuated lattices arising on 2-generated submonoids of natural numbers. (English) Zbl 1208.06005 Algebra Univers. 63, No. 2-3, 261-274 (2010). Reviewer: Dana Piciu (Craiova) MSC: 06F05 20M14 PDFBibTeX XMLCite \textit{R. Horčík}, Algebra Univers. 63, No. 2--3, 261--274 (2010; Zbl 1208.06005) Full Text: DOI
Moss, Lawrence S. A note on expressive coalgebraic logics for finitary set functors. (English) Zbl 1205.03070 J. Log. Comput. 20, No. 5, 1101-1111 (2010). Reviewer: Dana Piciu (Craiova) MSC: 03G30 PDFBibTeX XMLCite \textit{L. S. Moss}, J. Log. Comput. 20, No. 5, 1101--1111 (2010; Zbl 1205.03070) Full Text: DOI
Busaniche, Manuela; Cignoli, Roberto Constructive logic with strong negation as a substructural logic. (English) Zbl 1205.03040 J. Log. Comput. 20, No. 4, 761-793 (2010). Reviewer: Dana Piciu (Craiova) MSC: 03B60 03B47 03G25 PDFBibTeX XMLCite \textit{M. Busaniche} and \textit{R. Cignoli}, J. Log. Comput. 20, No. 4, 761--793 (2010; Zbl 1205.03040) Full Text: DOI
Metcalfe, George; Paoli, Francesco; Tsinakis, Constantine Ordered algebras and logic. (English) Zbl 1202.03067 Hosni, Hykel (ed.) et al., Probability, uncertainty and rationality. Pisa: Edizioni della Normale (ISBN 978-88-7642-347-5/hbk). Centro di Ricerca Matematica Ennio De Giorgi (CRM) Series (Nuova Serie) 10, 3-83 (2010). Reviewer: Dana Piciu (Craiova) MSC: 03G25 03B47 06F05 PDFBibTeX XMLCite \textit{G. Metcalfe} et al., CRM Ser. (N.S.) 10, 3--83 (2010; Zbl 1202.03067)
Ellerman, David The logic of partitions: introduction to the dual of the logic of subsets. (English) Zbl 1211.03101 Rev. Symb. Log. 3, No. 2, 287-350 (2010). Reviewer: Dana Piciu (Craiova) MSC: 03G30 PDFBibTeX XMLCite \textit{D. Ellerman}, Rev. Symb. Log. 3, No. 2, 287--350 (2010; Zbl 1211.03101) Full Text: DOI arXiv
Močkoř, Jiří Constructions of fuzzy logic models in categories of sets with similarities. (English) Zbl 1205.03037 Int. J. Gen. Syst. 39, No. 3, 217-233 (2010). Reviewer: Dana Piciu (Craiova) MSC: 03B52 PDFBibTeX XMLCite \textit{J. Močkoř}, Int. J. Gen. Syst. 39, No. 3, 217--233 (2010; Zbl 1205.03037) Full Text: DOI
Bezhanishvili, Guram; Bezhanishvili, Nick; Gabelaia, David; Kurz, Alexander Bitopological duality for distributive lattices and Heyting algebras. (English) Zbl 1193.06012 Math. Struct. Comput. Sci. 20, No. 3, 359-393 (2010). Reviewer: Dana Piciu (Craiova) MSC: 06D50 06D20 PDFBibTeX XMLCite \textit{G. Bezhanishvili} et al., Math. Struct. Comput. Sci. 20, No. 3, 359--393 (2010; Zbl 1193.06012) Full Text: DOI
Resende, Pedro; Rodrigues, Elias Sheaves as modules. (English) Zbl 1200.18008 Appl. Categ. Struct. 18, No. 2, 199-217 (2010). Reviewer: Dana Piciu (Craiova) MSC: 18F20 06D22 06F07 14F05 18B25 54B40 PDFBibTeX XMLCite \textit{P. Resende} and \textit{E. Rodrigues}, Appl. Categ. Struct. 18, No. 2, 199--217 (2010; Zbl 1200.18008) Full Text: DOI arXiv
Menni, Matías Läuchli’s completeness theorem from a topos-theoretic perspective. (English) Zbl 1211.03103 Appl. Categ. Struct. 18, No. 2, 185-197 (2010). Reviewer: Dana Piciu (Craiova) MSC: 03G30 03B20 18B25 PDFBibTeX XMLCite \textit{M. Menni}, Appl. Categ. Struct. 18, No. 2, 185--197 (2010; Zbl 1211.03103) Full Text: DOI
Jipsen, P.; Montagna, F. Embedding theorems for classes of GBL-algebras. (English) Zbl 1192.06012 J. Pure Appl. Algebra 214, No. 9, 1559-1575 (2010). Reviewer: Dana Piciu (Craiova) MSC: 06F05 03G25 06D35 PDFBibTeX XMLCite \textit{P. Jipsen} and \textit{F. Montagna}, J. Pure Appl. Algebra 214, No. 9, 1559--1575 (2010; Zbl 1192.06012) Full Text: DOI
Wang, San-Min; Zhao, Bin A syntactical proof of equivalence between HpsUL and FFL. (English) Zbl 1188.03018 Far East J. Math. Sci. (FJMS) 37, No. 1, 39-47 (2010). Reviewer: Dana Piciu (Craiova) MSC: 03B52 03B47 PDFBibTeX XMLCite \textit{S.-M. Wang} and \textit{B. Zhao}, Far East J. Math. Sci. (FJMS) 37, No. 1, 39--47 (2010; Zbl 1188.03018) Full Text: Link
Busaniche, Manuela; Cabrer, Leonardo Manuel Canonicity in subvarieties of BL-algebras. (English) Zbl 1200.03049 Algebra Univers. 62, No. 4, 375-397 (2009). Reviewer: Dana Piciu (Craiova) MSC: 03G25 PDFBibTeX XMLCite \textit{M. Busaniche} and \textit{L. M. Cabrer}, Algebra Univers. 62, No. 4, 375--397 (2009; Zbl 1200.03049) Full Text: DOI
Janelidze, Zurab Closedness properties of internal relations. VI: Approximate operations. (English. French summary) Zbl 1188.18002 Cah. Topol. Géom. Différ. Catég. 50, No. 4, 298-319 (2009). Reviewer: Dana Piciu (Craiova) MSC: 18C99 08B05 PDFBibTeX XMLCite \textit{Z. Janelidze}, Cah. Topol. Géom. Différ. Catég. 50, No. 4, 298--319 (2009; Zbl 1188.18002)
Jipsen, P.; Montagna, F. The Blok-Ferreirim theorem for normal GBL-algebras and its application. (English) Zbl 1192.06011 Algebra Univers. 60, No. 4, 381-404 (2009). Reviewer: Dana Piciu (Craiova) MSC: 06F05 03G25 06D35 06F15 PDFBibTeX XMLCite \textit{P. Jipsen} and \textit{F. Montagna}, Algebra Univers. 60, No. 4, 381--404 (2009; Zbl 1192.06011) Full Text: DOI
Sayed Ahmed, Tarek On neat embeddings of algebraisations of first order logic. (English) Zbl 1186.03076 J. Algebra Number Theory, Adv. Appl. 1, No. 2, 113-125 (2009). Reviewer: Dana Piciu (Craiova) MSC: 03G15 PDFBibTeX XMLCite \textit{T. Sayed Ahmed}, J. Algebra Number Theory, Adv. Appl. 1, No. 2, 113--125 (2009; Zbl 1186.03076)
Sayed Ahmed, Tarek On neat embeddings of cylindric algebras. (English) Zbl 1184.03062 Math. Log. Q. 55, No. 6, 666-668 (2009). Reviewer: Dana Piciu (Craiova) MSC: 03G15 PDFBibTeX XMLCite \textit{T. Sayed Ahmed}, Math. Log. Q. 55, No. 6, 666--668 (2009; Zbl 1184.03062) Full Text: DOI
Han, Shengwei; Zhao, Bin The quantic conuclei on quantales. (English) Zbl 1183.06010 Algebra Univers. 61, No. 1, 97-114 (2009). Reviewer: Dana Piciu (Craiova) MSC: 06F07 PDFBibTeX XMLCite \textit{S. Han} and \textit{B. Zhao}, Algebra Univers. 61, No. 1, 97--114 (2009; Zbl 1183.06010) Full Text: DOI
Hosseini, S. N.; Mielke, M. V. Universal monos in partial morphism categories. (English) Zbl 1192.18001 Appl. Categ. Struct. 17, No. 5, 435-444 (2009). Reviewer: Dana Piciu (Craiova) MSC: 18A20 18A15 18B15 18D15 PDFBibTeX XMLCite \textit{S. N. Hosseini} and \textit{M. V. Mielke}, Appl. Categ. Struct. 17, No. 5, 435--444 (2009; Zbl 1192.18001) Full Text: DOI
Jipsen, P. Generalizations of Boolean products for lattice-ordered algebras. (English) Zbl 1181.06005 Ann. Pure Appl. Logic 161, No. 2, 228-234 (2009). Reviewer: Dana Piciu (Craiova) MSC: 06F05 06D35 03G25 PDFBibTeX XMLCite \textit{P. Jipsen}, Ann. Pure Appl. Logic 161, No. 2, 228--234 (2009; Zbl 1181.06005) Full Text: DOI
Jenei, Sándor On the reflection invariance of residuated chains. (English) Zbl 1181.03062 Ann. Pure Appl. Logic 161, No. 2, 220-227 (2009); erratum ibid. 161, No. 12, 1603-1604 (2010). Reviewer: Dana Piciu (Craiova) MSC: 03G25 06F30 PDFBibTeX XMLCite \textit{S. Jenei}, Ann. Pure Appl. Logic 161, No. 2, 220--227 (2009; Zbl 1181.03062) Full Text: DOI
Cignoli, Roberto; Esteva, Francesc Commutative integral bounded residuated lattices with an added involution. (English) Zbl 1181.03061 Ann. Pure Appl. Logic 161, No. 2, 150-160 (2009). Reviewer: Dana Piciu (Craiova) MSC: 03G25 03B47 03B52 06F05 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{F. Esteva}, Ann. Pure Appl. Logic 161, No. 2, 150--160 (2009; Zbl 1181.03061) Full Text: DOI Link
Hemstetter, Jacques; Micali, Artibano Amitsur cohomology of sheaves. (English) Zbl 1197.18008 Afr. Mat., Sér. III 20, 25-64 (2009). Reviewer: Dana Piciu (Craiova) MSC: 18F20 18G60 16E40 16H05 15A66 PDFBibTeX XMLCite \textit{J. Hemstetter} and \textit{A. Micali}, Afr. Mat., Sér. III 20, 25--64 (2009; Zbl 1197.18008)
Janelidze, Zurab Cover relations on categories. (English) Zbl 1177.18002 Appl. Categ. Struct. 17, No. 4, 351-371 (2009). Reviewer: Dana Piciu (Craiova) MSC: 18A32 18D10 PDFBibTeX XMLCite \textit{Z. Janelidze}, Appl. Categ. Struct. 17, No. 4, 351--371 (2009; Zbl 1177.18002) Full Text: DOI
Chajda, Ivan Double basic algebras. (English) Zbl 1173.06002 Order 26, No. 2, 149-162 (2009). Reviewer: Dana Piciu (Craiova) MSC: 06D35 06C15 PDFBibTeX XMLCite \textit{I. Chajda}, Order 26, No. 2, 149--162 (2009; Zbl 1173.06002) Full Text: DOI
Johnstone, Peter Fixpoint objects need not be \(\Omega \)-discrete. (English) Zbl 1176.18002 Georgian Math. J. 16, No. 1, 75-80 (2009). Reviewer: Dana Piciu (Craiova) MSC: 18B25 03B40 03G30 06A99 18D15 PDFBibTeX XMLCite \textit{P. Johnstone}, Georgian Math. J. 16, No. 1, 75--80 (2009; Zbl 1176.18002) Full Text: Link
Krupka, Michal Factorization of residuated lattices. (English) Zbl 1170.06006 Log. J. IGPL 17, No. 2, 205-223 (2009). Reviewer: Dana Piciu (Craiova) MSC: 06F05 03B52 PDFBibTeX XMLCite \textit{M. Krupka}, Log. J. IGPL 17, No. 2, 205--223 (2009; Zbl 1170.06006) Full Text: DOI
Czédli, Gábor Some varieties and convexities generated by fractal lattices. (English) Zbl 1166.06001 Algebra Univers. 60, No. 1, 107-124 (2009). Reviewer: Dana Piciu (Craiova) MSC: 06B20 PDFBibTeX XMLCite \textit{G. Czédli}, Algebra Univers. 60, No. 1, 107--124 (2009; Zbl 1166.06001) Full Text: DOI
Ma, Xueling; Zhan, Jianming On (\(\in,\in \vee q\))-fuzzy filters of BL-algebras. (English) Zbl 1184.03066 J. Syst. Sci. Complex. 21, No. 1, 144-158 (2008). Reviewer: Dana Piciu (Craiova) MSC: 03G25 06D35 PDFBibTeX XMLCite \textit{X. Ma} and \textit{J. Zhan}, J. Syst. Sci. Complex. 21, No. 1, 144--158 (2008; Zbl 1184.03066) Full Text: DOI
Van Gasse, B.; Cornelis, C.; Deschrijver, G.; Kerre, E. E. Triangle algebras: A formal logic approach to interval-valued residuated lattices. (English) Zbl 1174.03028 Fuzzy Sets Syst. 159, No. 9, 1042-1060 (2008). Reviewer: Dana Piciu (Craiova) MSC: 03G10 03B50 03B52 06F05 PDFBibTeX XMLCite \textit{B. Van Gasse} et al., Fuzzy Sets Syst. 159, No. 9, 1042--1060 (2008; Zbl 1174.03028) Full Text: DOI
Saminger-Platz, Susanne; Klement, Erich Peter; Mesiar, Radko On extensions of triangular norms on bounded lattices. (English) Zbl 1171.03011 Indag. Math., New Ser. 19, No. 1, 135-150 (2008). Reviewer: Dana Piciu (Craiova) MSC: 03B52 03E72 06B05 06F05 PDFBibTeX XMLCite \textit{S. Saminger-Platz} et al., Indag. Math., New Ser. 19, No. 1, 135--150 (2008; Zbl 1171.03011) Full Text: DOI
Bezhanishvili, Guram; Vosmaer, Jacob Comparison of MacNeille, canonical, and profinite completions. (English) Zbl 1166.06002 Order 25, No. 4, 299-320 (2008). Reviewer: Dana Piciu (Craiova) MSC: 06B23 06D20 06D50 06E05 PDFBibTeX XMLCite \textit{G. Bezhanishvili} and \textit{J. Vosmaer}, Order 25, No. 4, 299--320 (2008; Zbl 1166.06002) Full Text: DOI
Tortrat, Albert Tautologies in formal logic. (Les tautologies en logique formelle.) (French. English summary) Zbl 1174.03300 Rev. Roum. Math. Pures Appl. 53, No. 4, 357-374 (2008). Reviewer: Dana Piciu (Craiova) MSC: 03B05 03A05 03C62 PDFBibTeX XMLCite \textit{A. Tortrat}, Rev. Roum. Math. Pures Appl. 53, No. 4, 357--374 (2008; Zbl 1174.03300)
Castiglioni, J. L.; Menni, M.; Sagastume, M. On some categories of involutive centered residuated lattices. (English) Zbl 1165.06002 Stud. Log. 90, No. 1, 93-124 (2008). Reviewer: Dana Piciu (Craiova) MSC: 06D05 03G30 06F05 PDFBibTeX XMLCite \textit{J. L. Castiglioni} et al., Stud. Log. 90, No. 1, 93--124 (2008; Zbl 1165.06002) Full Text: DOI
Clementino, Maria Manuel; Hofmann, Dirk Relative injectivity as cocompleteness for a class of distributors. (English) Zbl 1161.18300 Theory Appl. Categ. 21, 210-230 (2008). Reviewer: Dana Piciu (Craiova) MSC: 18A05 18D15 18D20 18B35 18C15 54B30 54A20 68Q55 PDFBibTeX XMLCite \textit{M. M. Clementino} and \textit{D. Hofmann}, Theory Appl. Categ. 21, 210--230 (2008; Zbl 1161.18300) Full Text: arXiv EuDML
Höhle, U. Many valued logic and sheaf theory. (English) Zbl 1160.03006 Sci. Math. Jpn. 68, No. 3, 417-433 (2008). Reviewer: Dana Piciu (Craiova) MSC: 03B50 03G30 PDFBibTeX XMLCite \textit{U. Höhle}, Sci. Math. Jpn. 68, No. 3, 417--433 (2008; Zbl 1160.03006)
Ciungu, Lavinia Corina States on pseudo-BCK algebras. (English) Zbl 1174.06021 Math. Rep., Bucur. 10(60), No. 1, 17-36 (2008). Reviewer: Dana Piciu (Craiova) MSC: 06F35 28A60 PDFBibTeX XMLCite \textit{L. C. Ciungu}, Math. Rep., Buchar. 10(60), No. 1, 17--36 (2008; Zbl 1174.06021)
Švrček, Filip On the axiomatic system of \(\mathrm{SBL}_\neg\)-algebras. (English) Zbl 1166.03039 Fundam. Inform. 89, No. 2-3, 345-368 (2008). Reviewer: Dana Piciu (Craiova) MSC: 03G25 03B52 PDFBibTeX XMLCite \textit{F. Švrček}, Fundam. Inform. 89, No. 2--3, 345--368 (2008; Zbl 1166.03039)
Tholen, Walter Injectivity versus exponentiability. (English) Zbl 1160.18002 Cah. Topol. Géom. Différ. Catég. 49, No. 3, 228-240 (2008). Reviewer: Dana Piciu (Craiova) MSC: 18A20 18A32 PDFBibTeX XMLCite \textit{W. Tholen}, Cah. Topol. Géom. Différ. Catég. 49, No. 3, 228--240 (2008; Zbl 1160.18002) Full Text: EuDML
Guido, Cosimo; Toto, Paola Extended-order algebras. (English) Zbl 1157.03041 J. Appl. Log. 6, No. 4, 609-626 (2008). Reviewer: Dana Piciu (Craiova) MSC: 03G25 06F05 PDFBibTeX XMLCite \textit{C. Guido} and \textit{P. Toto}, J. Appl. Log. 6, No. 4, 609--626 (2008; Zbl 1157.03041) Full Text: DOI
Leuştean, Ioana A determination principle for algebras of \(n\)-valued Łukasiewicz logic. (English) Zbl 1155.03046 J. Algebra 320, No. 10, 3694-3719 (2008). Reviewer: Dana Piciu (Craiova) MSC: 03G20 03B50 06D30 06D35 PDFBibTeX XMLCite \textit{I. Leuştean}, J. Algebra 320, No. 10, 3694--3719 (2008; Zbl 1155.03046) Full Text: DOI
Haniková, Zuzana; Savický, Petr Distinguishing standard SBL-algebras with involutive negations by propositional formulas. (English) Zbl 1155.03012 Math. Log. Q. 54, No. 6, 579-596 (2008). Reviewer: Dana Piciu (Craiova) MSC: 03B52 03G25 PDFBibTeX XMLCite \textit{Z. Haniková} and \textit{P. Savický}, Math. Log. Q. 54, No. 6, 579--596 (2008; Zbl 1155.03012) Full Text: DOI
Padmanabhan, R.; Rudeanu, S. Axioms for lattices and Boolean algebras. (English) Zbl 1158.06001 Hackensack, NJ: World Scientific (ISBN 978-981-283-454-6/hbk). ix, 216 p. (2008). Reviewer: Dana Piciu (Craiova) MSC: 06-02 03-02 03C05 PDFBibTeX XMLCite \textit{R. Padmanabhan} and \textit{S. Rudeanu}, Axioms for lattices and Boolean algebras. Hackensack, NJ: World Scientific (2008; Zbl 1158.06001)
Howard, David M.; Chae, Gab-Byung; Cheong, Minseok; Kim, Sang-Mok Irreducible width 2 posets of linear discrepancy \(3\). (English) Zbl 1152.06001 Order 25, No. 2, 105-119 (2008). Reviewer: Dana Piciu (Craiova) MSC: 06A06 06A05 PDFBibTeX XMLCite \textit{D. M. Howard} et al., Order 25, No. 2, 105--119 (2008; Zbl 1152.06001) Full Text: DOI
Solovyov, Sergey A. A representation theorem for quantale algebras. (English) Zbl 1147.06010 Dorfer, G. (ed.) et al., Proceedings of the 73rd workshop on general algebra “73. Arbeitstagung Allgemeine Algebra”, 22nd conference of young algebraists, Alps-Adriatic-University of Klagenfurt, Austria, February 1–4, 2007. Klagenfurt: Verlag Johannes Heyn (ISBN 978-3-7084-0303-8/pbk). Contributions to General Algebra 18, 189-197 (2008). Reviewer: Dana Piciu (Craiova) MSC: 06F07 PDFBibTeX XMLCite \textit{S. A. Solovyov}, Contrib. Gen. Algebra 18, 189--197 (2008; Zbl 1147.06010)
Scott, Dana S. The algebraic interpretation of quantifiers: intuitionistic and classical. (English) Zbl 1150.03019 Ehrenfeucht, A. (ed.) et al., Andrzej Mostowski and foundational studies. Amsterdam: IOS Press (ISBN 978-1-58603-782-6/hbk). 289-312 (2008). Reviewer: Dana Piciu (Craiova) MSC: 03G99 01A60 03-03 PDFBibTeX XMLCite \textit{D. S. Scott}, in: Andrzej Mostowski and foundational studies. Amsterdam: IOS Press. 289--312 (2008; Zbl 1150.03019)
Gehrke, Mai; Priestley, Hilary A. Canonical extensions and completions of posets and lattices. (English) Zbl 1147.06005 Rep. Math. Logic 43, 133-152 (2008). Reviewer: Dana Piciu (Craiova) MSC: 06B23 06A06 06B05 PDFBibTeX XMLCite \textit{M. Gehrke} and \textit{H. A. Priestley}, Rep. Math. Logic 43, 133--152 (2008; Zbl 1147.06005)
Bergmann, Merrie An introduction to many-valued and fuzzy logic. Semantics, algebras, and derivation systems. (English) Zbl 1148.03001 Cambridge: Cambridge University Press (ISBN 978-0-521-70757-2/pbk; 978-0-521-88128-9/hbk). xii, 392 p. EUR 20.99, $ 36.99/pbk; EUR 48.00, $ 90.00/hbk; $ 30.00/eBook (2008). Reviewer: Dana Piciu (Craiova) MSC: 03-01 03B50 03B52 03B05 03G25 PDFBibTeX XMLCite \textit{M. Bergmann}, An introduction to many-valued and fuzzy logic. Semantics, algebras, and derivation systems. Cambridge: Cambridge University Press (2008; Zbl 1148.03001)
Kühr, Jan Cantor-Bernstein theorem for pseudo-BCK-algebras. (English) Zbl 1143.06008 Int. J. Theor. Phys. 47, No. 1, 212-222 (2008). Reviewer: Dana Piciu (Craiova) MSC: 06F35 06D35 PDFBibTeX XMLCite \textit{J. Kühr}, Int. J. Theor. Phys. 47, No. 1, 212--222 (2008; Zbl 1143.06008) Full Text: DOI
Facchini, Alberto; Fernández-Alonso, Rogelio Subdirect products of preadditive categories and weak equivalences. (English) Zbl 1142.18006 Appl. Categ. Struct. 16, No. 1-2, 103-122 (2008). Reviewer: Dana Piciu (Craiova) MSC: 18E05 08B26 PDFBibTeX XMLCite \textit{A. Facchini} and \textit{R. Fernández-Alonso}, Appl. Categ. Struct. 16, No. 1--2, 103--122 (2008; Zbl 1142.18006) Full Text: DOI
Walters, R. F. C; Wood, R. J. Frobenius objects in cartesian bicategories. (English) Zbl 1153.18006 Theory Appl. Categ. 20, 25-47 (2008). Reviewer: Dana Piciu (Craiova) MSC: 18D05 18A25 PDFBibTeX XMLCite \textit{R. F. C Walters} and \textit{R. J. Wood}, Theory Appl. Categ. 20, 25--47 (2008; Zbl 1153.18006) Full Text: arXiv EuDML EMIS
Janelidze, Zurab Closedness properties of internal relations. V: Linear Mal’tsev conditions. (English) Zbl 1133.08002 Algebra Univers. 58, No. 1, 105-117 (2008). Reviewer: Dana Piciu (Craiova) MSC: 08B05 08C05 18C99 PDFBibTeX XMLCite \textit{Z. Janelidze}, Algebra Univers. 58, No. 1, 105--117 (2008; Zbl 1133.08002) Full Text: DOI
Larrión, F.; Pizaña, M. A.; Villarroel-Flores, R. Posets, clique graphs and their homotopy type. (English) Zbl 1127.05073 Eur. J. Comb. 29, No. 1, 334-342 (2008). Reviewer: Dana Piciu (Craiova) MSC: 05C69 06A07 55P10 PDFBibTeX XMLCite \textit{F. Larrión} et al., Eur. J. Comb. 29, No. 1, 334--342 (2008; Zbl 1127.05073) Full Text: DOI
Chajda, Ivan; Kolařík, Miroslav Ideals, congruences and annihilators on nearlattices. (English) Zbl 1147.06002 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 46, 25-33 (2007). Reviewer: Dana Piciu (Craiova) MSC: 06A12 06D99 06C99 PDFBibTeX XMLCite \textit{I. Chajda} and \textit{M. Kolařík}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 46, 25--33 (2007; Zbl 1147.06002) Full Text: EuDML
Plotkin, Boris; Zhitomirski, Grigori On automorphisms of categories of universal algebras. (English) Zbl 1161.08003 Int. J. Algebra Comput. 17, No. 5-6, 1115-1132 (2007). Reviewer: Dana Piciu (Craiova) MSC: 08C05 08B20 PDFBibTeX XMLCite \textit{B. Plotkin} and \textit{G. Zhitomirski}, Int. J. Algebra Comput. 17, No. 5--6, 1115--1132 (2007; Zbl 1161.08003) Full Text: DOI arXiv
Laan, Valdis; Penjam, Pille On descent theory for distributors. (English) Zbl 1140.18003 Acta Comment. Univ. Tartu. Math. 11, 13-22 (2007). Reviewer: Dana Piciu (Craiova) MSC: 18A22 18A35 PDFBibTeX XMLCite \textit{V. Laan} and \textit{P. Penjam}, Acta Comment. Univ. Tartu. Math. 11, 13--22 (2007; Zbl 1140.18003)
Ciungu, L. C. Convergences in perfect BL-algebras. (English) Zbl 1143.03036 Mathware Soft Comput. 14, No. 1, 67-80 (2007). Reviewer: Dana Piciu (Craiova) MSC: 03G25 03B52 06D35 PDFBibTeX XMLCite \textit{L. C. Ciungu}, Mathware Soft Comput. 14, No. 1, 67--80 (2007; Zbl 1143.03036) Full Text: EuDML
Hirsch, Robin; Mikulás, Szabolcs Representable semilattice-ordered monoids. (English) Zbl 1136.03044 Algebra Univers. 57, No. 3, 333-370 (2007). Reviewer: Dana Piciu (Craiova) MSC: 03G15 06F05 PDFBibTeX XMLCite \textit{R. Hirsch} and \textit{S. Mikulás}, Algebra Univers. 57, No. 3, 333--370 (2007; Zbl 1136.03044) Full Text: DOI
Alm, Jeremy F. On the variety question for wRRA. (English) Zbl 1136.03043 Algebra Univers. 57, No. 2, 195-206 (2007). Reviewer: Dana Piciu (Craiova) MSC: 03G15 PDFBibTeX XMLCite \textit{J. F. Alm}, Algebra Univers. 57, No. 2, 195--206 (2007; Zbl 1136.03043) Full Text: DOI
Diaconescu, Denisa; Georgescu, George Tense operators on MV-algebras and Łukasiewicz-Moisil algebras. (English) Zbl 1136.03045 Fundam. Inform. 81, No. 4, 379-408 (2007). Reviewer: Dana Piciu (Craiova) MSC: 03G20 06D30 06D35 03B45 03B50 PDFBibTeX XMLCite \textit{D. Diaconescu} and \textit{G. Georgescu}, Fundam. Inform. 81, No. 4, 379--408 (2007; Zbl 1136.03045)
Voutsadakis, George Categorical abstract algebraic logic: Strong version of a protoalgebraic \(\pi\)-institution. (English) Zbl 1133.03044 Rep. Math. Logic 42, 19-46 (2007). Reviewer: Dana Piciu (Craiova) MSC: 03G30 18C15 68N30 PDFBibTeX XMLCite \textit{G. Voutsadakis}, Rep. Math. Logic 42, 19--46 (2007; Zbl 1133.03044)
Adámek, Jiří; Milius, Stefan; Velebil, Jiří Algebras with parametrized iterativity. (English) Zbl 1131.18002 Theor. Comput. Sci. 388, No. 1-3, 130-151 (2007). Reviewer: Dana Piciu (Craiova) MSC: 18C10 08B20 68Q45 PDFBibTeX XMLCite \textit{J. Adámek} et al., Theor. Comput. Sci. 388, No. 1--3, 130--151 (2007; Zbl 1131.18002) Full Text: DOI
Lai, Hongliang; Zhang, Dexue Complete and directed complete \(\Omega \)-categories. (English) Zbl 1131.18006 Theor. Comput. Sci. 388, No. 1-3, 1-25 (2007). Reviewer: Dana Piciu (Craiova) MSC: 18D20 06F07 PDFBibTeX XMLCite \textit{H. Lai} and \textit{D. Zhang}, Theor. Comput. Sci. 388, No. 1--3, 1--25 (2007; Zbl 1131.18006) Full Text: DOI
Vespa, Christine Generic representations of orthogonal groups: the mixed functors. (English) Zbl 1133.18001 Algebr. Geom. Topol. 7, 379-410 (2007). Reviewer: Dana Piciu (Craiova) MSC: 18A25 16D90 20C20 PDFBibTeX XMLCite \textit{C. Vespa}, Algebr. Geom. Topol. 7, 379--410 (2007; Zbl 1133.18001) Full Text: DOI arXiv
Howard, David M.; Keller, Mitchel T.; Young, Stephen J. A characterization of partially ordered sets with linear discrepancy equal to \(2\). (English) Zbl 1127.06001 Order 24, No. 3, 139-153 (2007). Reviewer: Dana Piciu (Craiova) MSC: 06A07 PDFBibTeX XMLCite \textit{D. M. Howard} et al., Order 24, No. 3, 139--153 (2007; Zbl 1127.06001) Full Text: DOI
Vince, Andrew; Wang, Hua Infinitely many trees have non-Sperner subtree poset. (English) Zbl 1127.06002 Order 24, No. 2, 133-138 (2007). Reviewer: Dana Piciu (Craiova) MSC: 06A07 PDFBibTeX XMLCite \textit{A. Vince} and \textit{H. Wang}, Order 24, No. 2, 133--138 (2007; Zbl 1127.06002) Full Text: DOI
Chajda, I.; Emanovský, P.; Kolařík, M. MV-like algebras associated to \(\lambda\)-ortholattices. (English) Zbl 1127.06006 Demonstr. Math. 40, No. 2, 261-270 (2007). Reviewer: Dana Piciu (Craiova) MSC: 06C15 06E30 06D35 PDFBibTeX XMLCite \textit{I. Chajda} et al., Demonstr. Math. 40, No. 2, 261--270 (2007; Zbl 1127.06006) Full Text: DOI
Enochs, Edgar E.; Iacob, Alina; Jenda, Overtoun M. G. Closure under transfinite extensions. (English) Zbl 1131.18007 Ill. J. Math. 51, No. 2, 561-569 (2007). Reviewer: Dana Piciu (Craiova) MSC: 18E15 18A30 PDFBibTeX XMLCite \textit{E. E. Enochs} et al., Ill. J. Math. 51, No. 2, 561--569 (2007; Zbl 1131.18007)
Kharat, V. S.; Waphare, B. N.; Thakare, N. K. Reducibility number. (English) Zbl 1122.06002 Discrete Appl. Math. 155, No. 16, 2069-2076 (2007). Reviewer: Dana Piciu (Craiova) MSC: 06A07 06A11 06C05 06D05 PDFBibTeX XMLCite \textit{V. S. Kharat} et al., Discrete Appl. Math. 155, No. 16, 2069--2076 (2007; Zbl 1122.06002) Full Text: DOI
Doberkat, Ernst-Erich Kleisli morphisms and randomized congruences for the Giry monad. (English) Zbl 1122.18004 J. Pure Appl. Algebra 211, No. 3, 638-664 (2007). Reviewer: Dana Piciu (Craiova) MSC: 18C20 03B45 08A70 18A32 18B10 PDFBibTeX XMLCite \textit{E.-E. Doberkat}, J. Pure Appl. Algebra 211, No. 3, 638--664 (2007; Zbl 1122.18004) Full Text: DOI
Barto, Libor Finitary set endofunctors are alg-universal. (English) Zbl 1122.18002 Algebra Univers. 57, No. 1, 15-26 (2007). Reviewer: Dana Piciu (Craiova) MSC: 18B15 08B99 08C05 PDFBibTeX XMLCite \textit{L. Barto}, Algebra Univers. 57, No. 1, 15--26 (2007; Zbl 1122.18002) Full Text: DOI
Janelidze, Zurab Closedness properties of internal relations. III: Pointed protomodular categories. (English) Zbl 1124.18002 Appl. Categ. Struct. 15, No. 3, 325-338 (2007). Reviewer: Dana Piciu (Craiova) MSC: 18C99 08B05 PDFBibTeX XMLCite \textit{Z. Janelidze}, Appl. Categ. Struct. 15, No. 3, 325--338 (2007; Zbl 1124.18002) Full Text: DOI
Voutsadakis, George Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity. (English) Zbl 1124.03048 Stud. Log. 85, No. 2, 215-249 (2007). Reviewer: Dana Piciu (Craiova) MSC: 03G30 18C15 PDFBibTeX XMLCite \textit{G. Voutsadakis}, Stud. Log. 85, No. 2, 215--249 (2007; Zbl 1124.03048) Full Text: DOI
Kahn, Bruno; Sujatha, R. A few localisation theorems. (English) Zbl 1153.18011 Homology Homotopy Appl. 9, No. 2, 137-161 (2007). Reviewer: Dana Piciu (Craiova) MSC: 18E35 18A99 18F05 14A15 14E05 18F25 PDFBibTeX XMLCite \textit{B. Kahn} and \textit{R. Sujatha}, Homology Homotopy Appl. 9, No. 2, 137--161 (2007; Zbl 1153.18011) Full Text: DOI arXiv Link
Day, Brian J.; Lack, Stephen Limits of small functors. (English) Zbl 1120.18001 J. Pure Appl. Algebra 210, No. 3, 651-663 (2007). Reviewer: Dana Piciu (Craiova) MSC: 18A25 18A30 18D20 18C35 PDFBibTeX XMLCite \textit{B. J. Day} and \textit{S. Lack}, J. Pure Appl. Algebra 210, No. 3, 651--663 (2007; Zbl 1120.18001) Full Text: DOI arXiv
Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira Residuated lattices. An algebraic glimpse at substructural logics. (English) Zbl 1171.03001 Studies in Logic and the Foundations of Mathematics 151. Amsterdam: Elsevier (ISBN 978-0-444-52141-5/hbk). xxi, 509 p. (2007). Reviewer: Dana Piciu (Craiova) MSC: 03-01 03-02 03B47 03F05 03G10 06-01 06-02 06B20 06F05 PDFBibTeX XMLCite \textit{N. Galatos} et al., Residuated lattices. An algebraic glimpse at substructural logics. Amsterdam: Elsevier (2007; Zbl 1171.03001)
Arndt, Peter; de Alvarenga Freire, Rodrigo; Luciano, Odilon Otavio; Mariano, Hugo Luiz A global glance on categories in logic. (English) Zbl 1119.03071 Log. Univers. 1, No. 1, 3-39 (2007). Reviewer: Dana Piciu (Craiova) MSC: 03G30 03B22 18C35 PDFBibTeX XMLCite \textit{P. Arndt} et al., Log. Univers. 1, No. 1, 3--39 (2007; Zbl 1119.03071) Full Text: DOI
Järvinen, Jouni; Kondo, Michiro; Kortelainen, Jari Modal-like operators in Boolean lattices, Galois connections and fixed points. (English) Zbl 1117.03069 Fundam. Inform. 76, No. 1-2, 129-145 (2007). Reviewer: Dana Piciu (Craiova) MSC: 03G25 06A15 06E25 PDFBibTeX XMLCite \textit{J. Järvinen} et al., Fundam. Inform. 76, No. 1--2, 129--145 (2007; Zbl 1117.03069)
Voutsadakis, George Categorical abstract algebraic logic: subdirect representation of pofunctors. (English) Zbl 1110.18003 Commun. Algebra 35, No. 1, 271-280 (2007). Reviewer: Dana Piciu (Craiova) MSC: 18C15 03G30 08C05 08B05 68N30 PDFBibTeX XMLCite \textit{G. Voutsadakis}, Commun. Algebra 35, No. 1, 271--280 (2007; Zbl 1110.18003) Full Text: DOI
Bell, John L. Abstract and variable sets in category theory. (English) Zbl 1153.18001 Sica, Giandomenico (ed.), What is category theory?. Monza: Polimetrica (ISBN 88-7699-031-3/pbk). Advanced Studies in Mathematics and Logic 3, 9-16 (2006). Reviewer: Dana Piciu (Craiova) MSC: 18A15 PDFBibTeX XMLCite \textit{J. L. Bell}, Adv. Stud. Math. Log. 3, 9--16 (2006; Zbl 1153.18001)
Janelidze, Zurab Closedness properties of internal relations. IV: Expressing additivity of a category via subtractivity. (English) Zbl 1124.18003 J. Homotopy Relat. Struct. 1, No. 1, 219-227 (2006). Reviewer: Dana Piciu (Craiova) MSC: 18C99 18E05 18E10 08B05 08C05 18D35 PDFBibTeX XMLCite \textit{Z. Janelidze}, J. Homotopy Relat. Struct. 1, No. 1, 219--227 (2006; Zbl 1124.18003) Full Text: arXiv EuDML EMIS
Pal’chunov, D. E.; Yakh’yaeva, G. È. Interval fuzzy algebraic systems. (English) Zbl 1119.03070 Goncharov, S. S. (ed.) et al., Mathematical logic in Asia. Proceedings of the 9th Asian logic conference, Novosibirsk, Russia, August 16–19, 2005. Hackensack, NJ: World Scientific (ISBN 978-981-270-045-2/hbk). 191-202 (2006). Reviewer: Dana Piciu (Craiova) MSC: 03G25 03B52 PDFBibTeX XMLCite \textit{D. E. Pal'chunov} and \textit{G. È. Yakh'yaeva}, in: Mathematical logic in Asia. Proceedings of the 9th Asian logic conference, Novosibirsk, Russia, August 16--19, 2005. Hackensack, NJ: World Scientific. 191--202 (2006; Zbl 1119.03070)
Dubuc, Eduardo J.; Street, Ross A construction of 2-filtered bicolimits of categories. (English) Zbl 1110.18004 Cah. Topol. Géom. Différ. Catég. 47, No. 2, 83-106 (2006); correction ibid. 62, No. 2, 239-242 (2021). Reviewer: Dana Piciu (Craiova) MSC: 18D05 18A30 PDFBibTeX XMLCite \textit{E. J. Dubuc} and \textit{R. Street}, Cah. Topol. Géom. Différ. Catég. 47, No. 2, 83--106 (2006; Zbl 1110.18004) Full Text: arXiv Numdam EuDML
Jipsen, P.; Montagna, F. On the structure of generalized BL-algebras. (English) Zbl 1109.06011 Algebra Univers. 55, No. 2-3, 227-238 (2006). Reviewer: Dana Piciu (Craiova) MSC: 06D35 06F05 03G25 08B15 PDFBibTeX XMLCite \textit{P. Jipsen} and \textit{F. Montagna}, Algebra Univers. 55, No. 2--3, 227--238 (2006; Zbl 1109.06011) Full Text: DOI
Cignoli, Roberto; Monteiro, Luiz Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro. (English) Zbl 1112.06013 Stud. Log. 84, No. 3, 393-405 (2006). Reviewer: Dana Piciu (Craiova) MSC: 06D35 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{L. Monteiro}, Stud. Log. 84, No. 3, 393--405 (2006; Zbl 1112.06013) Full Text: DOI
Georgescu, George; Popescu, Andrei A common generalization for MV-algebras and Łukasiewicz-Moisil algebras. (English) Zbl 1109.06010 Arch. Math. Logic 45, No. 8, 947-981 (2006). Reviewer: Dana Piciu (Craiova) MSC: 06D35 03G20 06F15 PDFBibTeX XMLCite \textit{G. Georgescu} and \textit{A. Popescu}, Arch. Math. Logic 45, No. 8, 947--981 (2006; Zbl 1109.06010) Full Text: DOI
Plotkin, B.; Zhitomirski, G. Automorphisms of categories of free algebras of some varieties. (English) Zbl 1105.08006 J. Algebra 306, No. 2, 344-367 (2006). Reviewer: Dana Piciu (Craiova) MSC: 08B20 08C05 08A35 PDFBibTeX XMLCite \textit{B. Plotkin} and \textit{G. Zhitomirski}, J. Algebra 306, No. 2, 344--367 (2006; Zbl 1105.08006) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{J. Adámek}, Theor. Comput. Sci. 366, No. 1--2, 82--97 (2006; Zbl 1110.18002) Full Text: DOI
Rossi, Valentina Admissible Galois structures and coverings in regular Mal’cev categories. (English) Zbl 1112.18001 Appl. Categ. Struct. 14, No. 4, 291-311 (2006). Reviewer: Dana Piciu (Craiova) MSC: 18A40 08B10 18E10 18D35 PDFBibTeX XMLCite \textit{V. Rossi}, Appl. Categ. Struct. 14, No. 4, 291--311 (2006; Zbl 1112.18001) Full Text: DOI
Haucourt, Emmanuel Categories of components and loop-free categories. (English) Zbl 1117.18006 Theory Appl. Categ. 16, 736-770 (2006). Reviewer: Dana Piciu (Craiova) MSC: 18D30 18A20 18A22 18A32 18B35 18E35 55P99 18F99 PDFBibTeX XMLCite \textit{E. Haucourt}, Theory Appl. Categ. 16, 736--770 (2006; Zbl 1117.18006) Full Text: EuDML EMIS