Zobrazeno 1 - 10
of 164
pro vyhledávání: '"Antonio Di Nola"'
Autor:
Antonio Di Nola, Revaz Grigolia
Publikováno v:
Transactions on Fuzzy Sets and Systems, Vol 1, Iss 2, Pp 59-71 (2022)
A forensic dynamic $n$-valued Lukasiewicz logic $FDL_n$ is introduced on the base of $n$-valued Lukasiewicz logic $L_n$ and corresponding to it forensic dynamic $MV_n$-algebra ($FDL_n$-algebra), $1 < n < \omega$, which are algebraic count
Externí odkaz:
https://doaj.org/article/564f0bdcc5f1469aab67d138e98edfc9
Publikováno v:
Categories and General Algebraic Structures with Applications, Vol 6, Iss Speical Issue on the Occasion of Banaschewski's 90th Birthday (I), Pp 107-120 (2017)
In this paper, the main results are:a study of the finitely generated MV-algebras of continuous functions from the n-th power of the unit real interval I to I;a study of Hopfian MV-algebras; anda category-theoretic study of the map sending an MV-alge
Externí odkaz:
https://doaj.org/article/17a1636fc5aa411abbfa96c1144b5760
In this work, we provide constructions, characterizations, geometrical dualities and a McNaughton theorem for non-archimedean MV-algebras, which are the semantics of super-Łukasiewicz logics introduced by Komori.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a0e06ceb01890468a7fb1abd66f9f6a7
http://hdl.handle.net/11386/4768904
http://hdl.handle.net/11386/4768904
First we give a necessary and sufficient condition for an abelian lattice ordered group to admit an expansion to a Riesz space (or vector lattice). Then we construct a totally ordered abelian group with two non-isomorphic Riesz space structures, thus
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::001a1e4efb222d8400a9336e8234abfa
http://hdl.handle.net/11386/4778283
http://hdl.handle.net/11386/4778283
Publikováno v:
International Journal of Approximate Reasoning. 124:103-110
Following K. Segerberg [22] , D. Kozen [15] and V. Pratt [19] , who have been introduced dynamic propositional logic and dynamic algebras, dynamic propositional Łukasiewicz logic DPŁ (dynamic n-valued propositional Łukasiewicz logic D P Ł n ) and
Publikováno v:
Journal of Algebraic Hyperstructures and Logical Algebras. 1:1-7
One and two-generated free MV -algebras are algebraically described in the variety generated by perfectMV -algebras.
Publikováno v:
Soft Computing. 23:12929-12935
We introduce a new algebraic structure $$\begin{aligned} (A, \otimes , \oplus , *, \vee , \wedge , \rightharpoonup , 0, 1) \end{aligned}$$ called Godel–MV-algebra (GMV-algebra) such that It is shown that the lattice of congruences of a GMV -algebra
In this paper we aim at completing the study of $\sigma $-complete Riesz MV-algebras that started in Di Nola et al. (2018, J. Logic Comput., 28, 1275–1292). To do so, we discuss polynomials, algebraic geometry and dualities in the infinitary variet
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c27a2949c3051fe219a78c38702f8233
http://hdl.handle.net/11386/4766404
http://hdl.handle.net/11386/4766404
Autor:
Carillo, Sandra, Antonio Di Nola, Luca, Formaggia, Stefano, Lenci, Giuseppe, Mastronardi, Dario, Pacciarelli, Renato, Spigler, Daniele, Vigo, Bruno, Viscolani
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3686::62df8418a2339f8668e64c0bad905353
http://hdl.handle.net/11573/1471222
http://hdl.handle.net/11573/1471222
In this paper, we give a complete description of strongly projective semimodules over a semiring which is a finite direct product of matrix semirings over commutative chain semirings. We then classify ultramatricial algebras over commutative chain se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bdeac86e8169720bd5f2b571ce12ebb9
http://hdl.handle.net/11386/4728390
http://hdl.handle.net/11386/4728390