Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
| In corso di stampa | |
| Articolo in rivista | |
| On a problem of Conrad on Riesz space structures ORDER. Pag.0-0 ISSN:0167-8094. | |
| Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1007/s11083-024-09662-0 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2024 | |
| Articolo in rivista | |
| Spectral MV-algebras and equispectrality ARCHIVE FOR MATHEMATICAL LOGIC. Pag.1-27 ISSN:1432-0665. | |
| Barbieri, Giuseppina; DI NOLA, Antonio; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1007/s00153-024-00926-5 Codice identificativo SCOPUS: 2-s2.0-85192771075 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2024 | |
| Articolo in rivista | |
| On counting and deciding MV-algebras JOURNAL OF ALGEBRAIC HYPERSTRUCTURES AND LOGICAL ALGEBRAS. Vol. 5. Pag.35-45 ISSN:2676-6000. | |
| Barbieri, Giuseppina; Lenzi, Giacomo | |
| Versione online | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2024 | |
| Articolo in rivista | |
| Two-generated free Sωn-algebras. JOURNAL OF ALGEBRAIC HYPERSTRUCTURES AND LOGICAL ALGEBRAS. Vol. 5. Pag.3-9 ISSN:2676-6000. | |
| Di Nola, A.; Grigolia, R.; Lenzi, G.; Liparteliani, R. | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2024 | |
| Articolo in rivista | |
| Tsallis Entropy in MV-algebras MATHEMATICS. Vol. 12. Pag.1-12 ISSN:2227-7390. | |
| Barbieri, Giuseppina Gerarda; Lenzi, Giacomo | |
| Versione online | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2023 | |
| Articolo in rivista | |
| Entropies and Dynamical Systems in Riesz MV-algebras INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS. Vol. 62. Pag.1-15 ISSN:1572-9575. | |
| Barbieri, Giuseppina Gerarda; Lenzi, Giacomo; Bedrood, Mahta | |
| Digital Object Identifier (DOI): 10.1007/s10773-023-05367-z Codice identificativo ISI: WOS:000999450600002 Codice identificativo SCOPUS: 2-s2.0-85160587984 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2023 | |
| Articolo in rivista | |
| Logical Complexity of Spectra of Abelian ℓ-groups . THE IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. Vol. 10. Pag.29-36 ISSN:2055-3706. | |
| Lenzi, Giacomo; Vitale, Gaetano | |
| Codice identificativo ISI: WOS:000970763900003 Codice identificativo SCOPUS: 2-s2.0-85148691755 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2023 | |
| Articolo in rivista | |
| On the spectrum of countable MV-algebras TRANSACTIONS ON FUZZY SETS AND SYSTEMS. Pag.184-193 ISSN:2821-0131. | |
| Lenzi, G. | |
| Digital Object Identifier (DOI): 10.30495/tfss.2023.1991906.1082 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2023 | |
| Articolo in rivista | |
| A special type of ideals in MV-algebras of continuous functions THE IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. Vol. 10. Pag.531-554 ISSN:2055-3706. | |
| Barbieri, Giuseppina Gerarda; Bedrood, Mahta; Lenzi, Giacomo; Borumand Saeid, Arsham; Sajadian, Farhad | |
| Versione online | |
| Codice identificativo ISI: WOS:001031349500002 Codice identificativo SCOPUS: 2-s2.0-85165505369 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2023 | |
| Articolo in rivista | |
| Z0−ideals and Z−ideals in MV −algebras BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY SIMON STEVIN. Pag.0-0 ISSN:1370-1444. | |
| Bedrood, Mahta; Sajadian, Farhad; Lenzi, Giacomo.; Borumand Saeid, Arsham | |
| Digital Object Identifier (DOI): 10.36045/j.bbms.211109 Codice identificativo ISI: WOS:001048681200004 Codice identificativo SCOPUS: 2-s2.0-85170553284 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Articolo in rivista | |
| Models, coproducts and exchangeability: Notes on states on Baire functions MATHEMATICA SLOVACA. Vol. 72. Pag.847-868 ISSN:0139-9918. | |
| Lapenta, S; Lenzi, G | |
| Digital Object Identifier (DOI): 10.1515/ms-2022-0058 Codice identificativo ISI: WOS:000838568200001 Codice identificativo SCOPUS: 2-s2.0-85126516635 | |
| Visualizza sul Database dei Prodotti (IRIS) |
213292Unification in lax logic
| 2022 | |
| Articolo in rivista | |
| Unification in lax logic JOURNAL OF ALGEBRAIC HYPERSTRUCTURES AND LOGICAL ALGEBRAS. Pag.61-75 ISSN:2676-6000. | |
| Ghilardi, S.; Lenzi, G. | |
| Digital Object Identifier (DOI): 10.52547/HATEF.JAHLA.3.1.6 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Articolo in rivista | |
| Expanding lattice ordered abelian groups to Riesz spaces MATHEMATICA SLOVACA. Pag.1-10 ISSN:0139-9918. | |
| Di Nola, A.; Lenzi, G.; Vitale, G. | |
| Digital Object Identifier (DOI): 10.1515/ms-2022-0001 Codice identificativo ISI: WOS:000757780700001 Codice identificativo SCOPUS: 2-s2.0-85126014393 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Articolo in rivista | |
| Geometry of superlukasiewicz logic JOURNAL OF LOGIC AND COMPUTATION. Vol. 32. Pag.608-629 ISSN:1465-363X. | |
| DI NOLA, Antonio; Lenzi, Giacomo; Vitale, Gaetano | |
| Digital Object Identifier (DOI): 10.1093/logcom/exab060 Codice identificativo ISI: WOS:000781366400005 Codice identificativo SCOPUS: 2-s2.0-85134487935 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2021 | |
| Articolo in rivista | |
| Dualities and algebraic geometry of Baire functions in non-classical logic JOURNAL OF LOGIC AND COMPUTATION. Vol. 31. Pag.1868-1890 ISSN:1465-363X. | |
| Di Nola, A.; Lapenta, S.; Lenzi, G. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1093/logcom/exab037 Codice identificativo ISI: WOS:000715358800013 Codice identificativo SCOPUS: 2-s2.0-85107701397 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2021 | |
| Articolo in rivista | |
| Sheaf representations and locality of Riesz spaces with order unit. JOURNAL OF LOGIC AND ANALYSIS. Vol. 13. Pag.1-35 ISSN:1759-9008. | |
| Di Nola, A.; Lenzi, G.; Spada, L. | |
| Digital Object Identifier (DOI): 10.4115/jla.2021.13.2 Codice identificativo ISI: WOS:000652194200002 Codice identificativo SCOPUS: 2-s2.0-85107626318 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2020 | |
| Articolo in rivista | |
| A characterization of pseudofinite MV-algebras SOFT COMPUTING. Vol. 24. Pag.8751-8761 ISSN:1432-7643. | |
| Farsimadan, E.; Lenzi, G.; Rizzo, P.; Saeid, A. B. | |
| Digital Object Identifier (DOI): 10.1007/s00500-020-04910-y Codice identificativo ISI: WOS:000534085100019 Codice identificativo SCOPUS: 2-s2.0-85083420748 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2020 | |
| Articolo in rivista | |
| The spectrum problem for Abelian l-groups and MV-algebras ALGEBRA UNIVERSALIS. Vol. 81. Pag.0-0 ISSN:0002-5240. | |
| Lenzi, G; Di Nola, A. | |
| Digital Object Identifier (DOI): 10.1007/s00012-020-00668-4 Codice identificativo ISI: WOS:000545670000001 Codice identificativo SCOPUS: 2-s2.0-85087406573 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2020 | |
| Articolo in rivista | |
| Ultramatricial algebras over commutative chain semirings and application to MV-algebras FORUM MATHEMATICUM. Vol. 32. Pag.287-305 ISSN:0933-7741. | |
| Di Nola, A.; Lenzi, G.; Nam, G. | |
| Digital Object Identifier (DOI): 10.1515/forum-2019-0056 Codice identificativo ISI: WOS:000517842300003 Codice identificativo SCOPUS: 2-s2.0-85074639386 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2019 | |
| Articolo in rivista | |
| Some invariant skeletons for l-u groups andMV-algebras ORDER. Vol. 36. Pag.77-97 ISSN:0167-8094. | |
| Di Nola, A.; Lenzi, G.; Russo, ANNA CARLA | |
| Digital Object Identifier (DOI): 10.1007/s11083-018-9456-5 Codice identificativo ISI: WOS:000462187600006 Codice identificativo SCOPUS: 2-s2.0-85044366284 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2019 | |
| Articolo in rivista | |
| Observables on perfect MV-algebras FUZZY SETS AND SYSTEMS. Vol. 369. Pag.57-81 ISSN:0165-0114. | |
| Di Nola, Antonio; Dvurecenskij, Anatolij; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1016/j.fss.2018.11.018 Codice identificativo ISI: WOS:000468735500004 Codice identificativo SCOPUS: 2-s2.0-85057591093 | |
| Visualizza sul Database dei Prodotti (IRIS) |
159584On injectivity of semimodules over additively idempotent division semirings and chain MV-semirings
| 2019 | |
| Articolo in rivista | |
| On injectivity of semimodules over additively idempotent division semirings and chain MV-semirings JOURNAL OF ALGEBRA. Vol. 538. Pag.81-109 ISSN:0021-8693. | |
| Di Nola, A.; Lenzi, G.; Nam, G.; Vannucci, Sara | |
| Digital Object Identifier (DOI): 10.1016/j.jalgebra.2019.07.025 Codice identificativo ISI: WOS:000487176300003 Codice identificativo SCOPUS: 2-s2.0-85070202020 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2019 | |
| Articolo in rivista | |
| Topological spaces of monadic MV-algebras SOFT COMPUTING. Vol. 23. Pag.375-381 ISSN:1432-7643. | |
| Di Nola, A.; Grigolia, Revaz; Lenzi, G. | |
| Digital Object Identifier (DOI): 10.1007/s00500-018-3166-1 Codice identificativo ISI: WOS:000456317200002 Codice identificativo SCOPUS: 2-s2.0-85044569460 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2019 | |
| Articolo in rivista | |
| PROJECTIVITY AND UNIFICATION IN LOCALLY FINITE VARIETIES OFMONADIC MV -ALGEBRAS TRANSACTIONS OF A. RAZMADZE MATHEMATICAL INSTITUTE. Vol. 173. Pag.21-29 ISSN:2346-8092. | |
| Di Nola, A.; Grigolia, R.; Lenzi, G. | |
| Codice identificativo ISI: WOS:000488506500004 Codice identificativo SCOPUS: 2-s2.0-85103442215 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2019 | |
| Articolo in rivista | |
| ENTROPY OF MV-ALGEBRAIC DYNAMICAL SYSTEMS: AN EXAMPLE MATHEMATICA SLOVACA. Vol. 69. Pag.267-274 ISSN:0139-9918. | |
| Barbieri, Giuseppina Gerarda; Lenzi, G. | |
| Digital Object Identifier (DOI): 10.1515/ms-2017-0221 Codice identificativo ISI: WOS:000461957000004 Codice identificativo SCOPUS: 2-s2.0-85063485858 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2019 | |
| Articolo in rivista | |
| On the Riesz structures of a lattice ordered abelian group MATHEMATICA SLOVACA. Vol. 69. Pag.1237-1244 ISSN:0139-9918. | |
| Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1515/ms-2017-0304 Codice identificativo ISI: WOS:000503861600002 Codice identificativo SCOPUS: 2-s2.0-85078089768 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2018 | |
| Articolo in rivista | |
| Duality theory and skeleta for semisimpleMV-algebras STUDIA LOGICA. Vol. 106. Pag.1239-1260 ISSN:0039-3215. | |
| Di Nola, A.; Lenzi, G. | |
| Digital Object Identifier (DOI): 10.1007/s11225-018-9787-7 Codice identificativo ISI: WOS:000450596100007 Codice identificativo SCOPUS: 2-s2.0-85043471582 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2018 | |
| Articolo in rivista | |
| On the lattice of the subvarieties of monadic MV(C)-algebras THE IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. Vol. 5. Pag.437-454 ISSN:2055-3706. | |
| Di Nola, A.; Grigolia, R.; Lenzi, G. | |
| Codice identificativo ISI: WOS:000438213700017 Codice identificativo SCOPUS: 2-s2.0-85071279260 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2018 | |
| Articolo in rivista | |
| The mu calculus alternation depth hierarchyis infinite over finite planar graphs THEORETICAL COMPUTER SCIENCE. Vol. 737. Pag.40-61 ISSN:0304-3975. | |
| D'Agostino, Giovanna; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1016/j.tcs.2018.04.009 Codice identificativo ISI: WOS:000437074500003 Codice identificativo SCOPUS: 2-s2.0-85045848919 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2018 | |
| Articolo in rivista | |
| Algebraic geometry for l-groups ALGEBRA UNIVERSALIS. Vol. 79. Pag.1-24 ISSN:0002-5240. | |
| Di Nola, A.; Lenzi, G.; Vitale, G. | |
| Digital Object Identifier (DOI): 10.1007/s00012-018-0548-2 Codice identificativo ISI: WOS:000442405700006 Codice identificativo SCOPUS: 2-s2.0-85051858151 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Articolo in rivista | |
| Riesz-McNaughton functions and RieszMV-algebras of nonlinear functions FUZZY SETS AND SYSTEMS. Vol. 311. Pag.1-14 ISSN:0165-0114. | |
| DI NOLA, Antonio; Lenzi, Giacomo; Vitale, Gaetano | |
| Codice identificativo ISI: WOS:000393242000001 Codice identificativo SCOPUS: 2-s2.0-84961275629 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Articolo in rivista | |
| Relative subalgebras of MV-algebras ALGEBRA UNIVERSALIS. Vol. 77. Pag.345-360 ISSN:0002-5240. | |
| Belluce, Peter; DI NOLA, Antonio; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1007/s00012-017-0435-2 Codice identificativo ISI: WOS:000401803700005 Codice identificativo SCOPUS: 2-s2.0-85011798122 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Articolo in rivista | |
| On MV-algebras of non-linear functions CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS. Vol. 6. Pag.107-120 ISSN:2345-5853. | |
| DI NOLA, Antonio; Lenzi, Giacomo; Vitale, Gaetano | |
| Codice identificativo ISI: WOS:000393193800009 Codice identificativo SCOPUS: 2-s2.0-85074592111 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2016 | |
| Articolo in rivista | |
| On free MV algebras and a problem of Tarski MATHEMATICAL LOGIC QUARTERLY. Vol. 62. Pag.232-240 ISSN:1521-3870. | |
| DI NOLA, Antonio; Lenzi, Giacomo; Vitale, Gaetano | |
| Digital Object Identifier (DOI): 10.1002/malq.201400106 Codice identificativo ISI: WOS:000377223400008 Codice identificativo SCOPUS: 2-s2.0-84969975041 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2016 | |
| Articolo in rivista | |
| structural completeness and unification problem of the logic of Chang algebra AZERBAIJAN JOURNAL OF MATHEMATICS (PRINT). Pag.23-38 ISSN:2218-6816. | |
| DI NOLA, Antonio; Grigolia, Revaz; Lenzi, Giacomo | |
| Codice identificativo ISI: WOS:000372166000003 Codice identificativo SCOPUS: 2-s2.0-84954271451 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2015 | |
| Articolo in rivista | |
| On generalizing the Nullstellensatzfor MV algebras JOURNAL OF LOGIC AND COMPUTATION. Vol. 25. Pag.701-717 ISSN:0955-792X. | |
| L. P., Belluce; DI NOLA, Antonio; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): doi:10.1093/logcom/exu042 Codice identificativo ISI: WOS:000355952200009 Codice identificativo SCOPUS: 2-s2.0-84942118868 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2015 | |
| Articolo in rivista | |
| On the Modal mu-calculus over finite symmetric graphs MATHEMATICA SLOVACA. Vol. 65. Pag.731-746 ISSN:0139-9918. | |
| Giovanna, D'Agostino; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1515/ms-2015-0052 Codice identificativo ISI: WOS:000365543500004 Codice identificativo SCOPUS: 2-s2.0-84945131649 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2015 | |
| Articolo in rivista | |
| Bisimulation Quantifiers and Uniform Interpolation for Guarded First Order Logic THEORETICAL COMPUTER SCIENCE. Vol. 563. Pag.75-85 ISSN:0304-3975. | |
| D'Agostino, Giovanna; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1016/j.tcs.2014.08.015 Codice identificativo ISI: WOS:000348951200003 Codice identificativo SCOPUS: 2-s2.0-84926383744 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Articolo in rivista | |
| An Algebraic Characterization of O-Minimal andWeakly O-Minimal MV-Chains JOURNAL OF PURE AND APPLIED ALGEBRA. Vol. 218. Pag.90-100 ISSN:0022-4049. | |
| Lenzi, Giacomo; Enrico, Marchioni | |
| Digital Object Identifier (DOI): 10.1016/j.jpaa.2013.04.014 Codice identificativo ISI: WOS:000327362900009 Codice identificativo SCOPUS: 2-s2.0-84886639246 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Articolo in rivista | |
| Algebraic geometry for MV-algebras THE JOURNAL OF SYMBOLIC LOGIC. Vol. 79. Pag.1061-1091 ISSN:0022-4812. | |
| Lawrence P., Belluce; DI NOLA, Antonio; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1017/jsl.2014.53 Codice identificativo ISI: WOS:000348585700006 Codice identificativo SCOPUS: 2-s2.0-84927627847 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Articolo in rivista | |
| Geometric issues in the algebraictheory of many valued logics. AZERBAIJAN JOURNAL OF MATHEMATICS (PRINT). Vol. 4. Pag.18-24 ISSN:2218-6816. | |
| L. P., Belluce; DI NOLA, Antonio; Lenzi, Giacomo | |
| Codice identificativo SCOPUS: 2-s2.0-84893067801 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2013 | |
| Articolo in rivista | |
| On modal mu-calculus over reflexive and symmetric graphs JOURNAL OF LOGIC AND COMPUTATION. Vol. 23. Pag.445-455 ISSN:0955-792X. | |
| G., D'Agostino; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1093/logcom/exs028 Codice identificativo ISI: WOS:000319474400001 Codice identificativo SCOPUS: 2-s2.0-84877972829 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2013 | |
| Articolo in rivista | |
| Hyperfinite MV-algebras JOURNAL OF PURE AND APPLIED ALGEBRA. Vol. 217. Pag.1208-1223 ISSN:0022-4049. | |
| Belluce, Lawrence Peter; DI NOLA, Antonio; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1016/j.jpaa.2012.10.012 Codice identificativo ISI: WOS:000316926100004 Codice identificativo SCOPUS: 2-s2.0-84873747409 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2013 | |
| Articolo in rivista | |
| On modal mu-calculus in S5 and applications FUNDAMENTA INFORMATICAE. Vol. 124. Pag.1-18 ISSN:0169-2968. | |
| D'Agostino, G.; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.3233/FI-2013-844 Codice identificativo ISI: WOS:000320502200007 Codice identificativo SCOPUS: 2-s2.0-84879543555 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2013 | |
| Articolo in rivista | |
| Algebraically closed MV-algebras and their sheaf representation ANNALS OF PURE AND APPLIED LOGIC. Vol. 164. Pag.349-355 ISSN:0168-0072. | |
| DI NOLA, Antonio; Ferraioli, ANNA RITA; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1016/j.apal.2012.10.017 Codice identificativo ISI: WOS:000314432700009 Codice identificativo SCOPUS: 2-s2.0-84871046502 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Articolo in rivista | |
| On Vaught's Conjecture and finitely valued MV algebras MATHEMATICAL LOGIC QUARTERLY. Vol. 58. Pag.139-152 ISSN:0942-5616. | |
| DI NOLA, Antonio; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1002/malq.201020091 Codice identificativo ISI: WOS:000303919900005 Codice identificativo SCOPUS: 2-s2.0-84860893801 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Articolo in rivista | |
| On Modal mu-Calculus over finite graphs with small components or small tree width INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. Vol. 23. Pag.627-647 ISSN:0129-0541. | |
| Lenzi, Giacomo; Giovanna, D'Agostino | |
| Digital Object Identifier (DOI): 10.1142/S012905411240031X Codice identificativo ISI: WOS:000304003000005 Codice identificativo SCOPUS: 2-s2.0-84861016304 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2011 | |
| Articolo in rivista | |
| Deciding the existence of uniform interpolants over transitive models ARCHIVE FOR MATHEMATICAL LOGIC. Vol. 50. Pag.185-196 ISSN:0933-5846. | |
| Lenzi, Giacomo; Giovanna, D'Agostino | |
| Digital Object Identifier (DOI): 10.1007/s00153-010-0208-5 Codice identificativo ISI: WOS:000286668400010 Codice identificativo SCOPUS: 2-s2.0-79251586291 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2011 | |
| Articolo in rivista | |
| On a positive set theory with inequality MATHEMATICAL LOGIC QUARTERLY. Vol. 57. Pag.474-480 ISSN:0942-5616. | |
| Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1002/malq.201010022 Codice identificativo ISI: WOS:000295573600004 Codice identificativo SCOPUS: 2-s2.0-80053085957 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Articolo in rivista | |
| Representation of MV algebras by regular ultrapowers of [0,1] ARCHIVE FOR MATHEMATICAL LOGIC. Vol. 49/4. Pag.491-500 ISSN:0933-5846. | |
| DI NOLA, Antonio; Lenzi, Giacomo; Spada, Luca | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1007/s00153-010-0182-y Codice identificativo ISI: WOS:000277246000004 Codice identificativo SCOPUS: 2-s2.0-84893678204 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Articolo in rivista | |
| Recent results on Modal Mu-calculus: a survey RENDICONTI DELL'ISTITUTO DI MATEMATICA DELL'UNIVERSITÀ DI TRIESTE. Vol. 42. Pag.235-255 ISSN:0049-4704. | |
| Lenzi, Giacomo | |
| Codice identificativo SCOPUS: 2-s2.0-85012863427 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Articolo in rivista | |
| On modal mu-calculus over finite graphs with bounded strongly connected components. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. Pag.55-71 ISSN:2075-2180. | |
| Lenzi, G.; D'Agostino, G. | |
| Digital Object Identifier (DOI): 10.4204/EPTCS.25.9 Codice identificativo SCOPUS: 2-s2.0-85009843347 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2010 | |
| Articolo in rivista | |
| On the Mu-calculus over transitive and finite transitive frames THEORETICAL COMPUTER SCIENCE. Vol. 411. Pag.4273-4290 ISSN:0304-3975. | |
| Lenzi, Giacomo; Giovanna, D'Agostino | |
| Digital Object Identifier (DOI): 10.1016/j.tcs.2010.09.002 Codice identificativo ISI: WOS:000284493500001 Codice identificativo SCOPUS: 2-s2.0-78049247892 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Articolo in rivista | |
| A positive set theory with equality revisited MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. Vol. 18. Pag.1-12 ISSN:0960-1295. | |
| Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1017/S0960129508006610 Codice identificativo ISI: WOS:000255227600009 Codice identificativo SCOPUS: 2-s2.0-40449111217 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Articolo in rivista | |
| A note on bisimulation quantifiers and fixed points over transitive frames JOURNAL OF LOGIC AND COMPUTATION. Vol. 18. Pag.601-614 ISSN:0955-792X. | |
| Lenzi, Giacomo; D'Agostino, G. | |
| Digital Object Identifier (DOI): 10.1093/logcom/exm085 Codice identificativo ISI: WOS:000257789100006 Codice identificativo SCOPUS: 2-s2.0-47849131318 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Articolo in rivista | |
| The variable hierarchy of the $mu$-calculus is strict. THEORY OF COMPUTING SYSTEMS. Vol. 40. Pag.437-466 ISSN:1432-4350. | |
| Berwanger, D; Graedel, E; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1007/s00224-006-1317-8 Codice identificativo ISI: WOS:000245244400009 Codice identificativo SCOPUS: 2-s2.0-34547177338 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Articolo in rivista | |
| On modal $mu$-calculus with explicit interpolants JOURNAL OF APPLIED LOGIC. Vol. 4. Pag.256-278 ISSN:1570-8683. | |
| Lenzi, Giacomo; G., D'Agostino | |
| Digital Object Identifier (DOI): 10.1016/j.jal.2005.06.008 Codice identificativo SCOPUS: 2-s2.0-33746842258 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Articolo in rivista | |
| The transitive $mu$-Calculus is B"uchi definable, WSEAS TRANSACTIONS ON MATHEMATICS. Vol. 5 (9). Pag.1021-1026 ISSN:1109-2769. | |
| Lenzi, Giacomo | |
| Codice identificativo SCOPUS: 2-s2.0-33746889058 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Articolo in rivista | |
| Mu-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logic JOURNAL OF APPLIED NON-CLASSICAL LOGICS. Vol. 16. Pag.297-309 ISSN:1166-3081. | |
| Lenzi, Giacomo; D'Agostino, G.; French, T. | |
| Digital Object Identifier (DOI): 10.3166/jancl.16.297-309 Codice identificativo SCOPUS: 2-s2.0-38049038249 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Articolo in rivista | |
| About a positive set theory with equality, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 169. Pag.111-120 ISSN:1571-0661. | |
| Lenzi, Giacomo | |
| Codice identificativo SCOPUS: 2-s2.0-33847166542 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2005 | |
| Articolo in rivista | |
| An axiomatization of bisimulation quantifiers via the mu-calculus. THEORETICAL COMPUTER SCIENCE. Vol. 338. Pag.64-95 ISSN:0304-3975. | |
| D'Agostino, G; Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1016/j.tcs.2004.10.040 Codice identificativo ISI: WOS:000229683100003 Codice identificativo SCOPUS: 2-s2.0-18544367003 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2005 | |
| Articolo in rivista | |
| The modal $mu$-calculus: a survey, T.A.S.K. QUARTERLY. Vol. 9 (3). Pag.293-316 ISSN:1428-6394. | |
| Lenzi, Giacomo | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Articolo in rivista | |
| On fixpoint arithmetic and infinite time Turing machines, INFORMATION PROCESSING LETTERS. Vol. 91 (3). Pag.121-128 ISSN:0020-0190. | |
| Lenzi, Giacomo; Monteleone, E. | |
| Digital Object Identifier (DOI): 10.1016/j.ipl.2004.04.001 Codice identificativo ISI: WOS:000222536100003 Codice identificativo SCOPUS: 2-s2.0-2942691893 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Articolo in rivista | |
| On the relationship between monadic and weak monadic second order on arbitrary trees, with application to the mu-calculus FUNDAMENTA INFORMATICAE. Vol. 61. Pag.247-265 ISSN:0169-2968. | |
| Lenzi, Giacomo; D., Janin | |
| Codice identificativo ISI: WOS:000223728800004 Codice identificativo SCOPUS: 2-s2.0-4043174728 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2002 | |
| Articolo in rivista | |
| On the logical definability of topologically closed recognizable languages of infinite trees COMPUTING AND INFORMATICS. Vol. 21. Pag.185-203 ISSN:1335-9150. | |
| Lenzi, Giacomo; Janin, D. | |
| Codice identificativo ISI: WOS:000180569700001 Codice identificativo SCOPUS: 2-s2.0-0346677538 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2002 | |
| Articolo in rivista | |
| A basic theory with predicates BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY SIMON STEVIN. Vol. 9 (1). Pag.73-100 ISSN:1370-1444. | |
| Lenzi, Giacomo; Tortorelli, V. | |
| Digital Object Identifier (DOI): 10.36045/bbms/1102715142 Codice identificativo ISI: WOS:000176137100007 Codice identificativo SCOPUS: 2-s2.0-0042887219 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Articolo in rivista | |
| Mu--depth 3 is more than 2: a game-theoretic proof MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. Vol. 11. Pag.273-297 ISSN:0960-1295. | |
| Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1017/S0960129500003194 Codice identificativo SCOPUS: 2-s2.0-19344361989 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Articolo in rivista | |
| Monadic Second Order Logic And Its Fragments, in: M. Bauderon, A. Corradini (eds.), Proceedings of the GETGRATS Final Workshop, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 51. Pag.258-264 ISSN:1571-0661. | |
| Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.1016/S1571-0661(04)80208-1 Codice identificativo SCOPUS: 2-s2.0-19344363342 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1999 | |
| Articolo in rivista | |
| , A nontrivial model of Weydert's $SF_3$ minus the Leibniz rules. BULLETIN DE LA SOCIETE MATHEMATIQUE DE BELGIQUE. SERIE B. Vol. 6 (1). Pag.77-90 ISSN:0771-1158. | |
| Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.36045/bbms/1103149969 Codice identificativo ISI: WOS:000079260800003 Codice identificativo SCOPUS: 2-s2.0-0041353962 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1999 | |
| Articolo in rivista | |
| A basic theory for the foundations of mathematics and other sciences. LA NUOVA CRITICA. NUOVA SERIE. Vol. 33-34. Pag.129-136 ISSN:1824-9663. | |
| Lenzi, Giacomo | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1997 | |
| Articolo in rivista | |
| Verso i sistemi assiomatici del2000 in matematica, logica e informatica NUOVA CIVILTÀ DELLE MACCHINE. Pag.248-259 ISSN:1970-9714. | |
| E., De Giorgi; M., Forti; Lenzi, Giacomo | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1997 | |
| Articolo in rivista | |
| A general axiomatic framework for the foundations of mathematics, logic and computer science RENDICONTI DELL'ACCADEMIA NAZIONALE DELLE SCIENZE DETTA DEI XL. PARTE I. MEMORIE DI MATEMATICA E APPLICAZIONI. Vol. 21. Pag.171-207 ISSN:1128-8582. | |
| M., Forti; Lenzi, Giacomo | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1996 | |
| Articolo in rivista | |
| La teoria '95. Una proposta di teoriaaperta e non riduzionista dei fondamenti della matematica RENDICONTI DELL'ACCADEMIA NAZIONALE DELLE SCIENZE DETTA DEI XL. PARTE I. MEMORIE DI MATEMATICA E APPLICAZIONI. Vol. 20. Pag.7-34 ISSN:1128-8582. | |
| E., De Giorgi; Lenzi, Giacomo | |
| Visualizza sul Database dei Prodotti (IRIS) |
42189Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della matematica
| 1995 | |
| Articolo in rivista | |
| Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della matematica ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI. RENDICONTI LINCEI. MATEMATICA E APPLICAZIONI. Vol. 6. Pag.79-92 ISSN:1120-6330. | |
| E., De Giorgi; M., Forti; Lenzi, Giacomo; V. M., Tortorelli | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1995 | |
| Articolo in rivista | |
| Formalizations and models of a basic theory for the foundations of mathematics RENDICONTI DELL'ACCADEMIA NAZIONALE DELLE SCIENZE DETTA DEI XL. PARTE I. MEMORIE DI MATEMATICA E APPLICAZIONI. Vol. 19. Pag.129-157 ISSN:1128-8582. | |
| M., Grassi; Lenzi, Giacomo; V. M., Tortorelli | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1994 | |
| Articolo in rivista | |
| Una proposta di teorie base deifondamenti della matematica ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI. RENDICONTI LINCEI. MATEMATICA E APPLICAZIONI. Vol. 5. Pag.11-22 ISSN:1120-6330. | |
| E., De Giorgi; M., Forti; Lenzi, Giacomo | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1994 | |
| Articolo in rivista | |
| Introduzione delle variabili nelquadro delle teorie base dei fondamenti della matematica ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI. RENDICONTI LINCEI. MATEMATICA E APPLICAZIONI. Vol. 5. Pag.117-128 ISSN:1120-6330. | |
| E., De Giorgi; M., Forti; Lenzi, Giacomo | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1992 | |
| Articolo in rivista | |
| Weydert's sf3 has no recursive term model BULLETIN DE LA SOCIETÉ MATHÉMATIQUE DE LA BELGIQUE. Vol. 44. Pag.311-327 ISSN:0037-9478. | |
| Lenzi, Giacomo | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1989 | |
| Articolo in rivista | |
| Un modello aritmetico parziale della teoria ampia RENDICONTI DEL SEMINARIO DELLA FACOLTÀ DI SCIENZE DELL'UNIVERSITÀ DI CAGLIARI. Vol. 59. Pag.15-52 ISSN:0370-727X. | |
| Lenzi, Giacomo | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1989 | |
| Articolo in rivista | |
| Estensioni contraddittorie della teoria ampia ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI. RENDICONTI DELLA CLASSE DI SCIENZE FISICHE, MATEMATICHE E NATURALI. Vol. 83. Pag.13-28 ISSN:0392-7881. | |
| Lenzi, Giacomo | |
| Visualizza sul Database dei Prodotti (IRIS) |
