Cignoli, Roberto; Torrens, Antoni Erratum to: “Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \({2(x^2) = (2x)^2}\)”. (English) Zbl 1403.06014 Stud. Log. 105, No. 1, 227-228 (2017). MSC: 06D35 03G25 06E15 08B20 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{A. Torrens}, Stud. Log. 105, No. 1, 227--228 (2017; Zbl 1403.06014) Full Text: DOI
Cignoli, Roberto; Marra, Vincenzo Stone duality for real-valued multisets. (English) Zbl 1273.06006 Forum Math. 24, No. 6, 1317-1331 (2012). Reviewer: Brunella Gerla (Varese) MSC: 06D35 06D50 06E15 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{V. Marra}, Forum Math. 24, No. 6, 1317--1331 (2012; Zbl 1273.06006) Full Text: DOI
Cignoli, Roberto Boolean skeletons of MV-algebras and \(\ell \)-groups. (English) Zbl 1258.06007 Stud. Log. 98, No. 1-2, 141-147 (2011). Reviewer: Daniele Mundici (Firenze) MSC: 06D35 06F15 PDFBibTeX XMLCite \textit{R. Cignoli}, Stud. Log. 98, No. 1--2, 141--147 (2011; Zbl 1258.06007) Full Text: DOI
Cignoli, Roberto Locally finite MV-algebras, multisets and a conjecture of António Aniceto Monteiro. (English) Zbl 1158.06305 Bol. Soc. Port. Mat., Spec. Iss., 251-261 (2008). MSC: 06D35 06D30 PDFBibTeX XMLCite \textit{R. Cignoli}, Bol. Soc. Port. Mat., 251--261 (2008; Zbl 1158.06305)
Busaniche, Manuela; Cignoli, Roberto Free MV\(_n\)-algebras. (English) Zbl 1159.06008 Algebra Univers. 58, No. 3, 335-340 (2008). Reviewer: Renata Majovská (Horní Suchá) MSC: 06D35 08B20 PDFBibTeX XMLCite \textit{M. Busaniche} and \textit{R. Cignoli}, Algebra Univers. 58, No. 3, 335--340 (2008; Zbl 1159.06008) Full Text: DOI
Cignoli, Roberto The algebras of Łukasiewicz many-valued logic: A historical overview. (English) Zbl 1122.03001 Aguzzoli, Stefano (ed.) et al., Algebraic and proof-theoretic aspects of non-classical logics. Papers in honor of Daniele Mundici on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-540-75938-6/pbk). Lecture Notes in Computer Science 4460. Lecture Notes in Artificial Intelligence, 69-83 (2007). MSC: 03-03 03B50 03G20 06D30 06D35 06F20 06F35 PDFBibTeX XMLCite \textit{R. Cignoli}, Lect. Notes Comput. Sci. 4460, 69--83 (2007; Zbl 1122.03001) Full Text: DOI
Cignoli, Roberto; Mundici, Daniele; Navara, Mirko Kleene-isomorphic \(\sigma\)-complete MV-algebras with product are isomorphic. (English) Zbl 1161.06005 J. Mult.-Val. Log. Soft Comput. 12, No. 1-2, 1-8 (2006). Reviewer: Renata Majovská (Horní Suchá) MSC: 06D35 60B99 PDFBibTeX XMLCite \textit{R. Cignoli} et al., J. Mult.-Val. Log. Soft Comput. 12, No. 1--2, 1--8 (2006; Zbl 1161.06005)
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
Cignoli, Roberto; Mundici, Daniele Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit. (English) Zbl 1108.06011 J. Algebra 302, No. 2, 848-861 (2006). Reviewer: Jiří Rachůnek (Olomouc) MSC: 06F20 06D35 06F15 06D50 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{D. Mundici}, J. Algebra 302, No. 2, 848--861 (2006; Zbl 1108.06011) Full Text: DOI
Cignoli, Roberto; Torrens Torrell, Antoni Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\). (English) Zbl 1115.06006 Stud. Log. 83, No. 1-3, 157-181 (2006); erratum ibid. 105, No. 1, 227-228 (2017). Reviewer: Rostislav Horčík (Praha) MSC: 06D35 03G25 06E15 08B20 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{A. Torrens Torrell}, Stud. Log. 83, No. 1--3, 157--181 (2006; Zbl 1115.06006) Full Text: DOI
Busaniche, Manuela; Cignoli, Roberto Free algebras in varieties of BL-algebras generated by a \(\text{BL}_n\)-chain. (English) Zbl 1094.03058 J. Aust. Math. Soc. 80, No. 3, 419-439 (2006). MSC: 03G25 08B20 06D35 03B50 03B52 PDFBibTeX XMLCite \textit{M. Busaniche} and \textit{R. Cignoli}, J. Aust. Math. Soc. 80, No. 3, 419--439 (2006; Zbl 1094.03058) Full Text: DOI
Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele Extending Stone duality to multisets and locally finite MV-algebras. (English) Zbl 1055.06004 J. Pure Appl. Algebra 189, No. 1-3, 37-59 (2004). Reviewer: Klaus Kaiser (Houston) MSC: 06D35 06D50 PDFBibTeX XMLCite \textit{R. Cignoli} et al., J. Pure Appl. Algebra 189, No. 1--3, 37--59 (2004; Zbl 1055.06004) Full Text: DOI
Cignoli, Roberto; Dubuc, Eduardo J.; Mundici, Daniele An MV-algebraic invariant for Boolean algebras with a finite-orbit automorphism. (English) Zbl 1064.06006 Tatra Mt. Math. Publ. 27, 23-43 (2003). Reviewer: Beloslav Riečan (Bratislava ) MSC: 06D35 06E25 06E15 PDFBibTeX XMLCite \textit{R. Cignoli} et al., Tatra Mt. Math. Publ. 27, 23--43 (2003; Zbl 1064.06006)
Cignoli, Roberto; Torrens, Antoni Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic. (English) Zbl 1025.03018 Arch. Math. Logic 42, No. 4, 361-370 (2003). MSC: 03B52 03B50 06D35 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{A. Torrens}, Arch. Math. Logic 42, No. 4, 361--370 (2003; Zbl 1025.03018) Full Text: DOI
Cignoli, Roberto; Torrens, Antoni Free algebras in varieties of BL-algebras with a Boolean retract. (English) Zbl 1058.03077 Algebra Univers. 48, No. 1, 55-79 (2002). Reviewer: Jiří Rachůnek (Olomouc) MSC: 03G25 06E15 08B20 03B52 06D35 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{A. Torrens}, Algebra Univers. 48, No. 1, 55--79 (2002; Zbl 1058.03077) Full Text: DOI
Cignoli, Roberto; Mundici, Daniele Partial isomorphisms on totally ordered abelian groups and Hájek’s completeness theorem for basic logic. (English) Zbl 1020.03019 Mult.-Valued Log. 6, No. 1-2, 89-94 (2001). Reviewer: Wiesław A.Dudek (Wrocław) MSC: 03B52 06D35 06F20 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{D. Mundici}, Mult.-Valued Log. 6, No. 1--2, 89--94 (2001; Zbl 1020.03019)
Caicedo, Xavier; Cignoli, Roberto An algebraic approach to intuitionistic connectives. (English) Zbl 0994.03024 J. Symb. Log. 66, No. 4, 1620-1636 (2001). MSC: 03B55 03B20 03G25 06D20 PDFBibTeX XMLCite \textit{X. Caicedo} and \textit{R. Cignoli}, J. Symb. Log. 66, No. 4, 1620--1636 (2001; Zbl 0994.03024) Full Text: DOI
Cignoli, Roberto; Torrens, Antoni An algebraic analysis of product logic. (English) Zbl 0962.03059 Mult.-Valued Log. 5, No. 1, 45-65 (2000). Reviewer: Daniele Mundici (Milano) MSC: 03G25 03B50 06D35 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{A. Torrens}, Mult.-Valued Log. 5, No. 1, 45--65 (2000; Zbl 0962.03059)
Cignoli, Roberto; Torrens, Antoni Free Stone algebras. (English) Zbl 0982.06010 Discrete Math. 222, No. 1-3, 251-257 (2000). Reviewer: T.Katriňák (Bratislava) MSC: 06D15 08B20 08B26 06D50 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{A. Torrens}, Discrete Math. 222, No. 1--3, 251--257 (2000; Zbl 0982.06010) Full Text: DOI
Cignoli, Roberto L. O.; D’Ottaviano, Itala M. Loffredo; Mundici, Daniele Algebraic foundations of many-valued reasoning. (English) Zbl 0937.06009 Trends in Logic–Studia Logica Library. 7. Dordrecht: Kluwer Academic Publishers. ix, 231 p. (2000). Reviewer: A.Dvurečenskij (Bratislava) MSC: 06D35 03B50 06-02 03-02 03G25 06F20 PDFBibTeX XMLCite \textit{R. L. O. Cignoli} et al., Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)
Cignoli, Roberto; Mundici, Daniele An elementary presentation of the equivalence between MV-algebras and \(\ell\)-groups with strong unit. (English) Zbl 0964.06009 Stud. Log. 61, No. 1, 49-64 (1998). Reviewer: Jan Jakubík (Košice) MSC: 06D35 06F15 03G25 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{D. Mundici}, Stud. Log. 61, No. 1, 49--64 (1998; Zbl 0964.06009) Full Text: DOI
Abad, Manuel; Cignoli, Roberto; Díaz Varela, J. Patricio \({\mathcal K}\)-Post algebras of order \(n\). (English) Zbl 0917.06005 Math. Jap. 48, No. 2, 267-273 (1998). Reviewer: L.Esakia (Tbilisi) MSC: 06D25 08B20 08C05 03G20 PDFBibTeX XMLCite \textit{M. Abad} et al., Math. Japon. 48, No. 2, 267--273 (1998; Zbl 0917.06005)
Cignoli, Roberto; Mundici, Daniele An elementary proof of Chang’s completeness theorem for the infinite-valued calculus of Łukasiewicz. (English) Zbl 0876.03011 Stud. Log. 58, No. 1, 79-97 (1997). Reviewer: A.Hoogewijs (Gent) MSC: 03B50 06D30 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{D. Mundici}, Stud. Log. 58, No. 1, 79--97 (1997; Zbl 0876.03011) Full Text: DOI
Cignoli, Roberto; Mundici, Daniele An invitation to Chang’s MV algebras. (English) Zbl 0935.06010 Droste, Manfred (ed.) et al., Advances in algebra and model theory. Selected surveys presented at conferences in Essen 1994 and Dresden 1995. Reading: Gordon and Breach Science Publishers. Algebra Log. Appl. 9, 171-197 (1997). Reviewer: A.Di Nola (Napoli) MSC: 06D35 03B50 06F20 03G25 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{D. Mundici}, Algebra Log. Appl. 9, 171--197 (1997; Zbl 0935.06010)
Cignoli, Roberto; Torrens Torrell, Antoni Boolean products of MV-algebras: hypernormal MV-algebras. (English) Zbl 0849.06012 J. Math. Anal. Appl. 199, No. 3, 637-653 (1996). Reviewer: D.Mundici (Milano) MSC: 06D35 03G20 06F20 54C30 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{A. Torrens Torrell}, J. Math. Anal. Appl. 199, No. 3, 637--653 (1996; Zbl 0849.06012) Full Text: DOI
Cignoli, Roberto Free \(Q\)-distributive lattices. (English) Zbl 0844.06005 Stud. Log. 56, No. 1-2, 23-29 (1996). MSC: 06D05 06B25 PDFBibTeX XMLCite \textit{R. Cignoli}, Stud. Log. 56, No. 1--2, 23--29 (1996; Zbl 0844.06005) Full Text: DOI
Cignoli, Roberto; Torrens, Antoni Retractive MV-algebras. (English) Zbl 0857.06006 Mathware Soft Comput. 2, No. 3, 157-165 (1995). MSC: 06D30 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{A. Torrens}, Mathware Soft Comput. 2, No. 3, 157--165 (1995; Zbl 0857.06006) Full Text: EuDML
Cignoli, Roberto Free lattice-ordered abelian groups and varieties of MV-algebras. (English) Zbl 0827.06012 Proceedings of the IX Latin American symposium on mathematical logic, Bahía Blanca, Argentina, August 3-8, 1992. Part 1. Bahía Blanca: Universidad Nacional del Sur, Notas Logica Mat. 38, 113-118 (1993). Reviewer: D.Mundici (Milano) MSC: 06F20 06D30 03B50 PDFBibTeX XMLCite \textit{R. Cignoli}, in: Proceedings of the IX Latin American symposium on mathematical logic, Bahía Blanca, Argentina, August 3-8, 1992. Part 1. Bahía Blanca: Universidad Nacional del Sur. 113--118 (1993; Zbl 0827.06012)
Cignoli, R.; Di Nola, A.; Lettieri, A. Priestley duality and quotient lattices of many-valued algebras. (English) Zbl 0787.06013 Rend. Circ. Mat. Palermo, II. Ser. 40, No. 3, 371-384 (1991). MSC: 06D30 06F30 06D25 03G25 PDFBibTeX XMLCite \textit{R. Cignoli} et al., Rend. Circ. Mat. Palermo (2) 40, No. 3, 371--384 (1991; Zbl 0787.06013) Full Text: DOI
Cignoli, Roberto Distributive lattice congruences and Priestley spaces. (English) Zbl 0790.06010 Germani, Aurora (ed.) et al., Proceedings of the first congress of mathematics “Dr. Antonio A.R. Monteiro”, Bahia Blanca, Argentina, 1991. Bahia Blanca: Dept. de Matemática, Universidad Nacional del Sur, 81-84 (1991). MSC: 06D05 PDFBibTeX XMLCite \textit{R. Cignoli}, in: Actas del primer congreso de matemática ''Dr. Antonio A.R. Monteiro''. Bahia Blanca: Dept. de Matemática, Universidad Nacional del Sur. 81--84 (1991; Zbl 0790.06010)
Cignoli, Roberto Quantifiers on distributive lattices. (English) Zbl 0753.06012 Discrete Math. 96, No. 3, 183-197 (1991). Reviewer: Peter T. Johnstone (Cambridge) MSC: 06D99 03G15 08B15 08B26 PDFBibTeX XMLCite \textit{R. Cignoli}, Discrete Math. 96, No. 3, 183--197 (1991; Zbl 0753.06012) Full Text: DOI
Cignoli, R.; Lafalce, S.; Petrovich, A. Remarks on Priestley duality for distributive lattices. (English) Zbl 0754.06006 Order 8, No. 3, 299-315 (1991). Reviewer: J.Niederle (Brno) MSC: 06D05 PDFBibTeX XMLCite \textit{R. Cignoli} et al., Order 8, No. 3, 299--315 (1991; Zbl 0754.06006) Full Text: DOI
Adams, M. E.; Cignoli, R. A note on the axiomatization of equational classes of n-valued Łukasiewicz algebras. (English) Zbl 0701.06012 Notre Dame J. Formal Logic 31, No. 2, 304-307 (1990). MSC: 06D30 08B05 PDFBibTeX XMLCite \textit{M. E. Adams} and \textit{R. Cignoli}, Notre Dame J. Formal Logic 31, No. 2, 304--307 (1990; Zbl 0701.06012) Full Text: DOI
Cignoli, Roberto The class of Kleene algebras satisfying an interpolation property and Nelson algebras. (English) Zbl 0621.06009 Algebra Univers. 23, 262-292 (1986). Reviewer: H.Yutani MSC: 06D30 03G25 08C05 18A40 PDFBibTeX XMLCite \textit{R. Cignoli}, Algebra Univers. 23, 262--292 (1986; Zbl 0621.06009) Full Text: DOI
Cignoli, Roberto; De Gallego, Marta S. Dualities for some De Morgan algebras with operators and Lukasiewicz algebras. (English) Zbl 0523.06019 J. Aust. Math. Soc., Ser. A 34, 377-393 (1983). MSC: 06D30 06B20 03G20 03G25 08B15 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{M. S. De Gallego}, J. Aust. Math. Soc., Ser. A 34, 377--393 (1983; Zbl 0523.06019)
Cignoli, R.; de Gallego, M. S. The lattice structure of some Lukasiewicz algebras. (English) Zbl 0495.03045 Algebra Univers. 13, 315-328 (1981). MSC: 03G20 03B50 06D30 PDFBibTeX XMLCite \textit{R. Cignoli} and \textit{M. S. de Gallego}, Algebra Univers. 13, 315--328 (1981; Zbl 0495.03045) Full Text: DOI
Cignoli, Roberto Some algebraic aspects of many-valued logics. (English) Zbl 0455.06005 Proc. 3rd Braz. Conf. on Mathematical logic, Recife 1979, 49-69 (1980). MSC: 06D30 06D05 06D20 06D25 06-03 01A60 03B50 03G20 PDFBibTeX XML
Cignoli, Roberto Coproducts in the categories of Kleene and three-valued Lukasiewicz algebras. (English) Zbl 0432.03038 Stud. Log. 38, 237-245 (1979). MSC: 03G20 06D05 06F30 18B99 18A30 PDFBibTeX XMLCite \textit{R. Cignoli}, Stud. Log. 38, 237--245 (1979; Zbl 0432.03038) Full Text: DOI
Cignoli, Roberto The lattice of global sections of sheaves of chains over Boolean spaces. (English) Zbl 0395.06006 Algebra Univers. 8, 357-373 (1978). MSC: 06D05 06D25 06D30 06E10 16W80 PDFBibTeX XMLCite \textit{R. Cignoli}, Algebra Univers. 8, 357--373 (1978; Zbl 0395.06006) Full Text: DOI
Cignoli, Roberto Injective De Morgan and Kleene algebras. (English) Zbl 0301.06009 Proc. Am. Math. Soc. 47, 269-278 (1975). MSC: 06D05 03G25 08B99 PDFBibTeX XMLCite \textit{R. Cignoli}, Proc. Am. Math. Soc. 47, 269--278 (1975; Zbl 0301.06009) Full Text: DOI
Cignoli, Roberto Topological representation of Lukasiewicz and Post algebras. (English) Zbl 0302.06023 Notas de Logica Matematica. 33. Bahia Blanca, Argentina: Instituto de Matematica Universidad Nacional del Sur. 20 p. (1974). MSC: 06D05 06E05 08Axx 22A99 03G05 PDFBibTeX XML
Cignoli, Roberto Stone filters and ideals in distributive lattices. (English) Zbl 0259.06005 Bull. Math. Soc. Sci. Math. Répub. Soc. Roum., Nouv. Sér. 15(63)(1971), 131-137 (1972). MSC: 06D05 06E05 06A15 PDFBibTeX XMLCite \textit{R. Cignoli}, Bull. Math. Soc. Sci. Math. Répub. Soc. Roum., Nouv. Sér. 15(63), 131--137 (1972; Zbl 0259.06005)
Cignoli, Roberto Representation of Lukasiewicz and Post algebras by continuous functions. (English) Zbl 0246.02043 Colloq. Math. 24, 127-138 (1972). MSC: 03G05 06D05 PDFBibTeX XMLCite \textit{R. Cignoli}, Colloq. Math. 24, 127--138 (1972; Zbl 0246.02043) Full Text: DOI
Cignoli, Roberto A Hahn-Banach theorem for distributive lattices. (English) Zbl 0309.06006 Rev. Un. Mat. Argentina 25, 335-342 (1971). MSC: 06D05 06E05 06B23 PDFBibTeX XMLCite \textit{R. Cignoli}, Rev. Unión Mat. Argent. 25, 335--342 (1971; Zbl 0309.06006)