{"entities":{"Q2198316":{"pageid":2209059,"ns":120,"title":"Item:Q2198316","lastrevid":71525256,"modified":"2026-04-13T22:50:15Z","type":"item","id":"Q2198316","labels":{"en":{"language":"en","value":"Measuring inconsistency in generalized propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7245831"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$44067FC1-C476-4BCA-8CF7-5FBD0C388EA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83fe3e2e86ecb5dffcf29c3c1cf6fe5beef3c723","datavalue":{"value":{"text":"Measuring inconsistency in generalized propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2198316$04B0A7AC-5946-4857-A332-C459D5494344","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2250d492595c4727ad0ea9e272338a0275f75853","datavalue":{"value":"1476.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2198316$0138FC9F-ED34-4447-BFC0-A29DA3A45460","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$E688C1B1-7FFF-488F-8F9D-B2ABC5148721","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14a2bae8a6c91ebe59b7dcfd879b8f74b6b05d76","datavalue":{"value":{"time":"+2020-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2198316$05E40E34-D5CE-468F-B1DB-194D8CBDA664","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"86c7db2c9b15c59961cb0c78e56188bcfdc6b032","datavalue":{"value":"The notion of ``measuring inconsistency'' was introduced in the author's work [Notre Dame J. Formal Logic 19, 435--444 (1978; Zbl 0305.02040)]. But the topic took off with the proposal and results in [\\textit{K. Knight}, J. Philos. Log. 31, No. 1, 77--98 (2002; Zbl 1003.03022)].  Let CL be classical propositional logic. As the author remarks, most of the work done on the subject has been devoted to measuring inconsistency of sets of CL-formulas.  Let GPL (generalized propositional logic) be the result of expanding CL with propositional operators similar to those characteristic of modal logic, such as, e.g., tense and spatial operators. ``The goal of this paper is to find intuitively good ways to measure inconsistency as operators are added to propositional logic [CL] in the framework of generalized propositional logic'' (p. 338).  In the final section of the paper, the author remarks the ensuing two facts: (1) a weak concept of inconsistency is relevant in the case of GPL, and it has been shown in the paper how to measure it; (2) it is indicated how to measure the relative inconsistency of a set of formulas. Finally, the author suggests some ideas for future work on the topic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2198316$F651ABFF-4371-4ED4-B2AD-6F784F22DA09","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1337cba793ece012dc87025b12e0025a65ffdc83","datavalue":{"value":{"entity-type":"item","numeric-id":590824,"id":"Q590824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$2B7324A2-48C2-4EB3-8255-BC74DC9EFA05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2198316$5A3B8FC1-9E58-45B5-9B10-FE148E8C8F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2198316$F928AE5A-833D-42AD-B1BD-F6A8062122DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3ba2fb3a007b5cb4f569dddda95bd2a4909dbb5","datavalue":{"value":"7245831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2198316$DF21D6BC-6FCE-4237-8FAA-AFE8C32397E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201198f5d642e36f424bf4507939e91265429666","datavalue":{"value":"inconsistency measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2198316$05E62EDC-63DC-42CC-BEA0-1595B9AE21A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2198316$FBF88F10-D806-4A2F-9AD5-42B8631FD05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2fa919a918cd1ac2a3376cd606ae1d8bc434507","datavalue":{"value":"dual operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2198316$57C47CAF-404B-40C9-851B-DE4A48C31C74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aad150768426b73055f4d561c1440a565e276a4","datavalue":{"value":{"entity-type":"item","numeric-id":1383012,"id":"Q1383012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$DF463301-B456-4DA2-A9B4-2393FD0FFAD0","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$93E9FD42-F046-406D-8027-672EAA29BED8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63585f0b0848231e03eb6074aa4de30f88aab6a7","datavalue":{"value":"https://doi.org/10.1007/s11787-020-00256-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2198316$43D95AC3-A092-4070-84BA-9E120C28CE95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"138184ac8d093703d27c6f7a771e813336ef1156","datavalue":{"value":"W3044232991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2198316$BB83CD6A-F19C-4B3B-A900-E1392F3DE401","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be4c228c5221bc70ffd256e94f444e87b86e359f","datavalue":{"value":{"entity-type":"item","numeric-id":2302300,"id":"Q2302300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$2AD98BE7-3630-4073-964D-8E9ADB149A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$1AEAFB03-E00E-4992-AA55-2014157807EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d742ed801db314239490ed6fc1c547af4379ad","datavalue":{"value":{"entity-type":"item","numeric-id":2373949,"id":"Q2373949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$EEFFF1F9-BE8A-4D7A-A97F-FC83F87ECDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a26c46ecf606d5afdd8ff85c229b2277a38b8f16","datavalue":{"value":{"entity-type":"item","numeric-id":5207041,"id":"Q5207041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$53B6C728-E79E-4F73-B759-3CA2FE6CD986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66fba8113044b65bcc3a3277a1189167a2baace3","datavalue":{"value":{"entity-type":"item","numeric-id":991003,"id":"Q991003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$AA3BBF2C-FE2D-479C-8E80-183C7C07F784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$D9904555-C207-4AB9-A132-56010CF71539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27540f05b104b11a1f61b5c41439fd4c3acf3faa","datavalue":{"value":{"entity-type":"item","numeric-id":1217107,"id":"Q1217107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$99F73D32-6B52-46DA-A063-B7D4B97F52FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edeb0ae83ddb3c473eadcaf899af81882de62ab","datavalue":{"value":{"entity-type":"item","numeric-id":3011958,"id":"Q3011958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$9D8CADA5-C0A0-4A28-9283-019EEDF55E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a132e36a41d7a09e9e09dbd5f0433b5b8d931b","datavalue":{"value":{"entity-type":"item","numeric-id":1680685,"id":"Q1680685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$94215815-9020-4161-80F2-D69B8D74742A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f3a46aef62e159731a26c4cbc7c52728334467","datavalue":{"value":{"entity-type":"item","numeric-id":4581210,"id":"Q4581210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$A669803D-B74C-47D4-8217-6AA8649696B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b377dc4f14b7641ea005821559fe74ed2575d6","datavalue":{"value":{"entity-type":"item","numeric-id":1610611,"id":"Q1610611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$08A5B328-DF44-4554-B7FA-2EEFEDBC9BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$5944B96B-2802-4B62-B185-23584C9574A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$CBF3936D-31D4-423C-B980-208CECD29BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4292163ee9f000e758f073f835816cf594b46b63","datavalue":{"value":{"entity-type":"item","numeric-id":5226731,"id":"Q5226731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2198316$702A5456-864A-4775-8B42-5752566AD923","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bde06127ee0525275d4f3ba55f4a1aad73d5791","datavalue":{"value":"10.1007/S11787-020-00256-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2198316$B67F5506-8208-424F-A0E9-AFC2EA293DF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d45bbb0ebf7592d915d3245accab896e98e94b","datavalue":{"value":{"entity-type":"item","numeric-id":2080703,"id":"Q2080703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7542ead93a5a292e2b85b13e3dec3f0390e2b6","datavalue":{"value":{"amount":"+0.8207942247390747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2198316$1AC0EDA7-1596-467A-B58B-FE02440F4341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba02896c87ae85119a0aba07573672c303d6f97","datavalue":{"value":{"entity-type":"item","numeric-id":2407935,"id":"Q2407935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa62c02876fef54ef3b0f801f9de5b093ef21a7","datavalue":{"value":{"amount":"+0.8108615875244141","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2198316$B810D936-BA18-4AFB-8EB9-FBAC93F8524D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40dcda2617dbd0f5c07577d56e25214e87f959f7","datavalue":{"value":{"entity-type":"item","numeric-id":253979,"id":"Q253979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9238afc154011b96eadcc60f336e85f83a21fe55","datavalue":{"value":{"amount":"+0.7854626178741455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2198316$C3D30B49-605E-48D8-A164-A9DD5969907C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83d8b1cad725732dc000a5ab26b0f6cadb944828","datavalue":{"value":{"entity-type":"item","numeric-id":2302300,"id":"Q2302300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af7f6aeb0730b1954213762cbfa1a3de3f32742","datavalue":{"value":{"amount":"+0.7738627195358276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2198316$0C923A44-E390-42D7-94E3-DBB80058DD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d387db4b02b3e6a5f5d91b443e5d3799c737ea","datavalue":{"value":{"entity-type":"item","numeric-id":2321337,"id":"Q2321337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1067227ca0e781031007fe29bc257cd35e224217","datavalue":{"value":{"amount":"+0.772377073764801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2198316$CFE780F8-D43F-4938-88D3-6BCFDA6F3C2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Measuring inconsistency in generalized propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Measuring_inconsistency_in_generalized_propositional_logic"}}}}}