Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Revaz Grigolia"'
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:
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd0f6c9ed1aa0d7b1e42cdb4835d4908
https://doi.org/10.1016/j.ijar.2020.06.003
https://doi.org/10.1016/j.ijar.2020.06.003
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.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fa49a2217ed89572ad0f0da81c5f33ff
https://doi.org/10.29252/hatef.jahla.1.2.1
https://doi.org/10.29252/hatef.jahla.1.2.1
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fa359f12766b984d410844a3e6e73237
https://doi.org/10.1007/s00500-019-04235-5
https://doi.org/10.1007/s00500-019-04235-5
We construct a covariant functor $$\gamma $$ from the category of monadic MV-algebras into the category of Q-distributive lattices, i.e., distributive lattices with quantifier introduced by R. Cignoli. For every monadic MV-algebra, we construct a dua
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::166dd8477847eb169c8fd3b88864abab
http://hdl.handle.net/11386/4720145
http://hdl.handle.net/11386/4720145
Publikováno v:
Soft Computing. 25:9773
It is introduced an immune dynamicn-valued Łukasiewicz logic$$ID{\L }_n$$IDŁnon the base ofn-valued Łukasiewicz logic$${\L }_n$$Łnand corresponding to it immune dynamic$$MV_n$$MVn-algebra ($$IDL_n$$IDLn-algebra),$$1< n < \omega $$1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b49effbd26b4c46900525a991f6af984
https://doi.org/10.1007/s00500-021-05955-3
https://doi.org/10.1007/s00500-021-05955-3
Publikováno v:
EPiC Series in Computing.
A description of finitely generated free monadic MV-algebras anda characterization of projective monadic MV-algebras in locally finitevarieties is given. It is shown that unification type of locally finitevarieties is unitary.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::79e40dc3330ecc09a482a59e37e37f12
https://doi.org/10.29007/x7hf
https://doi.org/10.29007/x7hf
Publikováno v:
Studia Logica. 104:115-143
Godel logic (alias Dummett logic) is the extension of intuitionistic logic by the linearity axiom. Symmetric Godel logic is a logical system, the language of which is an enrichment of the language of Godel logic with their dual logical connectives. S
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ed6a83015f3b7a0361416bd90a2c7242
https://doi.org/10.1007/s11225-015-9630-3
https://doi.org/10.1007/s11225-015-9630-3
Autor:
Antonio Di Nola, Revaz Grigolia
Publikováno v:
Journal of Applied Logic. 13:270-284
The category of Godel spaces GS (with strongly isotone maps as morphisms), which are dually equivalent to the category of Godel algebras, is transferred by a contravariant functor H into the category M V ( C ) G of MV-algebras generated by perfect MV
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a12acacccd064e4f306ddcfde2bd4395
https://doi.org/10.1016/j.jal.2015.05.001
https://doi.org/10.1016/j.jal.2015.05.001
Publikováno v:
Soft Computing. 19:3341-3351
We offer a new logic, a multimodal epistemic ?ukasiewicz logic, which is an extension of the infinitely valued ?ukasiewicz logic, the language of the logic is an extended by unary connectives that are interpreted as modal operators (knowledge operato
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::87de60b6b08eb3a628f0af5c1d0a734c
https://doi.org/10.1007/s00500-015-1804-4
https://doi.org/10.1007/s00500-015-1804-4