{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q703371","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q703371","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q703371","kernelVersion":"v1","immutable":true,"modified":"2026-01-04T14:37:41Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q703371","name":"Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic","headline":"Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic","description":"scientific article; zbMATH DE number 2126003","url":"https://portal.mardi4nfdi.de/entity/Q703371","datePublished":"2005-01-11","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q170584"},{"@id":"https://portal.mardi4nfdi.de/entity/Q163213"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q65161"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.FSS.2003.12.001","url":"https://doi.org/10.1016/J.FSS.2003.12.001"},"sameAs":["https://doi.org/10.1016/J.FSS.2003.12.001"],"comment":"The authors introduce a measure of consistency degree in Łukasiewicz propositional logic. As is well known [see \\textit{R. L. O. Cignoli}, \\textit{I. M. L. D'Ottaviano} and \\textit{D. Mundici}, Algebraic foundations of many-valued reasoning. Kluwer, Dordrecht (2000; Zbl 0937.06009)], every \\(n\\)-variable formula determines a McNaughton function \\(f\\). The (average) truth degree of \\(f\\) is defined here to be the integral of \\(f\\) over the unit \\(n\\)-cube.   Building on a previous paper by \\textit{G.-J. Wang} and \\textit{Y. Leung} [Fuzzy Sets Syst. 136, No. 1, 71--91 (2003; Zbl 1024.03027)], the authors introduce a pseudo-metric on the set of formulas, and a ``divergence degree'' on deductively closed sets of formulas. Inconsistent theories are then shown to have maximum divergence degree -- but not vice versa. Then they exhibit a sequence of consistent theories whose divergence degrees descend to zero. In the final part, a notion of ``consistency degree'' is introduced for finitely axiomatizable theories, and a necessary and sufficient condition for inconsistency is obtained.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1817694"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1307301"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4269081"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3874181"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4004140"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1873679"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1963354"}]},"provenance":{"prov:generatedAtTime":"2026-01-04T14:37:41Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}