2 citations · 2 across the 5 of their papers we have counts for
5 papers
Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective
Antonio Di Nola, Giacomo Lenzi, Brunella Gerla
The main aim of this paper is to show the interconnections between Łukasiewicz logic and algebraic geometry using algebraic, geometric and logical instruments. We continue our inve…
The spectrum problem for -groups and for MV-algebras: a categorical approach
Giuseppina Gerarda Barbieri, Antonio Di Nola, Giacomo Lenzi
As a main result, we characterize prime spectra of abelian lattice ordered groups. Further we introduce some categories based on spectral spaces, lattices and Priestley spaces, and…
The spectrum problem for Abelian l-groups and MV-algebras
Antonio Di Nola, Giacomo Lenzi
This paper deals with the problem of characterizing those topological spaces which are homeomorphic to the prime spectra of MV-algebras or Abelian l-groups. As a first main result,…
On P-transitive graphs and applications
Giacomo Lenzi
We introduce a new class of graphs which we call P-transitive graphs, lying between transitive and 3-transitive graphs. First we show that the analogue of de Jongh-Sambin Theorem i…
On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components
Giovanna D'Agostino, Giacomo Lenzi
For every positive integer k we consider the class SCCk of all finite graphs whose strongly connected components have size at most k. We show that for every k, the Modal mu-Calculu…