2 citations · 2 across the 4 of their papers we have counts for
4 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 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,…
Heyting Algebra and Gödel Algebra vs. various Topological Systems and Esakia Space: a Category Theoretic Study
Antonio Di Nola, Revaz Grigolia, Purbita Jana
In this paper intuitionistic topological system and its properties have been introduced. Categorical interrelationships among Heyting algebra, Gödel algebra, Esakia space and propo…
State morphism MV-algebras
A. Dvurecenskij, T. Kowalski, F. Montagna
We present a complete characterization of subdirectly irreducible MV-algebras with internal states (SMV-algebras). This allows us to classify subdirectly irreducible state morphism…