default search action
Giacomo Lenzi
Person information
- affiliation: University of Salerno, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j38]Giuseppina Gerarda Barbieri, Antonio Di Nola, Giacomo Lenzi:
Spectral MV-algebras and equispectrality. Arch. Math. Log. 63(7-8): 893-919 (2024) - 2023
- [j37]Giacomo Lenzi, Gaetano Vitale:
Logical Complexity of Spectra of Abelian ℓ-groups. FLAP 10(1): 29-35 (2023) - [j36]Mahta Bedrood, Giuseppina Barbieri, Giacomo Lenzi, Farhad Sajadian, Arsham Borumand Saeid:
A Special Type of Ideals in MV-algebras of Continuous Functions. FLAP 10(4): 531-554 (2023) - [j35]Giacomo Lenzi:
On The Spectrum of Countable MV-algebras. TFSS 2(2): 184-193 (2023) - [c18]Antonio Di Nola, Serafina Lapenta, Giacomo Lenzi:
A pointfree approach to measurability and statistical models. ISIPTA 2023: 189-199 - 2022
- [j34]Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale:
Geometry of super-Łukasiewicz logics. J. Log. Comput. 32(3): 608-629 (2022) - 2021
- [j33]Antonio Di Nola, Giacomo Lenzi, Luca Spada:
Sheaf representations and locality of Riesz spaces with order unit. J. Log. Anal. 13 (2021) - [j32]Antonio Di Nola, Serafina Lapenta, Giacomo Lenzi:
Dualities and algebraic geometry of Baire functions in non-classical logic. J. Log. Comput. 31(7): 1868-1890 (2021) - 2020
- [j31]Eslam Farsimadan
, Giacomo Lenzi, Paolo Rizzo, Arsham Borumand Saeid
A characterization of pseudofinite MV-algebras. Soft Comput. 24(12): 8751-8761 (2020)
2010 – 2019
- 2019
- [j30]Antonio Di Nola, Anatolij Dvurecenskij, Giacomo Lenzi
Observables on perfect MV-algebras. Fuzzy Sets Syst. 369: 57-81 (2019) - [j29]Antonio Di Nola, Giacomo Lenzi, Anna Carla Russo:
Some Invariant Skeletons for ℓ-u Groups and MV-Algebras. Order 36(1): 77-97 (2019) - [j28]Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi
Topological spaces of monadic MV-algebras. Soft Comput. 23(2): 375-381 (2019) - 2018
- [j27]Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi:
On the Lattice of the Subvarieties of Monadic MV (C)-algebras. FLAP 5(1): 437-454 (2018) - [j26]Antonio Di Nola, Giacomo Lenzi:
Duality Theory and Skeleta for Semisimple MV-Algebras. Stud Logica 106(6): 1239-1260 (2018) - [j25]Giovanna D'Agostino, Giacomo Lenzi
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs. Theor. Comput. Sci. 737: 40-61 (2018) - 2017
- [j24]Antonio Di Nola, Giacomo Lenzi
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions. Fuzzy Sets Syst. 311: 1-14 (2017) - [c17]Antonio Di Nola, Giacomo Lenzi:
On semirings and MV-algebras. FUZZ-IEEE 2017: 1-6 - 2016
- [j23]Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale
On free MV algebras and a problem of Tarski. Math. Log. Q. 62(3): 232-240 (2016) - [p1]Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale
Łukasiewicz Equivalent Neural Networks. Advances in Neural Networks 2016: 161-168 - 2015
- [j22]Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi:
On generalizing the Nullstellensatz for MV algebras. J. Log. Comput. 25(3): 701-717 (2015) - [j21]Giovanna D'Agostino, Giacomo Lenzi
Bisimulation quantifiers and uniform interpolation for guarded first order logic. Theor. Comput. Sci. 563: 75-85 (2015) - [c16]Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions. FUZZ-IEEE 2015: 1-8 - 2014
- [j20]Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi
Algebraic Geometry for MV-Algebras. J. Symb. Log. 79(4): 1061-1091 (2014) - 2013
- [j19]Antonio Di Nola, Anna R. Ferraioli, Giacomo Lenzi
Algebraically closed MV-algebras and their sheaf representation. Ann. Pure Appl. Log. 164(3): 349-355 (2013) - [j18]Giovanna D'Agostino, Giacomo Lenzi
On Modal μ-Calculus in S5 and Applications. Fundam. Informaticae 124(4): 465-482 (2013) - [j17]Giovanna D'Agostino, Giacomo Lenzi
On modal μ-calculus over reflexive symmetric graphs. J. Log. Comput. 23(3): 445-455 (2013) - [c15]Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi
Fuzzy Logic as a geometry. IFSA/NAFIPS 2013: 1249-1251 - [c14]Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi:
Projectivity and unification in the varieties of locally finite monadic MV-algebras. TACL 2013: 88-91 - 2012
- [j16]Giovanna D'Agostino, Giacomo Lenzi
On Modal μ-Calculus over Finite Graphs with Small Components or Small Tree Width. Int. J. Found. Comput. Sci. 23(3): 627-647 (2012) - [j15]Antonio Di Nola, Giacomo Lenzi
On Vaught's Conjecture and finitely valued MV algebras. Math. Log. Q. 58(3): 139-152 (2012) - [c13]Dario Della Monica, Giacomo Lenzi:
On a Priced Resource-bounded Alternating μ-Calculus. ICAART (2) 2012: 222-227 - 2011
- [j14]Giovanna D'Agostino, Giacomo Lenzi
Deciding the existence of uniform interpolants over transitive models. Arch. Math. Log. 50(1-2): 185-196 (2011) - [j13]Giacomo Lenzi
On a positive set theory with inequality. Math. Log. Q. 57(5): 474-480 (2011) - [c12]Giovanna D'Agostino, Giacomo Lenzi:
On modal mu-calculus in S5 and applications. CILC 2011: 9-24 - [c11]Giacomo Lenzi:
On P-transitive graphs and applications. GandALF 2011: 222-236 - 2010
- [j12]Antonio Di Nola, Giacomo Lenzi
Representation of MV-algebras by regular ultrapowers of [0, 1]. Arch. Math. Log. 49(4): 491-500 (2010) - [j11]Giovanna D'Agostino, Giacomo Lenzi
On the µ-calculus over transitive and finite transitive frames. Theor. Comput. Sci. 411(50): 4273-4290 (2010) - [c10]Giovanna D'Agostino, Giacomo Lenzi:
On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components. GANDALF 2010: 55-71
2000 – 2009
- 2008
- [j10]Giovanna D'Agostino, Giacomo Lenzi
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames. J. Log. Comput. 18(4): 601-614 (2008) - [j9]Giacomo Lenzi
A positive set theory with equality revisited. Math. Struct. Comput. Sci. 18(1): 177-188 (2008) - 2007
- [j8]Dietmar Berwanger
The Variable Hierarchy of the µ-Calculus Is Strict. Theory Comput. Syst. 40(4): 437-466 (2007) - 2006
- [j7]Giovanna D'Agostino, Giacomo Lenzi
µ-programs, uniform interpolation and bisimulation quantifiers for modal logics. J. Appl. Non Class. Logics 16(3-4): 297-310 (2006) - [j6]Giovanna D'Agostino, Giacomo Lenzi
On modal mu-calculus with explicit interpolants. J. Appl. Log. 4(3): 256-278 (2006) - [c9]Giacomo Lenzi
About a Positive Set Theory With Equality. LMCS 2006: 111-120 - 2005
- [j5]Giovanna D'Agostino, Giacomo Lenzi
An axiomatization of bisimulation quantifiers via the mu-calculus. Theor. Comput. Sci. 338(1-3): 64-95 (2005) - [c8]Dietmar Berwanger
The Variable Hierarchy of the µ-Calculus Is Strict. STACS 2005: 97-109 - 2004
- [j4]David Janin, Giacomo Lenzi:
On the Rlationship Between Monadic and Weak Monadic Second Order Logic on Arbitrary Trees, with Applications to the mu-Calculus. Fundam. Informaticae 61(3-4): 247-265 (2004) - [j3]Giacomo Lenzi
On Fixpoint Arithmetic and Infinite Time Turing Machines. Inf. Process. Lett. 91(3): 121-128 (2004) - 2002
- [j2]David Janin, Giacomo Lenzi:
On the Logical Definability of Topologically Closed Recognizable Languages of Infinite Trees. Comput. Artif. Intell. 21(3): 185-203 (2002) - [c7]Dietmar Berwanger
On the Variable Hierarchy of the Modal µ-Calculus. CSL 2002: 352-366 - 2001
- [j1]Giacomo Lenzi:
Mu-depth 3 is more than 2: a game-theoretic proof. Math. Struct. Comput. Sci. 11(2): 273-297 (2001) - [c6]André Arnold, Giacomo Lenzi, Jerzy Marcinkowski:
The Hierarchy inside Closed Monadic Sigma1 Collapses on the Infinite Binary Tree. LICS 2001: 157-166 - [c5]David Janin, Giacomo Lenzi:
Relating Levels of the Mu-Calculus Hierarchy and Levels of the Monadic Hierarchy. LICS 2001: 347-356 - [c4]Giacomo Lenzi:
A New Logical Characterization of Büchi Automata. STACS 2001: 467-477 - [c3]Giacomo Lenzi
Monadic Second Order Logic And Its Fragments. GETGRATS Closing Workshop 2001: 258-264
1990 – 1999
- 1999
- [c2]David Janin, Giacomo Lenzi:
On the Structure of the Monadic Logic of the Binary Tree. MFCS 1999: 310-320 - 1996
- [c1]Giacomo Lenzi:
A Hierarchy Theorem for the µ-Calculus. ICALP 1996: 87-97
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-21 02:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: