Mundici, Daniele Yosida frames in free abelian \(\ell \)-groups. (English) Zbl 07739998 J. Algebra 635, 689-697 (2023). MSC: 06D35 06D22 06F20 20F60 PDFBibTeX XMLCite \textit{D. Mundici}, J. Algebra 635, 689--697 (2023; Zbl 07739998) Full Text: DOI
Mundici, Daniele AF-algebras with lattice-ordered \(K_0\): logic and computation. (English) Zbl 07601556 Ann. Pure Appl. Logic 174, No. 1, Article ID 103182, 46 p. (2023). MSC: 19A49 06D35 08A50 46L35 46L80 47L40 68Q25 PDFBibTeX XMLCite \textit{D. Mundici}, Ann. Pure Appl. Logic 174, No. 1, Article ID 103182, 46 p. (2023; Zbl 07601556) Full Text: DOI
Mundici, Daniele The read once formula of a series-parallel network. (English) Zbl 07574724 Discrete Appl. Math. 320, 304-310 (2022). MSC: 06Exx 91Axx 06-XX PDFBibTeX XMLCite \textit{D. Mundici}, Discrete Appl. Math. 320, 304--310 (2022; Zbl 07574724) Full Text: DOI
Mundici, Daniele Finite and infinite primes in models of PA. arXiv:2212.10104 Preprint, arXiv:2212.10104 [math.NT] (2022). MSC: 03H15 BibTeX Cite \textit{D. Mundici}, ``Finite and infinite primes in models of PA'', Preprint, arXiv:2212.10104 [math.NT] (2022) Full Text: arXiv OA License
Mundici, Daniele Consequence relations with real truth values. (English) Zbl 1484.03042 Arieli, Ofer (ed.) et al., Arnon Avron on semantics and proof theory of non-classical logics. Cham: Springer. Outst. Contrib. Log. 21, 249-264 (2021). Reviewer: Giacomo Lenzi (Fisciano) MSC: 03B50 06D35 PDFBibTeX XMLCite \textit{D. Mundici}, Outst. Contrib. Log. 21, 249--264 (2021; Zbl 1484.03042) Full Text: DOI
Mundici, Daniele Deciding Koopman’s qualitative probability. (English) Zbl 07418682 Artif. Intell. 299, Article ID 103524, 18 p. (2021). MSC: 03B48 60A05 68T27 68T30 PDFBibTeX XMLCite \textit{D. Mundici}, Artif. Intell. 299, Article ID 103524, 18 p. (2021; Zbl 07418682) Full Text: DOI
Mundici, Daniele Bratteli diagrams via the De Concini-Procesi theorem. (English) Zbl 1486.46066 Commun. Contemp. Math. 23, No. 7, Article ID 2050073, 58 p. (2021). MSC: 46L35 06D35 06F20 08A50 11Y16 19A49 20F10 20M05 46L80 47L40 68Q25 PDFBibTeX XMLCite \textit{D. Mundici}, Commun. Contemp. Math. 23, No. 7, Article ID 2050073, 58 p. (2021; Zbl 1486.46066) Full Text: DOI
Mundici, Daniele Rota’s Fubini lectures: the first problem. (English) Zbl 1475.60006 Adv. Appl. Math. 125, Article ID 102153, 30 p. (2021). MSC: 60A05 06D35 28A60 60A10 PDFBibTeX XMLCite \textit{D. Mundici}, Adv. Appl. Math. 125, Article ID 102153, 30 p. (2021; Zbl 1475.60006) Full Text: DOI
Mundici, Daniele The differential of probabilistic entailment. (English) Zbl 1465.60004 Ann. Pure Appl. Logic 172, No. 6, Article ID 102945, 22 p. (2021). MSC: 60A05 03B48 60A10 60B05 PDFBibTeX XMLCite \textit{D. Mundici}, Ann. Pure Appl. Logic 172, No. 6, Article ID 102945, 22 p. (2021; Zbl 1465.60004) Full Text: DOI
Mundici, Daniele De Finetti for mathematics undergraduates. arXiv:2107.00250 Preprint, arXiv:2107.00250 [math.PR] (2021). MSC: 60A05 60A99 BibTeX Cite \textit{D. Mundici}, ``De Finetti for mathematics undergraduates'', Preprint, arXiv:2107.00250 [math.PR] (2021) Full Text: arXiv OA License
Mundici, Daniele Polytime reductions of AF-algebraic problems. arXiv:2104.14415 Preprint, arXiv:2104.14415 [cs.CC] (2021). MSC: 46L35 BibTeX Cite \textit{D. Mundici}, ``Polytime reductions of AF-algebraic problems'', Preprint, arXiv:2104.14415 [cs.CC] (2021) Full Text: arXiv OA License
Mundici, Daniele Computing on lattice-ordered abelian groups. (English) Zbl 07614728 Blass, Andreas (ed.) et al., Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12180, 210-225 (2020). MSC: 03B70 68Qxx PDFBibTeX XMLCite \textit{D. Mundici}, Lect. Notes Comput. Sci. 12180, 210--225 (2020; Zbl 07614728) Full Text: DOI
Mundici, Daniele What the Łukasiewicz axioms mean. (English) Zbl 1476.03030 J. Symb. Log. 85, No. 3, 906-917 (2020). Reviewer: Ciro Russo (Salvador) MSC: 03B50 06D35 PDFBibTeX XMLCite \textit{D. Mundici}, J. Symb. Log. 85, No. 3, 906--917 (2020; Zbl 1476.03030) Full Text: DOI
Mundici, Daniele Complete and computable orbit invariants in the geometry of the affine group over the integers. (English) Zbl 1442.13016 Ann. Mat. Pura Appl. (4) 199, No. 5, 1843-1871 (2020). Reviewer: Nan Ji-Zhu (Dalian) MSC: 13A50 11D09 11E16 11H55 14G05 14H50 14L24 14M25 14R20 20H25 PDFBibTeX XMLCite \textit{D. Mundici}, Ann. Mat. Pura Appl. (4) 199, No. 5, 1843--1871 (2020; Zbl 1442.13016) Full Text: DOI
Mundici, Daniele Preservation properties of de Finetti coherence. (English) Zbl 1513.06038 J. Appl. Log. - IfCoLog J. Log. Appl. 6, No. 2, 381-394 (2019). MSC: 06E25 06D35 60A05 PDFBibTeX XMLCite \textit{D. Mundici}, J. Appl. Log. - IfCoLog J. Log. Appl. 6, No. 2, 381--394 (2019; Zbl 1513.06038)
Mundici, Daniele De Finetti coherence and the product law for independent events. (English) Zbl 1452.60003 Synthese 196, No. 1, 265-271 (2019). MSC: 60A05 60B05 18A30 18B35 28A35 28A60 PDFBibTeX XMLCite \textit{D. Mundici}, Synthese 196, No. 1, 265--271 (2019; Zbl 1452.60003) Full Text: DOI
Mundici, Daniele Betting on continuous independent events. (English) Zbl 1418.03117 Soft Comput. 23, No. 7, 2289-2295 (2019). MSC: 03B50 03B48 60A05 06D35 PDFBibTeX XMLCite \textit{D. Mundici}, Soft Comput. 23, No. 7, 2289--2295 (2019; Zbl 1418.03117) Full Text: DOI
Mundici, Daniele Triangles in Diophantine approximation. (English) Zbl 1459.11018 J. Number Theory 201, 176-189 (2019). MSC: 11A55 11B57 11Y65 11J70 11K60 14M25 22F05 37A20 37C85 40A15 PDFBibTeX XMLCite \textit{D. Mundici}, J. Number Theory 201, 176--189 (2019; Zbl 1459.11018) Full Text: DOI
Mundici, Daniele Basic geometry of the affine group over Z. arXiv:1902.00971 Preprint, arXiv:1902.00971 [math.DS] (2019). MSC: 13A50 BibTeX Cite \textit{D. Mundici}, ``Basic geometry of the affine group over Z'', Preprint, arXiv:1902.00971 [math.DS] (2019) Full Text: arXiv OA License
Mundici, Daniele Coherence of the product law for independent continuous events. (English) Zbl 1439.06009 Carnielli, Walter (ed.) et al., Contradictions, from consistency to inconsistency. Cham: Springer. Trends Log. Stud. Log. Libr. 47, 207-212 (2018). MSC: 06D35 PDFBibTeX XMLCite \textit{D. Mundici}, Trends Log. Stud. Log. Libr. 47, 207--212 (2018; Zbl 1439.06009) Full Text: DOI
Mundici, Daniele A geometric approach to MV-algebras. (English) Zbl 1429.06014 Saminger-Platz, Susanne (ed.) et al., On logical, algebraic, and probabilistic aspects of fuzzy set theory. Cham: Springer. Stud. Fuzziness Soft Comput. 336, 57-70 (2018). MSC: 06D35 PDFBibTeX XMLCite \textit{D. Mundici}, Stud. Fuzziness Soft Comput. 336, 57--70 (2018; Zbl 1429.06014) Full Text: DOI
Mundici, Daniele Word problems in Elliott monoids. (English) Zbl 1404.46061 Adv. Math. 335, 343-371 (2018). MSC: 46L80 47L30 03D40 06B25 06D35 06F20 08A50 20F10 47L40 68Q17 68Q19 PDFBibTeX XMLCite \textit{D. Mundici}, Adv. Math. 335, 343--371 (2018; Zbl 1404.46061) Full Text: DOI arXiv
Mundici, Daniele Recognizing free generating sets of \(\ell\)-groups. (English) Zbl 1473.06016 Algebra Univers. 79, No. 2, Paper No. 24, 15 p. (2018). MSC: 06D35 06F15 06F20 20F10 20F60 20F05 PDFBibTeX XMLCite \textit{D. Mundici}, Algebra Univers. 79, No. 2, Paper No. 24, 15 p. (2018; Zbl 1473.06016) Full Text: DOI
Mundici, Daniele Approaching central projections in AF-algebras. arXiv:1806.03970 Preprint, arXiv:1806.03970 [math.OA] (2018). MSC: 46L35 BibTeX Cite \textit{D. Mundici}, ``Approaching central projections in AF-algebras'', Preprint, arXiv:1806.03970 [math.OA] (2018) Full Text: arXiv OA License
Mundici, Daniele Coherence of de Finetti coherence. (English) Zbl 1387.60009 Synthese 194, No. 10, 4055-4063 (2017). MSC: 60A05 60B05 18A30 18B35 28A35 28A60 PDFBibTeX XMLCite \textit{D. Mundici}, Synthese 194, No. 10, 4055--4063 (2017; Zbl 1387.60009) Full Text: DOI
Di Nola, Antonio (ed.); Mundici, Daniele (ed.); Toffalori, Carlo (ed.); Ursini, Aldo (ed.) Preface. (English) Zbl 1381.00043 Soft Comput. 21, No. 1, 9 (2017). MSC: 00B30 00B25 03-06 03B52 PDFBibTeX XMLCite \textit{A. Di Nola} (ed.) et al., Soft Comput. 21, No. 1, 9 (2017; Zbl 1381.00043) Full Text: DOI
Mundici, Daniele Fans, decision problems and generators of free abelian \(\ell\)-groups. (English) Zbl 1473.06023 Forum Math. 29, No. 6, 1429-1439 (2017). MSC: 06F20 06B25 08B30 52B20 52B55 57Q05 PDFBibTeX XMLCite \textit{D. Mundici}, Forum Math. 29, No. 6, 1429--1439 (2017; Zbl 1473.06023) Full Text: DOI
Mundici, Daniele; Picardi, Claudia Faulty sets of Boolean formulas and Łukasiewicz logic. (English) Zbl 1404.68170 J. Log. Comput. 27, No. 2, 497-507 (2017). MSC: 68T37 03B50 03B52 68T27 PDFBibTeX XMLCite \textit{D. Mundici} and \textit{C. Picardi}, J. Log. Comput. 27, No. 2, 497--507 (2017; Zbl 1404.68170) Full Text: DOI
Cabrer, Leonardo Manuel; Mundici, Daniele Classifying orbits of the affine group over the integers. (English) Zbl 1417.37114 Ergodic Theory Dyn. Syst. 37, No. 2, 440-453 (2017). Reviewer: Utkir A. Rozikov (Tashkent) MSC: 37C85 20B07 PDFBibTeX XMLCite \textit{L. M. Cabrer} and \textit{D. Mundici}, Ergodic Theory Dyn. Syst. 37, No. 2, 440--453 (2017; Zbl 1417.37114) Full Text: DOI arXiv
Cabrer, Leonardo Manuel; Mundici, Daniele Germinal theories in Łukasiewicz logic. (English) Zbl 1364.06007 Ann. Pure Appl. Logic 168, No. 5, 1132-1151 (2017). Reviewer: Jānis Cīrulis (Riga) MSC: 06D35 03B50 52B11 52B20 22F05 37A45 PDFBibTeX XMLCite \textit{L. M. Cabrer} and \textit{D. Mundici}, Ann. Pure Appl. Logic 168, No. 5, 1132--1151 (2017; Zbl 1364.06007) Full Text: DOI
Cabrer, Leonardo Manuel; Mundici, Daniele Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups. (English) Zbl 1362.06003 J. Pure Appl. Algebra 221, No. 4, 908-934 (2017). Reviewer: A. Borumand Saeid (Kerman) MSC: 06D35 06F20 08B30 52B70 55U10 57Q05 PDFBibTeX XMLCite \textit{L. M. Cabrer} and \textit{D. Mundici}, J. Pure Appl. Algebra 221, No. 4, 908--934 (2017; Zbl 1362.06003) Full Text: DOI
Mundici, Daniele Diophantine approximation by almost equilateral triangles. arXiv:1705.03344 Preprint, arXiv:1705.03344 [math.NT] (2017). MSC: 11A55 BibTeX Cite \textit{D. Mundici}, ``Diophantine approximation by almost equilateral triangles'', Preprint, arXiv:1705.03344 [math.NT] (2017) Full Text: arXiv OA License
Busaniche, Manuela; Cabrer, Leonardo; Mundici, Daniele Polyhedral MV-algebras. (English) Zbl 1385.06003 Fuzzy Sets Syst. 292, 150-159 (2016). Reviewer: Anna Romanowska (Warsaw) MSC: 06D35 52B11 52B20 18B40 PDFBibTeX XMLCite \textit{M. Busaniche} et al., Fuzzy Sets Syst. 292, 150--159 (2016; Zbl 1385.06003) Full Text: DOI
Mundici, Daniele Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras. (English) Zbl 1429.06013 Forum Math. 28, No. 6, 1111-1130 (2016). MSC: 06D35 06F20 08A35 16T05 19A49 46L05 PDFBibTeX XMLCite \textit{D. Mundici}, Forum Math. 28, No. 6, 1111--1130 (2016; Zbl 1429.06013) Full Text: DOI arXiv
Mundici, Daniele; Cabrer, Leonardo Manuel Classifying GL\((n,\mathbb{Z})\)-orbits of points and rational subspaces. (English) Zbl 1369.37034 Discrete Contin. Dyn. Syst. 36, No. 9, 4723-4738 (2016). Reviewer: Marta Macho Stadler (Leioa) MSC: 37C85 11B57 22F05 22E40 PDFBibTeX XMLCite \textit{D. Mundici} and \textit{L. M. Cabrer}, Discrete Contin. Dyn. Syst. 36, No. 9, 4723--4738 (2016; Zbl 1369.37034) Full Text: DOI arXiv
Mundici, Daniele Logic on the \(n\)-cube. (English) Zbl 1444.03182 J. Log. Comput. 26, No. 1, 409-424 (2016). MSC: 03G25 03B50 03B53 03G20 PDFBibTeX XMLCite \textit{D. Mundici}, J. Log. Comput. 26, No. 1, 409--424 (2016; Zbl 1444.03182) Full Text: DOI arXiv
Mundici, Daniele The differential semantics of Łukasiewicz syntactic consequence. (English) Zbl 1386.03022 Montagna, Franco (ed.), Petr Hájek on mathematical fuzzy logic. Cham: Springer (ISBN 978-3-319-06232-7/hbk; 978-3-319-06233-4/ebook). Outstanding Contributions to Logic 6, 143-157 (2015). MSC: 03B50 06D35 03B52 47N10 49J52 94D05 PDFBibTeX XMLCite \textit{D. Mundici}, Outst. Contrib. Log. 6, 143--157 (2015; Zbl 1386.03022) Full Text: DOI arXiv
Cabrer, Leonardo Manuel; Mundici, Daniele A Stone-Weierstrass theorem for MV-algebras and unital \(\ell\)-groups. (English) Zbl 1323.06011 J. Log. Comput. 25, No. 3, 683-699 (2015). Reviewer: Giacomo Lenzi (Fisciano) MSC: 06D35 06B25 06F20 03G25 PDFBibTeX XMLCite \textit{L. M. Cabrer} and \textit{D. Mundici}, J. Log. Comput. 25, No. 3, 683--699 (2015; Zbl 1323.06011) Full Text: DOI arXiv
Cabrer, Leonardo Manuel; Mundici, Daniele Severi-Bouligand tangents, Frenet frames and Riesz spaces. (English) Zbl 1322.46005 Adv. Appl. Math. 64, 1-20 (2015). Reviewer: Karim Boulabiar (Tunis) MSC: 46A40 06F20 46E05 PDFBibTeX XMLCite \textit{L. M. Cabrer} and \textit{D. Mundici}, Adv. Appl. Math. 64, 1--20 (2015; Zbl 1322.46005) Full Text: DOI arXiv
Cabrer, L. M.; Mundici, D. Retractions of free MV-algebras and unital \(\ell\)-groups. arXiv:1509.06042 Preprint, arXiv:1509.06042 [math.RA] (2015). MSC: 06D35 03B50 08B30 52B70 55U10 57Q05 BibTeX Cite \textit{L. M. Cabrer} and \textit{D. Mundici}, ``Retractions of free MV-algebras and unital $\ell$-groups'', Preprint, arXiv:1509.06042 [math.RA] (2015) Full Text: arXiv OA License
Mundici, Daniele Fans and generators of free abelian l-groups. arXiv:1507.00958 Preprint, arXiv:1507.00958 [math.GT] (2015). MSC: 06F20 08B30 52B20 BibTeX Cite \textit{D. Mundici}, ``Fans and generators of free abelian l-groups'', Preprint, arXiv:1507.00958 [math.GT] (2015) Full Text: arXiv OA License
Mundici, Daniele Universal properties of Łukasiewicz consequence. (English) Zbl 1344.03029 Log. Univers. 8, No. 1, 17-24 (2014). MSC: 03B50 PDFBibTeX XMLCite \textit{D. Mundici}, Log. Univers. 8, No. 1, 17--24 (2014; Zbl 1344.03029) Full Text: DOI
Cabrer, Leonardo Manuel; Mundici, Daniele Interval MV-algebras and generalizations. (English) Zbl 1326.06011 Int. J. Approx. Reasoning 55, No. 8, 1623-1642 (2014). Reviewer: Giacomo Lenzi (Fisciano) MSC: 06D35 03G25 PDFBibTeX XMLCite \textit{L. M. Cabrer} and \textit{D. Mundici}, Int. J. Approx. Reasoning 55, No. 8, 1623--1642 (2014; Zbl 1326.06011) Full Text: DOI arXiv
Mundici, Daniele; Pedrini, Andrea The Euler characteristic and valuations on MV-algebras. (English) Zbl 1332.06033 Math. Slovaca 64, No. 3, 563-570 (2014). Reviewer: Luca Spada (Salerno) MSC: 06D35 52B05 57Q05 55U10 PDFBibTeX XMLCite \textit{D. Mundici} and \textit{A. Pedrini}, Math. Slovaca 64, No. 3, 563--570 (2014; Zbl 1332.06033) Full Text: DOI
Busaniche, Manuela; Mundici, Daniele Bouligand-Severi tangents in MV-algebras. (English) Zbl 1319.06009 Rev. Mat. Iberoam. 30, No. 1, 191-201 (2014). Reviewer: Dexue Zhang (Chengdu) MSC: 06D35 54C60 03G25 52B05 54C40 PDFBibTeX XMLCite \textit{M. Busaniche} and \textit{D. Mundici}, Rev. Mat. Iberoam. 30, No. 1, 191--201 (2014; Zbl 1319.06009) Full Text: DOI arXiv
Mundici, Daniele Invariant measure under the affine group over \(\mathbb Z\). (English) Zbl 1298.52016 Comb. Probab. Comput. 23, No. 2, 248-268 (2014). Reviewer: Peter McMullen (London) MSC: 52B45 52B20 52A38 51M25 20H05 20H25 PDFBibTeX XMLCite \textit{D. Mundici}, Comb. Probab. Comput. 23, No. 2, 248--268 (2014; Zbl 1298.52016) Full Text: DOI
Mundici, Daniele; Pedrini, Andrea The Euler valuation on MV-algebras. arXiv:1401.5640 Preprint, arXiv:1401.5640 [math.RA] (2014). MSC: 06D35 BibTeX Cite \textit{D. Mundici} and \textit{A. Pedrini}, ``The Euler valuation on MV-algebras'', Preprint, arXiv:1401.5640 [math.RA] (2014) Full Text: arXiv OA License
Mundici, Daniele Classifying \(GL(2,\mathbb Z) \ltimes \mathbb Z^{2}\)-orbits by subgroups of \(\mathbb R\). arXiv:1401.3708 Preprint, arXiv:1401.3708 [math.DS] (2014). MSC: 37C85 11B57 22F05 37A45 06F20 46L80 BibTeX Cite \textit{D. Mundici}, ``Classifying $GL(2,\mathbb Z) \ltimes \mathbb Z^{2}$-orbits by subgroups of $\mathbb R$'', Preprint, arXiv:1401.3708 [math.DS] (2014) Full Text: arXiv OA License
Beklemishev, Lev; Bezhanishvili, Guram; Mundici, Daniele; Venema, Yde Foreword to the special issue dedicated to the memory of Leo Esakia. (English) Zbl 1246.03007 Stud. Log. 100, No. 1-2, 1-7 (2012). MSC: 03-03 01A70 PDFBibTeX XMLCite \textit{L. Beklemishev} et al., Stud. Log. 100, No. 1--2, 1--7 (2012; Zbl 1246.03007) Full Text: DOI
Cabrer, Leonardo; Mundici, Daniele Rational polyhedra and projective lattice-ordered abelian groups with order unit. (English) Zbl 1275.06002 Commun. Contemp. Math. 14, No. 3, 1250017, 20 p. (2012). Reviewer: Jiří Rachůnek (Olomouc) MSC: 06F20 06D35 08B30 52B11 52B20 54D05 PDFBibTeX XMLCite \textit{L. Cabrer} and \textit{D. Mundici}, Commun. Contemp. Math. 14, No. 3, 1250017, 20 p. (2012; Zbl 1275.06002) Full Text: DOI arXiv
Busaniche, Manuela; Cabrer, Leonardo; Mundici, Daniele Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups. (English) Zbl 1277.06007 Forum Math. 24, No. 2, 253-271 (2012). Reviewer: Belmesnaoui Aqzzouz (Salajadida) MSC: 06F20 52B11 52B20 57Q15 46L05 PDFBibTeX XMLCite \textit{M. Busaniche} et al., Forum Math. 24, No. 2, 253--271 (2012; Zbl 1277.06007) Full Text: DOI arXiv
Mundici, Daniele Logic. A brief course. Translated from the Italian by Krzysztof R. Apt. (English) Zbl 1235.03001 Unitext 60. La Matematica per il 3+2. Berlin: Springer (ISBN 978-88-470-2360-4/pbk; 978-88-470-2361-1/ebook). xi, 124 p. (2012). Reviewer: Branislav Boričić (Beograd) MSC: 03-01 03B05 03B10 03F40 PDFBibTeX XMLCite \textit{D. Mundici}, Logic. A brief course. Translated from the Italian by Krzysztof R. Apt. Berlin: Springer (2012; Zbl 1235.03001) Full Text: DOI
Cicalese, Ferdinando; Mundici, Daniele Recent developments of feedback coding and its relations with many-valued logic. (English) Zbl 1319.03040 van Benthem, Johan (ed.) et al., Proof, computation and agency. Logic at the crossroads. Dordrecht: Springer (ISBN 978-94-007-0920-1/set; 978-94-007-0079-6/hbk; 978-94-007-0080-2/ebook). Synthese Library 352, 115-131 (2011). MSC: 03B50 91A46 94B99 03G25 PDFBibTeX XMLCite \textit{F. Cicalese} and \textit{D. Mundici}, Synth. Libr. 352, 115--131 (2011; Zbl 1319.03040) Full Text: DOI
Mundici, Daniele Rational measure of rational simplexes. (English) Zbl 1261.06016 Béziau, Jean-Yves (ed.) et al., Logic without frontiers. Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday. London: College Publications (ISBN 978-1-84890-055-4/pbk). Tributes 17, 209-214 (2011). MSC: 06D35 03B50 52A38 52B45 PDFBibTeX XMLCite \textit{D. Mundici}, Tributes 17, 209--214 (2011; Zbl 1261.06016)
Cabrer, Leonardo; Mundici, Daniele Finitely presented lattice-ordered abelian groups with order-unit. (English) Zbl 1261.06022 J. Algebra 343, No. 1, 1-10 (2011). Reviewer: Yichuan Yang (Beijing) MSC: 06F20 08B30 PDFBibTeX XMLCite \textit{L. Cabrer} and \textit{D. Mundici}, J. Algebra 343, No. 1, 1--10 (2011; Zbl 1261.06022) Full Text: DOI arXiv
Mundici, Daniele Revisiting the Farey AF algebra. (English) Zbl 1269.46041 Milan J. Math. 79, No. 2, 643-656 (2011). MSC: 46L35 46L05 46L80 46M40 37E05 PDFBibTeX XMLCite \textit{D. Mundici}, Milan J. Math. 79, No. 2, 643--656 (2011; Zbl 1269.46041) Full Text: DOI
Mundici, Daniele Consequence and interpolation in Łukasiewicz logic. (English) Zbl 1242.03055 Stud. Log. 99, No. 1-3, 269-278 (2011). Reviewer: Brunella Gerla (Varese) MSC: 03B50 PDFBibTeX XMLCite \textit{D. Mundici}, Stud. Log. 99, No. 1--3, 269--278 (2011; Zbl 1242.03055) Full Text: DOI
Mundici, Daniele Finite axiomatizability in Łukasiewicz logic. (English) Zbl 1248.03043 Ann. Pure Appl. Logic 162, No. 12, 1035-1047 (2011). Reviewer: Stefano Aguzzoli (Milano) MSC: 03B50 06D35 14E05 52B20 PDFBibTeX XMLCite \textit{D. Mundici}, Ann. Pure Appl. Logic 162, No. 12, 1035--1047 (2011; Zbl 1248.03043) Full Text: DOI
Kühr, Jan; Mundici, Daniele From free abelian groups to free abelian \(\ell \)-groups. (English) Zbl 1265.06055 Math. Slovaca 61, No. 3, 439-450 (2011). Reviewer: Ivan Chajda (Olomouc) MSC: 06F20 20K99 52B20 PDFBibTeX XMLCite \textit{J. Kühr} and \textit{D. Mundici}, Math. Slovaca 61, No. 3, 439--450 (2011; Zbl 1265.06055) Full Text: DOI
Mundici, Daniele A compact \([0,1]\)-valued first-order Łukasiewicz logic with identity on Hilbert space. (English) Zbl 1220.03010 J. Log. Comput. 21, No. 3, 509-525 (2011). Reviewer: Salvatore Sessa (Napoli) MSC: 03B50 PDFBibTeX XMLCite \textit{D. Mundici}, J. Log. Comput. 21, No. 3, 509--525 (2011; Zbl 1220.03010) Full Text: DOI
Mundici, Daniele Logic. The short method. (Logica. Metodo breve.) (Italian) Zbl 1211.03001 Unitext 50. La Matematica per il 3+2. Milano: Springer (ISBN 978-88-470-1883-9/pbk; 978-88-470-1884-6). xi, 126 p. (2011). Reviewer: Victor V. Pambuccian (Dortmund) MSC: 03-01 03B05 03B10 PDFBibTeX XMLCite \textit{D. Mundici}, Logica. Metodo breve (Italian). Milano: Springer (2011; Zbl 1211.03001) Full Text: DOI
Mundici, Daniele (ed.); D’Ottaviano, Itala Maria Loffredo (ed.) Special issue: The legacy of Newton da Costa. Selected papers of the CLE/AIPS event “Science, truth and consistency”, Campinas, São Paulo, Brazil, August 23–28, 2009. (English) Zbl 1210.03009 Stud. Log. 97, No. 1, 198 p. (2011). MSC: 03-06 00B25 PDFBibTeX XML
Mundici, Daniele Advanced Łukasiewicz calculus and MV-algebras. (English) Zbl 1235.03002 Trends in Logic – Studia Logica Library 35. Berlin: Springer (ISBN 978-94-007-0839-6/hbk; 978-94-007-0840-2/ebook). xviii, 256 p. (2011). Reviewer: Brunella Gerla (Varese) MSC: 03-02 03B50 03G20 06D35 60B99 PDFBibTeX XMLCite \textit{D. Mundici}, Advanced Łukasiewicz calculus and MV-algebras. Berlin: Springer (2011; Zbl 1235.03002)
Mundici, Daniele Measure theory in the geometry of \(GL(n,\mathbb Z) \ltimes \mathbb Z^{n}\). arXiv:1102.0897 Preprint, arXiv:1102.0897 [math.GN] (2011). MSC: 51M25 BibTeX Cite \textit{D. Mundici}, ``Measure theory in the geometry of $GL(n,\mathbb Z) \ltimes \mathbb Z^{n}$'', Preprint, arXiv:1102.0897 [math.GN] (2011) Full Text: arXiv OA License
Mundici, Daniele From BL to MV. (English) Zbl 1235.03089 Cintula, Petr (ed.) et al., Witnessed years. Essays in honour of Petr Hájek. London: College Publications (ISBN 978-1-904987-63-5/pbk). Tributes 10, 273-286 (2009). Reviewer: Stefano Aguzzoli (Milano) MSC: 03G25 03-03 03B50 03B52 06D35 60B99 91A46 PDFBibTeX XMLCite \textit{D. Mundici}, Tributes 10, 273--286 (2009; Zbl 1235.03089)
Cabrer, Leonardo Manuel; Mundici, Daniele Projective MV-algebras and rational polyhedra. (English) Zbl 1196.06004 Algebra Univers. 62, No. 1, 63-74 (2009). Reviewer: Florentina Chirteş (Craiova) MSC: 06D35 06F20 08B30 57Q05 57R05 PDFBibTeX XMLCite \textit{L. M. Cabrer} and \textit{D. Mundici}, Algebra Univers. 62, No. 1, 63--74 (2009; Zbl 1196.06004) Full Text: DOI
Mundici, Daniele Recognizing the Farey-Stern-Brocot AF algebra. (English) Zbl 1185.46042 Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. 20, No. 4, 327-338 (2009). MSC: 46L35 46L80 46M40 06F20 11B57 52C45 52B20 14E05 14M25 PDFBibTeX XMLCite \textit{D. Mundici}, Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. 20, No. 4, 327--338 (2009; Zbl 1185.46042) Full Text: DOI Link
Mundici, Daniele Interpretation of De Finetti coherence criterion in Łukasiewicz logic. (English) Zbl 1180.03029 Ann. Pure Appl. Logic 161, No. 2, 235-245 (2009). Reviewer: Brunella Gerla (Varese) MSC: 03B50 03B48 06D35 60A05 PDFBibTeX XMLCite \textit{D. Mundici}, Ann. Pure Appl. Logic 161, No. 2, 235--245 (2009; Zbl 1180.03029) Full Text: DOI
Mundici, Daniele Conditionals and independence in many-valued logics. (English) Zbl 1245.03031 Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 16-21 (2009). MSC: 03B50 PDFBibTeX XMLCite \textit{D. Mundici}, Lect. Notes Comput. Sci. 5590, 16--21 (2009; Zbl 1245.03031) Full Text: DOI
Mundici, Daniele Faithful and invariant conditional probability in Łukasiewicz logic. (English) Zbl 1163.03016 Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 213-232 (2009). Reviewer: Radko Mesiar (Bratislava) MSC: 03B50 06D35 60A05 PDFBibTeX XMLCite \textit{D. Mundici}, in: Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1--4, 2006. Berlin: Springer. 213--232 (2009; Zbl 1163.03016) Full Text: DOI
Mundici, Daniele Geometry of filters in free MV-algebras. (English) Zbl 1158.06306 Bol. Soc. Port. Mat., Spec. Iss., 275-286 (2008). MSC: 06D35 PDFBibTeX XMLCite \textit{D. Mundici}, Bol. Soc. Port. Mat., 275--286 (2008; Zbl 1158.06306)
Ju, Shier (ed.); Mundici, Daniele (ed.) Special issue: Many-valued logic and cognition. Originated from the Studia Logica international conference “Trends in logic V: Many-valued logics and cognition”, Ghaugzhou, China, July 6–9, 2007. (English) Zbl 1157.03304 Stud. Log. 90, No. 1, 1-137 (2008). MSC: 03-06 00B25 PDFBibTeX XML Full Text: Link
Mundici, Daniele; Tsinakis, Constantine Gödel incompleteness in AF C\(^*\)-algebras. (English) Zbl 1163.46036 Forum Math. 20, No. 6, 1071-1084 (2008). MSC: 46L05 03D99 06F20 20F10 PDFBibTeX XMLCite \textit{D. Mundici} and \textit{C. Tsinakis}, Forum Math. 20, No. 6, 1071--1084 (2008; Zbl 1163.46036) Full Text: DOI
Mundici, Daniele The logic of polyhedra. (Italian. English summary) Zbl 1207.06010 Boll. Unione Mat. Ital. (9) 1, No. 2, 455-474 (2008). Reviewer: Brunella Gerla (Varese) MSC: 06D35 52B99 55U10 PDFBibTeX XMLCite \textit{D. Mundici}, Boll. Unione Mat. Ital. (9) 1, No. 2, 455--474 (2008; Zbl 1207.06010)
Mundici, Daniele The Haar theorem for lattice-ordered abelian groups with order-unit. (English) Zbl 1154.28007 Discrete Contin. Dyn. Syst. 21, No. 2, 537-549 (2008). Reviewer: Hans Weber (Udine) MSC: 28C05 52B70 06F20 26B15 PDFBibTeX XMLCite \textit{D. Mundici}, Discrete Contin. Dyn. Syst. 21, No. 2, 537--549 (2008; Zbl 1154.28007) Full Text: DOI
Kühr, Jan; Mundici, Daniele De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic. (English) Zbl 1189.03076 Int. J. Approx. Reasoning 46, No. 3, 605-616 (2007). MSC: 03G25 03B48 03B50 06D35 PDFBibTeX XMLCite \textit{J. Kühr} and \textit{D. Mundici}, Int. J. Approx. Reasoning 46, No. 3, 605--616 (2007; Zbl 1189.03076) Full Text: DOI
Marra, Vincenzo; Mundici, Daniele The Lebesgue state of a unital abelian lattice-ordered group. (English) Zbl 1136.06009 J. Group Theory 10, No. 5, 655-684 (2007). Reviewer: Beloslav Riečan (Banská Bystrica) MSC: 06F20 28A25 PDFBibTeX XMLCite \textit{V. Marra} and \textit{D. Mundici}, J. Group Theory 10, No. 5, 655--684 (2007; Zbl 1136.06009) Full Text: DOI
Mundici, Daniele Free generating sets of lattice-ordered abelian groups. (English) Zbl 1141.06018 J. Pure Appl. Algebra 211, No. 2, 400-403 (2007). Reviewer: C. G. Chehata (Orlando) MSC: 06F20 PDFBibTeX XMLCite \textit{D. Mundici}, J. Pure Appl. Algebra 211, No. 2, 400--403 (2007; Zbl 1141.06018) Full Text: DOI
Busaniche, Manuela; Mundici, Daniele Geometry of Robinson consistency in Łukasiewicz logic. (English) Zbl 1125.03016 Ann. Pure Appl. Logic 147, No. 1-2, 1-22 (2007). Reviewer: Salvatore Sessa (Napoli) MSC: 03B50 06D35 PDFBibTeX XMLCite \textit{M. Busaniche} and \textit{D. Mundici}, Ann. Pure Appl. Logic 147, No. 1--2, 1--22 (2007; Zbl 1125.03016) Full Text: DOI
Glass, A. M. W.; Marra, Vincenzo; Mundici, Daniele Embedding in finitely presented lattice-ordered groups: explicit presentation for constructions. (English) Zbl 1125.06013 Campbell, C.M. (ed.) et al., Groups St. Andrews 2005. Vol. II. Selected papers of the conference, St. Andrews, UK, July 30–August 6, 2005. Cambridge: Cambridge University Press (ISBN 978-0-521-69470-4/pbk). London Mathematical Society Lecture Note Series 340, 438-444 (2007). Reviewer: Renata Majovská (Horní Suchá) MSC: 06F15 06F20 20B27 20F60 PDFBibTeX XMLCite \textit{A. M. W. Glass} et al., Lond. Math. Soc. Lect. Note Ser. 340, 438--444 (2007; Zbl 1125.06013)
Mundici, Daniele Revisiting the free 2-generator abelian \(\ell\)-group. (English) Zbl 1118.06010 J. Pure Appl. Algebra 208, No. 2, 549-554 (2007). Reviewer: C. G. Chehata (Orlando) MSC: 06F20 PDFBibTeX XMLCite \textit{D. Mundici}, J. Pure Appl. Algebra 208, No. 2, 549--554 (2007; Zbl 1118.06010) Full Text: DOI
Manara, Corrado; Marra, Vincenzo; Mundici, Daniele Lattice-ordered abelian groups and Schauder bases of unimodular fans. (English) Zbl 1118.06009 Trans. Am. Math. Soc. 359, No. 4, 1593-1604 (2007). Reviewer: C. G. Chehata (Orlando) MSC: 06F20 PDFBibTeX XMLCite \textit{C. Manara} et al., Trans. Am. Math. Soc. 359, No. 4, 1593--1604 (2007; Zbl 1118.06009) 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)
Mundici, Daniele Representation of \(\sigma\)-complete MV-algebras and their associated Dedekind \(\sigma\)-complete \(\ell\)-groups. (English) Zbl 1119.06009 Huynh, Dinh V. (ed.) et al., Algebra and its applications. Proceedings of the international conference, Athens, OH, USA, March 22–26, 2005. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3842-3/pbk). Contemporary Mathematics 419, 219-230 (2006). Reviewer: Jiří Rachůnek (Olomouc) MSC: 06D35 06F20 06E15 16E50 PDFBibTeX XMLCite \textit{D. Mundici}, Contemp. Math. 419, 219--230 (2006; Zbl 1119.06009)
Mundici, Daniele Bookmaking over infinite-valued events. (English) Zbl 1123.03011 Int. J. Approx. Reasoning 43, No. 3, 223-240 (2006). Reviewer: Beloslav Riečan (Banská Bystrica) MSC: 03B48 03B50 06D35 60A05 PDFBibTeX XMLCite \textit{D. Mundici}, Int. J. Approx. Reasoning 43, No. 3, 223--240 (2006; Zbl 1123.03011) Full Text: DOI
Marra, Vincenzo; Mundici, Daniele Riemann average truth-value of Łukasiewicz formulas. (English) Zbl 1141.06008 Math. Slovaca 56, No. 5, 511-524 (2006). MSC: 06D35 03B50 26B15 28A60 PDFBibTeX XMLCite \textit{V. Marra} and \textit{D. Mundici}, Math. Slovaca 56, No. 5, 511--524 (2006; Zbl 1141.06008) Full Text: EuDML
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
Mundici, Daniele A characterization of the free \(n\)-generated MV-algebra. (English) Zbl 1094.06010 Arch. Math. Logic 45, No. 2, 239-247 (2006). Reviewer: Rostislav Horcik (Praha) MSC: 06D35 03B50 52B20 55N10 PDFBibTeX XMLCite \textit{D. Mundici}, Arch. Math. Logic 45, No. 2, 239--247 (2006; Zbl 1094.06010) Full Text: DOI
Gispert, Joan; Mundici, Daniele MV-algebras: a variety for magnitudes with archimedean units. (English) Zbl 1093.06010 Algebra Univers. 53, No. 1, 7-43 (2005). Reviewer: Rostislav Horcik (Praha) MSC: 06D35 06-02 03G25 03B50 03B52 PDFBibTeX XMLCite \textit{J. Gispert} and \textit{D. Mundici}, Algebra Univers. 53, No. 1, 7--43 (2005; Zbl 1093.06010) Full Text: DOI
Cicalese, Ferdinando; Deppe, Christian; Mundici, Daniele \(Q\)-ary Ulam-Rényi game with weighted constrained lies. (English) Zbl 1091.68038 Chwa, Kyung-Yong (ed.) et al., Computing and combinatorics. 10th annual international conference, COCOON 2004, Jeju Island, Korea, August 17–20, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22856-X/pbk). Lecture Notes in Computer Science 3106, 82-91 (2004). MSC: 68P10 91A46 PDFBibTeX XMLCite \textit{F. Cicalese} et al., Lect. Notes Comput. Sci. 3106, 82--91 (2004; Zbl 1091.68038) 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
Cicalese, Ferdinando (ed.); Mundici, Daniele (ed.); Vaccaro, Ugo (ed.) 1st international workshop on combinatorics of searching, sorting, and coding (COSSAC ’01), Ischia, Italy, September 7–9, 2001. (English) Zbl 1032.05500 Discrete Appl. Math. 137, No. 1, 124 p. (2004). MSC: 05-06 68-06 PDFBibTeX XMLCite \textit{F. Cicalese} (ed.) et al., Discrete Appl. Math. 137, No. 1, 124 p. (2004; Zbl 1032.05500) Full Text: DOI
Mundici, Daniele Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem. (English) Zbl 1042.46033 Trans. Am. Math. Soc. 356, No. 5, 1937-1955 (2004). MSC: 46L35 06F20 20F10 03D40 52B20 PDFBibTeX XMLCite \textit{D. Mundici}, Trans. Am. Math. Soc. 356, No. 5, 1937--1955 (2004; Zbl 1042.46033) 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)
Marra, V.; Mundici, D. Łukasiewicz logic and Chang’s MV algebras in action. (English) Zbl 1051.03023 Hendricks, Vincent F. (ed.) et al., Trends in logic. 50 years of Studia Logica. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1601-8/hbk). Trends Log. Stud. Log. Libr. 21, 145-192 (2003). Reviewer: Salvatore Sessa (Napoli) MSC: 03B50 06D35 03-02 06-02 06F20 PDFBibTeX XMLCite \textit{V. Marra} and \textit{D. Mundici}, Trends Log. Stud. Log. Libr. 21, 145--192 (2003; Zbl 1051.03023)
Aguzzoli, Stefano; Mundici, Daniele Weierstrass approximation theorem and Łukasiewicz formulas with one quantified variable. (English) Zbl 1046.03010 Fitting, Melvin (ed.) et al., Beyond two: Theory and applications of multiple-valued logic. Heidelberg: Physica-Verlag (ISBN 3-7908-1541-1/pbk). Stud. Fuzziness Soft Comput. 114, 315-335 (2003). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03B70 03D15 PDFBibTeX XMLCite \textit{S. Aguzzoli} and \textit{D. Mundici}, Stud. Fuzziness Soft Comput. 114, 315--335 (2003; Zbl 1046.03010)
De Simone, A.; Mundici, D.; Navara, M. A Cantor-Bernstein theorem for \(\sigma \)-complete MV-algebras. (English) Zbl 1024.06003 Czech. Math. J. 53, No. 2, 437-447 (2003). MSC: 06D35 03G20 PDFBibTeX XMLCite \textit{A. De Simone} et al., Czech. Math. J. 53, No. 2, 437--447 (2003; Zbl 1024.06003) Full Text: DOI EuDML
Marra, Vincenzo; Mundici, Daniele MV-algebras and abelian \(\ell\)-groups: a fruitful interaction. (English) Zbl 1070.06004 Martínez, Jorge (ed.), Ordered algebraic structures. Proceedings of the conference on lattice-ordered groups and \(f\)-rings held at the University of Florida, Gainesville, FL, USA, February 28–March 3, 2001. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0752-3). Developments in Mathematics 7, 57-88 (2002). MSC: 06D35 06F20 06-02 PDFBibTeX XMLCite \textit{V. Marra} and \textit{D. Mundici}, Dev. Math. 7, 57--88 (2002; Zbl 1070.06004)
Mundici, Daniele Fault-tolerance and Rota-Metropolis cubic logic. (English) Zbl 1041.03055 Carnielli, Walter A. (ed.) et al., Paraconsistency. The logical way to the inconsistent. Proceedings of the 2nd world congress on paraconsistency, WCP ’2000, in honor of Newton da Costa on the occasion of his 70th birthday, São Paulo, Brazil, May 12–19, 2000. New York, NY: Marcel Dekker (ISBN 0-8247-0805-9/pbk). Lect. Notes Pure Appl. Math. 228, 397-409 (2002). Reviewer: Albert A. Mullin (Madison) MSC: 03G25 03B50 03B53 94B99 PDFBibTeX XMLCite \textit{D. Mundici}, Lect. Notes Pure Appl. Math. 228, 397--409 (2002; Zbl 1041.03055)
Marra, Vincenzo; Mundici, Daniele Combinatorial fans, lattice-ordered groups, and their neighbours: A short excursion. (English) Zbl 1031.06011 Sémin. Lothar. Comb. 47, 19 p. (2002). Reviewer: J.Rachůnek (Olomouc) MSC: 06F15 52A37 06F20 52B20 PDFBibTeX XMLCite \textit{V. Marra} and \textit{D. Mundici}, Sémin. Lothar. Comb. 47, 19 p. (2002; Zbl 1031.06011) Full Text: EuDML