Zobrazeno 1 - 10
of 275
pro vyhledávání: '"Di Nola, Antonio"'
The main aim of this paper is to show that the topics of {\L}ukasiewicz logic, semirings and tropical structures fruitfully meet. This gives rise to a topos theoretic perspective to {\L}ukasiewicz logic. A functorial tropicalization of MV-algebras in
Externí odkaz:
http://arxiv.org/abs/2409.08682
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 we relate these categories with each other and with the category of p
Externí odkaz:
http://arxiv.org/abs/2303.10208
Autor:
Di Nola, Antonio, Lenzi, Giacomo
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, we show that a topological space $X$ is the prime spectrum of an MV-a
Externí odkaz:
http://arxiv.org/abs/1907.11095
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
In this paper intuitionistic topological system and its properties have been introduced. Categorical interrelationships among Heyting algebra, G\"odel algebra, Esakia space and proposed intuitionistic topological systems have also been studied in det
Externí odkaz:
http://arxiv.org/abs/1807.05833
We extend \L ukasiewicz logic obtaining the infinitary logic $\mathcal{IR}\L$ whose models are algebras $C(X,[0,1])$, where $X$ is a basically disconnected compact Hausdorff space. Equivalently, our models are unit intervals in $\sigma$-complete Ries
Externí odkaz:
http://arxiv.org/abs/1709.08397
We study \L ukasiewicz logic enriched with a scalar multiplication with scalars taken in $[0,1]$. Its algebraic models, called {\em Riesz MV-algebras}, are, up to isomorphism, unit intervals of Riesz spaces with a strong unit endowed with an appropri
Externí odkaz:
http://arxiv.org/abs/1607.08030
Publikováno v:
In International Journal of Approximate Reasoning September 2020 124:103-110
Autor:
Di Nola, Antonio, Lenzi, Giacomo
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2018 Dec 01. 106(6), 1239-1260.
Externí odkaz:
https://www.jstor.org/stable/45096662