{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T07:14:17Z","timestamp":1760426057647,"version":"3.37.3"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"19","license":[{"start":{"date-parts":[[2022,7,2]],"date-time":"2022-07-02T00:00:00Z","timestamp":1656720000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,7,2]],"date-time":"2022-07-02T00:00:00Z","timestamp":1656720000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100007065","name":"Universit\u00e0 degli Studi di Salerno","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100007065","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2022,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We offer a new logic, called Epistemic \u0141ukasiewicz logic of partial knowledge that is represented as multimodal epistemic \u0141ukasiewicz logic <jats:inline-formula><jats:alternatives><jats:tex-math>$$K\\text{\\L} _\\text {P}(n)$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>K<\/mml:mi>\n                    <mml:msub>\n                      <mml:mi>\u0141<\/mml:mi>\n                      <mml:mtext>P<\/mml:mtext>\n                    <\/mml:msub>\n                    <mml:mrow>\n                      <mml:mo>(<\/mml:mo>\n                      <mml:mi>n<\/mml:mi>\n                      <mml:mo>)<\/mml:mo>\n                    <\/mml:mrow>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> with <jats:italic>n<\/jats:italic> knowledge operators <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\Box _i$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msub>\n                    <mml:mo>\u25a1<\/mml:mo>\n                    <mml:mi>i<\/mml:mi>\n                  <\/mml:msub>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula><jats:inline-formula><jats:alternatives><jats:tex-math>$$(1 \\le i \\le n)$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mo>(<\/mml:mo>\n                    <mml:mn>1<\/mml:mn>\n                    <mml:mo>\u2264<\/mml:mo>\n                    <mml:mi>i<\/mml:mi>\n                    <mml:mo>\u2264<\/mml:mo>\n                    <mml:mi>n<\/mml:mi>\n                    <mml:mo>)<\/mml:mo>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> interpreted in a non-archimedean monadic <jats:italic>MV<\/jats:italic>-algebra. We choose knowledge operators, which can be estimated by some grading (different kinds of knowledge): absolute knowledge or partial knowledge. We consider a very special type of partial knowledge. Actually, we take infinitesimal elements (the radical) of perfect <jats:italic>MV<\/jats:italic>-algebras as a range of this estimation. The choice of infinitesimal elements seems suitable for actual situations like a measure of partial information.<\/jats:p>","DOI":"10.1007\/s00500-022-07281-8","type":"journal-article","created":{"date-parts":[[2022,7,2]],"date-time":"2022-07-02T16:02:32Z","timestamp":1656777752000},"page":"9823-9830","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Epistemic \u0141ukasiewicz logic of partial knowledge"],"prefix":"10.1007","volume":"26","author":[{"given":"Antonio Di","family":"Nola","sequence":"first","affiliation":[]},{"given":"Revaz","family":"Grigolia","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5744-2334","authenticated-orcid":false,"given":"Gaetano","family":"Vitale","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,7,2]]},"reference":[{"key":"7281_CR1","doi-asserted-by":"publisher","first-page":"43","DOI":"10.2307\/2271335","volume":"28","author":"LP Belluce","year":"1963","unstructured":"Belluce LP, Chang CC (1963) A weak completeness theorem for infinite valued predicate logic. J Symb Logic 28:43\u201350","journal-title":"J Symb Logic"},{"issue":"1\u20132","key":"7281_CR2","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/s10485-007-9069-4","volume":"15","author":"LP Belluce","year":"2007","unstructured":"Belluce LP, Di Nola A, Gerla B (2007) Perfect $$MV$$-algebras and their logic. Appl Categ Struct 15(1\u20132):135\u2013151","journal-title":"Appl Categ Struct"},{"key":"7281_CR3","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/BF02844626","volume":"42","author":"LP Belluse","year":"1993","unstructured":"Belluse LP, Di Nola A, Lettieri A (1993) Local MV-algebras. Rend Circ Matemat di Palermo 42:347\u2013361","journal-title":"Rend Circ Matemat di Palermo"},{"key":"7281_CR4","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"CC Chang","year":"1958","unstructured":"Chang CC (1958) Algebraic analysis of many-valued logics. Trans Amer Math Soc 88:467\u2013490","journal-title":"Trans Amer Math Soc"},{"issue":"1\u20133","key":"7281_CR5","first-page":"125","volume":"128","author":"A Di Nola","year":"2004","unstructured":"Di Nola A, Grigolia R (2004) On monadic MV-algebras. APAL 128(1\u20133):125\u2013139","journal-title":"APAL"},{"issue":"1","key":"7281_CR6","first-page":"431","volume":"5","author":"A Di Nola","year":"2018","unstructured":"Di Nola A, Grigolia R, Lenzi G (2018) On the lattice of the subvarieties of monadic MV(C)-algebras. J Appl Logic 5(1):431\u2013454","journal-title":"J Appl Logic"},{"key":"7281_CR7","first-page":"117","volume":"338","author":"A Di Nola","year":"2016","unstructured":"Di Nola A, Grigolia R, Turunen E (2016) Fuzzy logic of quasi-truth: an algebraic treatment, springer, series: studies in fuzziness and soft. Computing 338:117","journal-title":"Computing"},{"key":"7281_CR8","doi-asserted-by":"crossref","unstructured":"Di Nola A, Lenzi G, Vitale G (2016) \u0141ukasiewicz equivalent neural networks. Adv Neural Netw :161","DOI":"10.1007\/978-3-319-33747-0_16"},{"key":"7281_CR9","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.ijar.2020.06.003","volume":"124","author":"A Di Nola","year":"2020","unstructured":"Di Nola A, Grigolia R, Vitale G (2020) Dynamic \u0141ukasiewicz logic and dynamic MV-algebras. Int J Approx Reason 124:103\u2013110","journal-title":"Int J Approx Reason"},{"key":"7281_CR10","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1006\/jabr.1999.7900","volume":"221","author":"A Di Nola","year":"1999","unstructured":"Di Nola A, Lettieri A (1999) Equational characterization of all varieties of MV-algebras. J Algebra 221:463\u2013474","journal-title":"J Algebra"},{"key":"7281_CR11","first-page":"137","volume-title":"\u0141ukasiewicz logic and artificial neural networks beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications","author":"A Di Nola","year":"2020","unstructured":"Di Nola A, Vitale G (2020) \u0141ukasiewicz logic and artificial neural networks beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Springer, Cham, pp 137\u2013149"},{"key":"7281_CR12","unstructured":"Hansoul G, Teheux B (2006) Completeness results for many-valued Lukasiewicz modal systems and relational semantics"},{"key":"7281_CR13","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic logic","author":"D Harel","year":"2000","unstructured":"Harel D, Kozen D, Tiuryn J (2000) Dynamic logic. MIT Press, Cambridge"},{"key":"7281_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic","author":"P Hajek","year":"1998","unstructured":"Hajek P (1998) Metamathematics of fuzzy logic. Kluwer Academic Publishers, Dordrecht"},{"key":"7281_CR15","volume-title":"Algebraic logic","author":"PR Halmos","year":"1962","unstructured":"Halmos PR (1962) Algebraic logic. Chelsea Publishing Company, New York"},{"key":"7281_CR16","first-page":"169","volume":"5","author":"J \u0141ukasiewicz","year":"1920","unstructured":"\u0141ukasiewicz J (1920) O logice tr\u00f2jwart\u00f3sciowej. Ruch Filozoficzny 5:169\u2013171","journal-title":"Ruch Filozoficzny"},{"issue":"iii","key":"7281_CR17","first-page":"30","volume":"23","author":"J \u0141ukasiewicz","year":"1930","unstructured":"\u0141ukasiewicz J, Tarski A (1930) Untersuchungen \u00fcber den Aussagenkalk\u00fcl. Comptes rendus de la Soci\u00e9t\u00e9 des Sci et des Lettres de Varsovie 23(iii):30\u201350","journal-title":"Comptes rendus de la Soci\u00e9t\u00e9 des Sci et des Lettres de Varsovie"},{"key":"7281_CR18","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0022-1236(86)90015-7","volume":"65","author":"D Mundici","year":"1986","unstructured":"Mundici D (1986) Interpretation of AF $$C^{\\ast }$$-Algebras in \u0141ukasiewicz sentential calculus. J. Funct. Anal 65:15\u201363","journal-title":"J. Funct. Anal"},{"key":"7281_CR19","unstructured":"Parikh R (1978) A completeness result for PDL. In: Symposium on mathematical foundations of computer science. Zakopane, Warsaw"},{"key":"7281_CR20","doi-asserted-by":"crossref","unstructured":"Pratt VR (1980) Dynamic algebras and the nature of induction. In: 12th ACM symposium on theory of computation. Los Angeles","DOI":"10.1145\/800141.804649"},{"key":"7281_CR21","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1007\/BF00370685","volume":"50","author":"V Pratt","year":"1991","unstructured":"Pratt V (1991) Dynamic algebras: examples, constructions, applications. Stud. Log. 50:571\u2013605","journal-title":"Stud. Log."},{"key":"7281_CR22","unstructured":"Rutledge JD (1959) A preliminary investigation of the infinitely many-valued predicate calculus. Ph.D. Thesis, Cornell University"},{"key":"7281_CR23","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/S1571-0661(04)80837-5","volume":"81","author":"T Porter","year":"2003","unstructured":"Porter T (2003) Geometric aspects of multiagent systems. Electron Notes Theor Comput Sci 81:235\u2013266","journal-title":"Electron Notes Theor Comput Sci"},{"key":"7281_CR24","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2964111","volume":"27","author":"B Scarpellini","year":"1962","unstructured":"Scarpellini B (1962) Die Nichaxiomatisierbarkeit des unendlichwertigen Pradikatenkalkulus von \u0141ukasiewicz. J Symb Log 27:159\u2013170","journal-title":"J Symb Log"},{"issue":"6","key":"7281_CR25","first-page":"A-552","volume":"24","author":"K Segerberg","year":"1977","unstructured":"Segerberg K (1977) A completeness theorem in the modal logic of programs. Not Am Math Soc 24(6):A-552","journal-title":"Not Am Math Soc"},{"issue":"18","key":"7281_CR26","doi-asserted-by":"publisher","first-page":"13651","DOI":"10.1007\/s00500-019-04440-2","volume":"24","author":"G Vitale","year":"2020","unstructured":"Vitale G (2020) Risk analysis via \u0141ukasiewicz logic. Soft Comput 24(18):13651\u201313655","journal-title":"Soft Comput"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-022-07281-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00500-022-07281-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-022-07281-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,12]],"date-time":"2022-09-12T15:12:24Z","timestamp":1662995544000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00500-022-07281-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,2]]},"references-count":26,"journal-issue":{"issue":"19","published-print":{"date-parts":[[2022,10]]}},"alternative-id":["7281"],"URL":"https:\/\/doi.org\/10.1007\/s00500-022-07281-8","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2022,7,2]]},"assertion":[{"value":"4 June 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 July 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Informed Consent"}},{"value":"Not applicable.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Code availability"}},{"value":"The authors declare that they have no conflict of interest.","order":5,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}