Giacomo Lenzi

59 papers A* 3A 2B 4Journal 40Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Topological Classes of MV-Algebras.
Stud Logica
Giuseppina Barbieri, Antonio Di Nola, Giacomo Lenzi
2024 J jnl
On a Problem of Conrad on Riesz Space Structures.
Order
Giacomo Lenzi
2024 J jnl
Spectral MV-algebras and equispectrality.
Arch. Math. Log.
Giuseppina Gerarda Barbieri, Antonio Di Nola, Giacomo Lenzi
2023 J jnl
A Special Type of Ideals in MV-algebras of Continuous Functions.
FLAP
Mahta Bedrood, Giuseppina Barbieri, Giacomo Lenzi, Farhad Sajadian, Arsham Borumand Saeid
2023 — conf
A pointfree approach to measurability and statistical models.
ISIPTA
Antonio Di Nola, Serafina Lapenta, Giacomo Lenzi
2023 J jnl
Logical Complexity of Spectra of Abelian ℓ-groups.
FLAP
Giacomo Lenzi, Gaetano Vitale
2023 J jnl
On The Spectrum of Countable MV-algebras.
TFSS
Giacomo Lenzi
2022 J jnl
Geometry of super-Łukasiewicz logics.
J. Log. Comput.
Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale
2021 J jnl
Dualities and algebraic geometry of Baire functions in non-classical logic.
J. Log. Comput.
Antonio Di Nola, Serafina Lapenta, Giacomo Lenzi
2021 J jnl
Sheaf representations and locality of Riesz spaces with order unit.
J. Log. Anal.
Antonio Di Nola, Giacomo Lenzi, Luca Spada
2020 J jnl
A characterization of pseudofinite MV-algebras.
Soft Comput.
Eslam Farsimadan, Giacomo Lenzi, Paolo Rizzo, Arsham Borumand Saeid
2019 J jnl
Observables on perfect MV-algebras.
Fuzzy Sets Syst.
Antonio Di Nola, Anatolij Dvurecenskij, Giacomo Lenzi
2019 J jnl
Some Invariant Skeletons for ℓ-u Groups and MV-Algebras.
Order
Antonio Di Nola, Giacomo Lenzi, Anna Carla Russo
2019 J jnl
Topological spaces of monadic MV-algebras.
Soft Comput.
Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi
2018 J jnl
Duality Theory and Skeleta for Semisimple MV-Algebras.
Stud Logica
Antonio Di Nola, Giacomo Lenzi
2018 J jnl
On the Lattice of the Subvarieties of Monadic MV (C)-algebras.
FLAP
Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi
2018 J jnl
The
Theor. Comput. Sci.
Giovanna D'Agostino, Giacomo Lenzi
2017 B conf
On semirings and MV-algebras.
FUZZ-IEEE
Antonio Di Nola, Giacomo Lenzi
2017 J jnl
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions.
Fuzzy Sets Syst.
Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale
2016 J jnl
On free MV algebras and a problem of Tarski.
Math. Log. Q.
Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale
2016 — ch.
Łukasiewicz Equivalent Neural Networks.
Advances in Neural Networks
Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale
2015 J jnl
Bisimulation quantifiers and uniform interpolation for guarded first order logic.
Theor. Comput. Sci.
Giovanna D'Agostino, Giacomo Lenzi
2015 J jnl
On generalizing the Nullstellensatz for MV algebras.
J. Log. Comput.
Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi
2015 B conf
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions.
FUZZ-IEEE
Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale
2014 J jnl
Algebraic Geometry for MV-Algebras.
J. Symb. Log.
Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi
2013 J jnl
Algebraically closed MV-algebras and their sheaf representation.
Ann. Pure Appl. Log.
Antonio Di Nola, Anna R. Ferraioli, Giacomo Lenzi
2013 — conf
Fuzzy Logic as a geometry.
IFSA/NAFIPS
Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi
2013 J jnl
On Modal μ-Calculus in S5 and Applications.
Fundam. Informaticae
Giovanna D'Agostino, Giacomo Lenzi
2013 J jnl
On modal μ-calculus over reflexive symmetric graphs.
J. Log. Comput.
Giovanna D'Agostino, Giacomo Lenzi
2013 — conf
Projectivity and unification in the varieties of locally finite monadic MV-algebras.
TACL
Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi
2012 J jnl
On Modal μ-Calculus over Finite Graphs with Small Components or Small Tree Width.
Int. J. Found. Comput. Sci.
Giovanna D'Agostino, Giacomo Lenzi
2012 J jnl
On Vaught's Conjecture and finitely valued MV algebras.
Math. Log. Q.
Antonio Di Nola, Giacomo Lenzi
2012 — conf
On a Priced Resource-bounded Alternating μ-Calculus.
ICAART (2)
Dario Della Monica, Giacomo Lenzi
2011 J jnl
Deciding the existence of uniform interpolants over transitive models.
Arch. Math. Log.
Giovanna D'Agostino, Giacomo Lenzi
2011 — conf
On P-transitive graphs and applications
GandALF
Giacomo Lenzi
2011 J jnl
On a positive set theory with inequality.
Math. Log. Q.
Giacomo Lenzi
2011 — conf
On modal mu-calculus in S5 and applications.
CILC
Giovanna D'Agostino, Giacomo Lenzi
2010 — conf
On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components
GANDALF
Giovanna D'Agostino, Giacomo Lenzi
2010 J jnl
On the µ-calculus over transitive and finite transitive frames.
Theor. Comput. Sci.
Giovanna D'Agostino, Giacomo Lenzi
2010 J jnl
Representation of MV-algebras by regular ultrapowers of [0, 1].
Arch. Math. Log.
Antonio Di Nola, Giacomo Lenzi, Luca Spada
2008 J jnl
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames.
J. Log. Comput.
Giovanna D'Agostino, Giacomo Lenzi
2008 J jnl
A positive set theory with equality revisited.
Math. Struct. Comput. Sci.
Giacomo Lenzi
2007 J jnl
The Variable Hierarchy of the µ-Calculus Is Strict.
Theory Comput. Syst.
Dietmar Berwanger, Erich Grädel, Giacomo Lenzi
2006 — conf
About a Positive Set Theory With Equality.
LMCS
Giacomo Lenzi
2006 J jnl
On modal mu-calculus with explicit interpolants.
J. Appl. Log.
Giovanna D'Agostino, Giacomo Lenzi
2006 J jnl
µ-programs, uniform interpolation and bisimulation quantifiers for modal logics.
J. Appl. Non Class. Logics
Giovanna D'Agostino, Giacomo Lenzi, Tim French
2005 J jnl
An axiomatization of bisimulation quantifiers via the mu-calculus.
Theor. Comput. Sci.
Giovanna D'Agostino, Giacomo Lenzi
2005 A conf
The Variable Hierarchy of the µ-Calculus Is Strict.
STACS
Dietmar Berwanger, Giacomo Lenzi
2004 J jnl
On Fixpoint Arithmetic and Infinite Time Turing Machines.
Inf. Process. Lett.
Giacomo Lenzi, Erich Monteleone
2004 J jnl
On the Rlationship Between Monadic and Weak Monadic Second Order Logic on Arbitrary Trees, with Applications to the mu-Calculus.
Fundam. Informaticae
David Janin, Giacomo Lenzi
2002 J jnl
On the Logical Definability of Topologically Closed Recognizable Languages of Infinite Trees.
Comput. Artif. Intell.
David Janin, Giacomo Lenzi
2002 B conf
On the Variable Hierarchy of the Modal µ-Calculus.
CSL
Dietmar Berwanger, Erich Grädel, Giacomo Lenzi
2001 A conf
A New Logical Characterization of Büchi Automata.
STACS
Giacomo Lenzi
2001 — conf
Monadic Second Order Logic And Its Fragments.
GETGRATS Closing Workshop
Giacomo Lenzi
2001 J jnl
Mu-depth 3 is more than 2: a game-theoretic proof.
Math. Struct. Comput. Sci.
Giacomo Lenzi
2001 A* conf
Relating Levels of the Mu-Calculus Hierarchy and Levels of the Monadic Hierarchy.
LICS
David Janin, Giacomo Lenzi
2001 A* conf
The Hierarchy inside Closed Monadic Sigma
LICS
André Arnold, Giacomo Lenzi, Jerzy Marcinkowski
1999 B conf
On the Structure of the Monadic Logic of the Binary Tree.
MFCS
David Janin, Giacomo Lenzi
1996 A* conf
A Hierarchy Theorem for the µ-Calculus.
ICALP
Giacomo Lenzi