Giacomo Lenzi

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 20

Top Topics

Topological Spaces

Algebraic Geometry

Datalog Queries

Continuous Functions

Top Venues

J. Log. Comput.

Theor. Comput. Sci.

Publications

Giacomo Lenzi
On The Spectrum of Countable MV-algebras. TFSS 2 (2) (2023)
Giacomo Lenzi, Gaetano Vitale
Logical Complexity of Spectra of Abelian ℓ-groups. FLAP 10 (1) (2023)
Antonio Di Nola, Serafina Lapenta, Giacomo Lenzi
A pointfree approach to measurability and statistical models. ISIPTA (2023)
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) (2023)
Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale
Geometry of super-Łukasiewicz logics. J. Log. Comput. 32 (3) (2022)
Antonio Di Nola, Giacomo Lenzi, Luca Spada
Sheaf representations and locality of Riesz spaces with order unit. J. Log. Anal. 13 (2021)
Antonio Di Nola, Serafina Lapenta, Giacomo Lenzi
Dualities and algebraic geometry of Baire functions in non-classical logic. J. Log. Comput. 31 (7) (2021)
Eslam Farsimadan, Giacomo Lenzi, Paolo Rizzo, Arsham Borumand Saeid
A characterization of pseudofinite MV-algebras. Soft Comput. 24 (12) (2020)
Antonio Di Nola, Giacomo Lenzi, Anna Carla Russo
Some Invariant Skeletons for ℓ-u Groups and MV-Algebras. Order 36 (1) (2019)
Antonio Di Nola, Anatolij Dvurecenskij, Giacomo Lenzi
Observables on perfect MV-algebras. Fuzzy Sets Syst. 369 (2019)
Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi
Topological spaces of monadic MV-algebras. Soft Comput. 23 (2) (2019)
Antonio Di Nola, Giacomo Lenzi
Duality Theory and Skeleta for Semisimple MV-Algebras. Stud Logica 106 (6) (2018)
Giovanna D'Agostino, Giacomo Lenzi
-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs. Theor. Comput. Sci. 737 (2018)
Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi
On the Lattice of the Subvarieties of Monadic MV (C)-algebras. FLAP 5 (1) (2018)
Antonio Di Nola, Giacomo Lenzi
On semirings and MV-algebras. FUZZ-IEEE (2017)
Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions. Fuzzy Sets Syst. 311 (2017)
Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale
On free MV algebras and a problem of Tarski. Math. Log. Q. 62 (3) (2016)
Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi
On generalizing the Nullstellensatz for MV algebras. J. Log. Comput. 25 (3) (2015)
Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions. FUZZ-IEEE (2015)
Giovanna D'Agostino, Giacomo Lenzi
Bisimulation quantifiers and uniform interpolation for guarded first order logic. Theor. Comput. Sci. 563 (2015)
Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi
Algebraic Geometry for MV-Algebras. J. Symb. Log. 79 (4) (2014)
Giovanna D'Agostino, Giacomo Lenzi
On Modal μ-Calculus in S5 and Applications. Fundam. Informaticae 124 (4) (2013)
Antonio Di Nola, Anna R. Ferraioli, Giacomo Lenzi
Algebraically closed MV-algebras and their sheaf representation. Ann. Pure Appl. Log. 164 (3) (2013)
Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi
Projectivity and unification in the varieties of locally finite monadic MV-algebras. TACL (2013)
Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi
Fuzzy Logic as a geometry. IFSA/NAFIPS (2013)
Giovanna D'Agostino, Giacomo Lenzi
On modal μ-calculus over reflexive symmetric graphs. J. Log. Comput. 23 (3) (2013)
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) (2012)
Antonio Di Nola, Giacomo Lenzi
On Vaught's Conjecture and finitely valued MV algebras. Math. Log. Q. 58 (3) (2012)
Dario Della Monica, Giacomo Lenzi
On a Priced Resource-bounded Alternating μ-Calculus. ICAART (2) (2012)
Giovanna D'Agostino, Giacomo Lenzi
On modal mu-calculus in S5 and applications. CILC (2011)
Giacomo Lenzi
On P-transitive graphs and applications GandALF (2011)
Giovanna D'Agostino, Giacomo Lenzi
Deciding the existence of uniform interpolants over transitive models. Arch. Math. Log. 50 (1-2) (2011)
Giacomo Lenzi
On a positive set theory with inequality. Math. Log. Q. 57 (5) (2011)
Giovanna D'Agostino, Giacomo Lenzi
On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components GANDALF (2010)
Antonio Di Nola, Giacomo Lenzi, Luca Spada
Representation of MV-algebras by regular ultrapowers of [0, 1]. Arch. Math. Log. 49 (4) (2010)
Giovanna D'Agostino, Giacomo Lenzi
On the µ-calculus over transitive and finite transitive frames. Theor. Comput. Sci. 411 (50) (2010)
Giacomo Lenzi
A positive set theory with equality revisited. Math. Struct. Comput. Sci. 18 (1) (2008)
Giovanna D'Agostino, Giacomo Lenzi
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames. J. Log. Comput. 18 (4) (2008)
Giacomo Lenzi
About a Positive Set Theory With Equality. Electron. Notes Theor. Comput. Sci. 169 (2007)
Dietmar Berwanger, Erich Grädel, Giacomo Lenzi
The Variable Hierarchy of the µ-Calculus Is Strict. Theory Comput. Syst. 40 (4) (2007)
Giovanna D'Agostino, Giacomo Lenzi, Tim French
µ-programs, uniform interpolation and bisimulation quantifiers for modal logics. J. Appl. Non Class. Logics 16 (3-4) (2006)
Giovanna D'Agostino, Giacomo Lenzi
On modal mu-calculus with explicit interpolants. J. Appl. Log. 4 (3) (2006)
Giovanna D'Agostino, Giacomo Lenzi
An axiomatization of bisimulation quantifiers via the mu-calculus. Theor. Comput. Sci. 338 (1-3) (2005)
Dietmar Berwanger, Giacomo Lenzi
The Variable Hierarchy of the µ-Calculus Is Strict. STACS (2005)
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) (2004)
Giacomo Lenzi, Erich Monteleone
On Fixpoint Arithmetic and Infinite Time Turing Machines. Inf. Process. Lett. 91 (3) (2004)
Dietmar Berwanger, Erich Grädel, Giacomo Lenzi
On the Variable Hierarchy of the Modal µ-Calculus. CSL (2002)
David Janin, Giacomo Lenzi
On the Logical Definability of Topologically Closed Recognizable Languages of Infinite Trees. Comput. Artif. Intell. 21 (3) (2002)
Giacomo Lenzi
A New Logical Characterization of Büchi Automata. STACS (2001)
David Janin, Giacomo Lenzi
Relating Levels of the Mu-Calculus Hierarchy and Levels of the Monadic Hierarchy. LICS (2001)
André Arnold, Giacomo Lenzi, Jerzy Marcinkowski
Collapses on the Infinite Binary Tree. LICS (2001)
Giacomo Lenzi
Mu-depth 3 is more than 2: a game-theoretic proof. Math. Struct. Comput. Sci. 11 (2) (2001)
Giacomo Lenzi
Monadic Second Order Logic And Its Fragments. Electron. Notes Theor. Comput. Sci. 51 (2001)
David Janin, Giacomo Lenzi
On the Structure of the Monadic Logic of the Binary Tree. MFCS (1999)
Giacomo Lenzi
A Hierarchy Theorem for the µ-Calculus. ICALP (1996)