Giacomo Lenzi

Orcid: 0000-0002-5599-2604

Affiliations:
  • University of Salerno, Italy


According to our database1, Giacomo Lenzi authored at least 56 papers between 1996 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Spectral MV-algebras and equispectrality.
Arch. Math. Log., November, 2024

2023
On The Spectrum of Countable MV-algebras.
TFSS, 2023

Logical Complexity of Spectra of Abelian ℓ-groups.
FLAP, 2023

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

A pointfree approach to measurability and statistical models.
Proceedings of the International Symposium on Imprecise Probability: Theories and Applications, 2023

2022
Geometry of super-Łukasiewicz logics.
J. Log. Comput., 2022

2021
Dualities and algebraic geometry of Baire functions in non-classical logic.
J. Log. Comput., 2021

Sheaf representations and locality of Riesz spaces with order unit.
J. Log. Anal., 2021

2020
A characterization of pseudofinite MV-algebras.
Soft Comput., 2020

2019
Topological spaces of monadic MV-algebras.
Soft Comput., 2019

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

Observables on perfect MV-algebras.
Fuzzy Sets Syst., 2019

2018
The <i>μ</i>-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs.
Theor. Comput. Sci., 2018

Duality Theory and Skeleta for Semisimple MV-Algebras.
Stud Logica, 2018

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

2017
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions.
Fuzzy Sets Syst., 2017

On semirings and MV-algebras.
Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

2016
Łukasiewicz Equivalent Neural Networks.
Proceedings of the Advances in Neural Networks - Computational Intelligence for ICT, 2016

On free MV algebras and a problem of Tarski.
Math. Log. Q., 2016

2015
Bisimulation quantifiers and uniform interpolation for guarded first order logic.
Theor. Comput. Sci., 2015

On generalizing the Nullstellensatz for MV algebras.
J. Log. Comput., 2015

2014
Algebraic Geometry for MV-Algebras.
J. Symb. Log., 2014

2013
On modal μ-calculus over reflexive symmetric graphs.
J. Log. Comput., 2013

On Modal μ-Calculus in S5 and Applications.
Fundam. Informaticae, 2013

Algebraically closed MV-algebras and their sheaf representation.
Ann. Pure Appl. Log., 2013

Projectivity and unification in the varieties of locally finite monadic MV-algebras.
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.
Proceedings of the Joint IFSA World Congress and NAFIPS Annual Meeting, 2013

2012
On Vaught's Conjecture and finitely valued MV algebras.
Math. Log. Q., 2012

On Modal μ-Calculus over Finite Graphs with Small Components or Small Tree Width.
Int. J. Found. Comput. Sci., 2012

On a Priced Resource-bounded Alternating μ-Calculus.
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.
Math. Log. Q., 2011

On P-transitive graphs and applications
Proceedings of Second International Symposium on Games, 2011

Deciding the existence of uniform interpolants over transitive models.
Arch. Math. Log., 2011

On modal mu-calculus in S5 and applications.
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010
On the µ-calculus over transitive and finite transitive frames.
Theor. Comput. Sci., 2010

On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components
Proceedings of the Proceedings First Symposium on Games, 2010

Representation of MV-algebras by regular ultrapowers of [0, 1].
Arch. Math. Log., 2010

2008
A positive set theory with equality revisited.
Math. Struct. Comput. Sci., 2008

A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames.
J. Log. Comput., 2008

2007
The Variable Hierarchy of the µ-Calculus Is Strict.
Theory Comput. Syst., 2007

2006
On modal mu-calculus with explicit interpolants.
J. Appl. Log., 2006

µ-programs, uniform interpolation and bisimulation quantifiers for modal logics.
J. Appl. Non Class. Logics, 2006

About a Positive Set Theory With Equality.
Proceedings of the Workshop on Logic, Models and Computer Science, 2006

2005
An axiomatization of bisimulation quantifiers via the mu-calculus.
Theor. Comput. Sci., 2005

The Variable Hierarchy of the µ-Calculus Is Strict.
Proceedings of the STACS 2005, 2005

2004
On Fixpoint Arithmetic and Infinite Time Turing Machines.
Inf. Process. Lett., 2004

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

2002
On the Logical Definability of Topologically Closed Recognizable Languages of Infinite Trees.
Comput. Artif. Intell., 2002

On the Variable Hierarchy of the Modal µ-Calculus.
Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001
Mu-depth 3 is more than 2: a game-theoretic proof.
Math. Struct. Comput. Sci., 2001

Monadic Second Order Logic And Its Fragments.
Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

A New Logical Characterization of Büchi Automata.
Proceedings of the STACS 2001, 2001

Relating Levels of the Mu-Calculus Hierarchy and Levels of the Monadic Hierarchy.
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

The Hierarchy inside Closed Monadic Sigma<sub>1</sub> Collapses on the Infinite Binary Tree.
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.
Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

1996
A Hierarchy Theorem for the µ-Calculus.
Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996


  Loading...