{"entities":{"Q2422532":{"pageid":2433275,"ns":120,"title":"Item:Q2422532","lastrevid":78657212,"modified":"2026-05-06T12:07:38Z","type":"item","id":"Q2422532","labels":{"en":{"language":"en","value":"On the mutual definability of the notions of entailment, rejection, and inconsistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7068302"}},"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":"Q2422532$9AA34118-8D25-497B-AD5D-D38F0F8B7365","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48a4a7c49d25c61d2a1eb72b88dea1a482c12d39","datavalue":{"value":{"text":"On the mutual definability of the notions of entailment, rejection, and inconsistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2422532$5492703E-776B-4D0B-B098-D039BA66CF9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ea11f3a61e0289622b575d2a33e1501f8e0aedb","datavalue":{"value":"1415.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422532$FAC365A4-02FA-4AD6-A4FE-F1B06D2A172C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04f47e90f3df871e4ad42b30f4898f4b5eedc3d8","datavalue":{"value":{"entity-type":"item","numeric-id":346764,"id":"Q346764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$27CE81E2-AFCC-444F-A31E-E2BC3C5C8C79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7dd11cc262a6fcca281e817d4f5a0d8151ca3de4","datavalue":{"value":{"entity-type":"item","numeric-id":66312,"id":"Q66312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$77C6E0A8-7469-4B8E-BBCF-11CACCFF8CA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551e0aff091d2cc15feadd585ec6425ee05025eb","datavalue":{"value":{"time":"+2019-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2422532$E7BAADF3-D6CD-4E86-9637-D7299057FD70","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c514f883335c7cb63e84f7c71f71155e89a305a","datavalue":{"value":"Summary: In this paper, two axiomatic theories \\(\\mathbf{T}^-\\) and \\(\\mathbf{T}'\\) are constructed, which are dual to Tarski's theory \\(\\mathbf{T}^+\\) (1930) of deductive systems based on classical propositional calculus. While in Tarski's theory \\(\\mathbf{T}^+\\) the primitive notion is the classical consequence function (entailment) \\(Cn^+\\), in the dual theory \\(\\mathbf{T}^-\\) it is replaced by the notion of S\u0142upecki's rejection consequence \\(Cn^-\\) and in the dual theory \\(\\mathbf{T}'\\) it is replaced by the notion of the family \\textit{Incons} of inconsistent sets. The author has proved that the theories \\(\\mathbf{T}^+\\), \\(\\mathbf{T}^-\\), and \\(\\mathbf{T}'\\) are equivalent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422532$BA7B0E6D-BFB6-4E54-8ECE-4EC85D10154A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422532$70AE9718-7B26-453A-B897-EE5C028EBE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422532$82D5A282-DAA0-4A76-8BA4-5611798D3CAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d0483b6181589579d5fd391ff5f12ee51ca6312","datavalue":{"value":"7068302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422532$495249FA-0A0D-4CBE-BE13-75E8798EFCC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422532$B3990963-63B1-4401-A27C-6E9494834EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422532$F0195670-6DB5-40B1-AB1D-5BE2E8F7EB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cea625adf7f9d3cb56ff12bb76622dc89dbd1952","datavalue":{"value":"rejection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422532$A12BB706-8F15-4BA4-AA2A-2CF4205FD5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87dd55c46f28e025f7f537ba4ca1b1f3e1ba66f7","datavalue":{"value":"inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422532$219B9E09-1EE2-4F1A-8724-C8CAF04324A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9e0c625050fa44adf219749e1430688d91b10db","datavalue":{"value":"Tarski's consequence theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422532$042DAC4D-6B7B-4CBC-8FC1-B24B1B70B3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1020d3c03870802614bb902eec94a9a1a7cf1a","datavalue":{"value":"rejection theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422532$819F8644-6854-4D57-B89D-72BA7F63371F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0a648fd491ab639b653eb3daf51fda5121ac8a","datavalue":{"value":"inconsistency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422532$7AEA2A89-CC29-419E-BA6E-FB39A6A10521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5935fa6fd72b92144685acf22e4567eda33b04","datavalue":{"value":"equivalence of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422532$0E8ABD5B-6E2F-45E0-BCC7-639C69F1D521","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":"Q2422532$EEBFE818-8B00-4C64-8FEA-5C4364524DD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0957d5b49d5dc652e349cda7d6d48e49805d55c0","datavalue":{"value":"https://doi.org/10.3390/axioms5020015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2422532$E5A4FE37-8894-4F59-8AF9-58173F566B31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6aa2869eeff295c10fc07015fb5025cddb7fab23","datavalue":{"value":"W2417787600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422532$610952E1-21B1-4FBE-90AF-77CFDD91F765","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbcbbe97f24f82950314edc7c6f712b067fe22e","datavalue":{"value":{"entity-type":"item","numeric-id":1188523,"id":"Q1188523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$EC663466-6EB3-440B-A95C-4F71B049FDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$C4B33CC6-BE0B-4E4B-8042-398557FF5ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c1706c8b0e4321389fee966004f152c0d247fa","datavalue":{"value":{"entity-type":"item","numeric-id":2372412,"id":"Q2372412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$48D361F1-4FE3-4AB4-95EC-04742A1F8ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ac338f486814ca64bf54ec06f13aa2b548d981","datavalue":{"value":{"entity-type":"item","numeric-id":1941723,"id":"Q1941723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$FF2C0B7E-999D-412B-87A8-4B4A8779C579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0ca1d65125ac2719c77cef75c106a425833d05","datavalue":{"value":{"entity-type":"item","numeric-id":5805951,"id":"Q5805951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$89AEF5FB-9725-42B9-BC90-0D1DF81E23CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd57c109f4d4a2d4c648d7d2848b92c10d674c71","datavalue":{"value":{"entity-type":"item","numeric-id":5823282,"id":"Q5823282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$A415CC55-F93B-40BB-BD09-051DBF1AEABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bfd628b5a8c4a68f71c297d82cbfc04e252a39e","datavalue":{"value":{"entity-type":"item","numeric-id":5839915,"id":"Q5839915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$48E8CE40-A745-45A3-987F-08FB73D73B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dadce80c9e5384cc71b908cfa6b6731cbb438be1","datavalue":{"value":{"entity-type":"item","numeric-id":5839916,"id":"Q5839916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$E6E9DA67-DB0B-491C-A6A1-7F715A0350C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23432e1f270726aa90c9feb8a3c3ecababc54590","datavalue":{"value":{"entity-type":"item","numeric-id":2987742,"id":"Q2987742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$82E59FA8-DEF3-44B2-805F-E82C7A5B484E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c242dfea816db0107fa45bc6786d4dcdf8d53af2","datavalue":{"value":{"entity-type":"item","numeric-id":5760002,"id":"Q5760002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$FE8BF8FD-8A28-4FB6-A796-69DC32A19FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9231624f0c27fb72007c321e3912eded809d4368","datavalue":{"value":{"entity-type":"item","numeric-id":5763298,"id":"Q5763298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$AE891F51-7600-4D1A-946A-913A51F1AFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf3e796fd2e8120d999acaa240d4d3243776394","datavalue":{"value":{"entity-type":"item","numeric-id":2557697,"id":"Q2557697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$1B67F089-FFD0-4C8E-9695-822D180F117E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55d5ccc5639f62e395f4e60c311fe57704ba496","datavalue":{"value":{"entity-type":"item","numeric-id":1843431,"id":"Q1843431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$601A8E34-D759-448B-8723-C5EEA35B0A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869bb2347704dbb44d5ac981401f218b6975fa6d","datavalue":{"value":{"entity-type":"item","numeric-id":598315,"id":"Q598315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$28D90A9E-DE4F-4991-9634-2C95808923B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd40ddfa45b7295d3eb7ba27df91e27e97fca5c4","datavalue":{"value":{"entity-type":"item","numeric-id":4060958,"id":"Q4060958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$62C5390E-BB23-4692-9AAC-7717BE8D6992","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51aed1bb1198de713ac4ab760ec171a081bba623","datavalue":{"value":"10.3390/AXIOMS5020015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422532$E9CE3A86-645D-4C86-8723-055DAA7B03B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"361faf9b38cc4068b7fa6147cf6ea9dcae84f13b","datavalue":{"value":{"entity-type":"item","numeric-id":598315,"id":"Q598315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab138f86bb9f2ff02f3dd8b9f4fa5e61dd900ce7","datavalue":{"value":{"amount":"+0.7635276317596436","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":"Q2422532$C7968C1F-652F-435F-9F0E-1B4737E53AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7caa308003fd902586536010d3bf46cb20c56065","datavalue":{"value":{"entity-type":"item","numeric-id":2735691,"id":"Q2735691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e2b1c3a596f27701ecc4a0bd8f1cf7d73829c83","datavalue":{"value":{"amount":"+0.7380529642105103","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":"Q2422532$68D789D3-BF7C-4DFF-B896-47E7622A2062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b81b2e66aeff25b52dc922ba21c02e8b6ee19b6","datavalue":{"value":{"entity-type":"item","numeric-id":1941723,"id":"Q1941723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b26c838e6b6517cfa574b5554e7d7c958ebf7f3","datavalue":{"value":{"amount":"+0.7370545864105225","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":"Q2422532$9CAD289E-7B21-4863-88FB-1C2939068DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff19eb9a3793c8378c7cf9a0b2231b2d6934066d","datavalue":{"value":{"entity-type":"item","numeric-id":1820145,"id":"Q1820145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eba7a20f9179a4e3b9b779f21c1a7e3764840b6","datavalue":{"value":{"amount":"+0.7191266417503357","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":"Q2422532$516EC59A-254F-450B-BD7A-708DED0D4F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c75dc5007795d1b91355fce53c67d4ec44bcbb","datavalue":{"value":{"entity-type":"item","numeric-id":3629239,"id":"Q3629239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c61d6a76bb6223e84f9e929510cc897ddf2564cf","datavalue":{"value":{"amount":"+0.7093626856803894","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":"Q2422532$AF32B5BA-07B3-46ED-AA94-63058110BA98","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422532$67895FCF-F37E-4936-8F94-CCDB1851949F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the mutual definability of the notions of entailment, rejection, and inconsistency","badges":[]}}}}}