Giacomo Lenzi

According to our database, Giacomo Lenzi authored at least 55 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

On The Spectrum of Countable MV-algebras.

Giacomo Lenzi

TFSS, 2023

Logical Complexity of Spectra of Abelian ℓ-groups.

Giacomo Lenzi, Gaetano Vitale

FLAP, 2023

A Special Type of Ideals in MV-algebras of Continuous Functions.

Mahta Bedrood, Giuseppina Barbieri, Giacomo Lenzi, Farhad Sajadian, Arsham Borumand Saeid

FLAP, 2023

A pointfree approach to measurability and statistical models.

Antonio Di Nola, Serafina Lapenta, Giacomo Lenzi

Proceedings of the International Symposium on Imprecise Probability: Theories and Applications, 2023

2022

Geometry of super-Łukasiewicz logics.

Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale

J. Log. Comput., 2022

2021

Dualities and algebraic geometry of Baire functions in non-classical logic.

Antonio Di Nola, Serafina Lapenta, Giacomo Lenzi

J. Log. Comput., 2021

Sheaf representations and locality of Riesz spaces with order unit.

Antonio Di Nola, Giacomo Lenzi, Luca Spada

J. Log. Anal., 2021

2020

A characterization of pseudofinite MV-algebras.

Eslam Farsimadan, Giacomo Lenzi, Paolo Rizzo, Arsham Borumand Saeid

Soft Comput., 2020

2019

Topological spaces of monadic MV-algebras.

Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi

Soft Comput., 2019

Some Invariant Skeletons for ℓ-u Groups and MV-Algebras.

Antonio Di Nola, Giacomo Lenzi, Anna Carla Russo

Order, 2019

Observables on perfect MV-algebras.

Antonio Di Nola, Anatolij Dvurecenskij, Giacomo Lenzi

Fuzzy Sets Syst., 2019

2018

The <i>μ</i>-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs.

Giovanna D'Agostino, Giacomo Lenzi

Theor. Comput. Sci., 2018

Duality Theory and Skeleta for Semisimple MV-Algebras.

Antonio Di Nola, Giacomo Lenzi

Stud Logica, 2018

On the Lattice of the Subvarieties of Monadic MV (C)-algebras.

Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi

FLAP, 2018

2017

Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions.

Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale

Fuzzy Sets Syst., 2017

On semirings and MV-algebras.

Antonio Di Nola, Giacomo Lenzi

Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

2016

Łukasiewicz Equivalent Neural Networks.

Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale

Proceedings of the Advances in Neural Networks - Computational Intelligence for ICT, 2016

On free MV algebras and a problem of Tarski.

Antonio Di Nola, Giacomo Lenzi, Gaetano Vitale

Math. Log. Q., 2016

2015

Bisimulation quantifiers and uniform interpolation for guarded first order logic.

Giovanna D'Agostino, Giacomo Lenzi

Theor. Comput. Sci., 2015

On generalizing the Nullstellensatz for MV algebras.

Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi

J. Log. Comput., 2015

2014

Algebraic Geometry for MV-Algebras.

Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi

J. Symb. Log., 2014

2013

On modal μ-calculus over reflexive symmetric graphs.

Giovanna D'Agostino, Giacomo Lenzi

J. Log. Comput., 2013

On Modal μ-Calculus in S5 and Applications.

Giovanna D'Agostino, Giacomo Lenzi

Fundam. Informaticae, 2013

Algebraically closed MV-algebras and their sheaf representation.

Antonio Di Nola, Anna R. Ferraioli, Giacomo Lenzi

Ann. Pure Appl. Log., 2013

Projectivity and unification in the varieties of locally finite monadic MV-algebras.

Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Fuzzy Logic as a geometry.

Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi

Proceedings of the Joint IFSA World Congress and NAFIPS Annual Meeting, 2013

2012

On Vaught's Conjecture and finitely valued MV algebras.

Antonio Di Nola, Giacomo Lenzi

Math. Log. Q., 2012

On Modal μ-Calculus over Finite Graphs with Small Components or Small Tree Width.

Giovanna D'Agostino, Giacomo Lenzi

Int. J. Found. Comput. Sci., 2012

On a Priced Resource-bounded Alternating μ-Calculus.

Dario Della Monica, Giacomo Lenzi

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 2, 2012

2011

On a positive set theory with inequality.

Giacomo Lenzi

Math. Log. Q., 2011

On P-transitive graphs and applications

Giacomo Lenzi

Proceedings of Second International Symposium on Games, 2011

Deciding the existence of uniform interpolants over transitive models.

Giovanna D'Agostino, Giacomo Lenzi

Arch. Math. Log., 2011

On modal mu-calculus in S5 and applications.

Giovanna D'Agostino, Giacomo Lenzi

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010

On the µ-calculus over transitive and finite transitive frames.

Giovanna D'Agostino, Giacomo Lenzi

Theor. Comput. Sci., 2010

On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components

Giovanna D'Agostino, Giacomo Lenzi

Proceedings of the Proceedings First Symposium on Games, 2010

Representation of MV-algebras by regular ultrapowers of [0, 1].

Antonio Di Nola, Giacomo Lenzi, Luca Spada

Arch. Math. Log., 2010

2008

A positive set theory with equality revisited.

Giacomo Lenzi

Math. Struct. Comput. Sci., 2008

A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames.

Giovanna D'Agostino, Giacomo Lenzi

J. Log. Comput., 2008

2007

The Variable Hierarchy of the µ-Calculus Is Strict.

Dietmar Berwanger, Erich Grädel, Giacomo Lenzi

Theory Comput. Syst., 2007

2006

On modal mu-calculus with explicit interpolants.

Giovanna D'Agostino, Giacomo Lenzi

J. Appl. Log., 2006

µ-programs, uniform interpolation and bisimulation quantifiers for modal logics.

Giovanna D'Agostino, Giacomo Lenzi, Tim French

J. Appl. Non Class. Logics, 2006

About a Positive Set Theory With Equality.

Giacomo Lenzi

Proceedings of the Workshop on Logic, Models and Computer Science, 2006

2005

An axiomatization of bisimulation quantifiers via the mu-calculus.

Giovanna D'Agostino, Giacomo Lenzi

Theor. Comput. Sci., 2005

The Variable Hierarchy of the µ-Calculus Is Strict.

Dietmar Berwanger, Giacomo Lenzi

Proceedings of the STACS 2005, 2005

2004

On Fixpoint Arithmetic and Infinite Time Turing Machines.

Giacomo Lenzi, Erich Monteleone

Inf. Process. Lett., 2004

On the Rlationship Between Monadic and Weak Monadic Second Order Logic on Arbitrary Trees, with Applications to the mu-Calculus.

David Janin, Giacomo Lenzi

Fundam. Informaticae, 2004

2002

On the Logical Definability of Topologically Closed Recognizable Languages of Infinite Trees.

David Janin, Giacomo Lenzi

Comput. Artif. Intell., 2002

On the Variable Hierarchy of the Modal µ-Calculus.

Dietmar Berwanger, Erich Grädel, Giacomo Lenzi

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001

Mu-depth 3 is more than 2: a game-theoretic proof.

Giacomo Lenzi

Math. Struct. Comput. Sci., 2001

Monadic Second Order Logic And Its Fragments.

Giacomo Lenzi

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

A New Logical Characterization of Büchi Automata.

Giacomo Lenzi

Proceedings of the STACS 2001, 2001

Relating Levels of the Mu-Calculus Hierarchy and Levels of the Monadic Hierarchy.

David Janin, Giacomo Lenzi

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

The Hierarchy inside Closed Monadic Sigma₁ Collapses on the Infinite Binary Tree.

André Arnold, Giacomo Lenzi, Jerzy Marcinkowski

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

1999

On the Structure of the Monadic Logic of the Binary Tree.

David Janin, Giacomo Lenzi

Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

1996

A Hierarchy Theorem for the µ-Calculus.

Giacomo Lenzi

Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996