{"entities":{"Q373016":{"pageid":374783,"ns":120,"title":"Item:Q373016","lastrevid":77762276,"modified":"2026-05-06T10:00:01Z","type":"item","id":"Q373016","labels":{"en":{"language":"en","value":"An intuitionistic reformulation of Mally's deontic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6217460"}},"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":"Q373016$02C94CA4-AC7E-4F24-B62A-BEA9EDD24786","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52b8a2e44e56cc85d49904886a30d27d61ee1262","datavalue":{"value":{"text":"An intuitionistic reformulation of Mally's deontic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q373016$27600CE4-47C2-4E6F-BBE9-155D6310DAF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ebe082c431b80c8a3b0f673363dfff76730c243","datavalue":{"value":"1314.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373016$9156852C-AE5B-47B4-97D4-AAA37B2CD296","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89a606e3ffaaabf9e5a293e201b52f211b9e316f","datavalue":{"value":{"entity-type":"item","numeric-id":190362,"id":"Q190362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373016$7A557B96-F527-4F4C-A0A2-93B6F5EC911E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373016$4C2BDD5B-63C6-418E-8813-EB301280C6F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06bdca2898df413a78f8d2cdbb7311760f3e2760","datavalue":{"value":{"time":"+2013-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q373016$661C8591-A46C-44BD-B871-8993F87AEAB9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"64cb38ccf10dad537f2e9113250236571f2a157e","datavalue":{"value":"\\textit{E. Mally}'s [Grundgesetze des Sollens: Elemente der Logik des Willens. Graz: Leuschner und Lubensky (1926)] original axioms for a deontic logic failed because, being based on classical logic, \\(OA\\leftrightarrow A\\) is derivable. This paper considers adding those axioms to a base of intuitionistic logic, along with another axiom (A6), \\(O(A\\vee\\neg A)\\), to form the system ID. This is equivalently axiomatized by adding just the axiom \\(OA\\leftrightarrow\\neg\\neg A\\) to Heyting's H. ID too fails as a deontic logic. Although \\(OA\\leftrightarrow A\\) is not derivable, \\(OA\\leftrightarrow\\neg\\neg A\\) is, as is \\(OA\\leftrightarrow PA\\), with \\(P\\) the dual of \\(O\\), and also \\(A\\to OA\\), and (not mentioned by the author) \\(O\\neg A\\leftrightarrow \\neg A\\). The author likewise does not consider that neither (A6) nor \\(OA\\leftrightarrow\\neg\\neg A\\) would seem to have any intuitionistic credentials, if \\(O\\) were interpreted as a deontic operator. The author does think ID has some interest as a lax logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q373016$548D6FA7-C80C-41E3-83F8-4CAE25B46FFE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373016$E41DD4F1-77EF-4A3F-B436-E83A8F771DC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373016$9CB6B3BE-AD02-438F-AF27-AC582D8F26EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373016$C30201D2-3836-49C1-9209-D7E4D84087C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373016$F4FAA51A-59C5-4799-AF8E-1F5E227EA207","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b1c09249043d1825f6fb68ed490fb3fc508d762","datavalue":{"value":"6217460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373016$77AAF811-DFB4-4FFD-8D93-AEBDCBFF0368","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q373016$0E11C562-3296-49B8-A120-1BD9324CB7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q373016$4C389691-166D-4F70-A1D6-704C665CDE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e50d5fbb0a0213551861efbf21fccdb4e1f5917","datavalue":{"value":"lax logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q373016$5C3DD86B-5855-4875-82B9-D4A1E386B48D","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":"Q373016$2150E9F0-3722-4F06-A0AC-DA458165846E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38f2d01587c428b920506ce2c42115f7c8b40c44","datavalue":{"value":"https://doi.org/10.1007/s10992-012-9242-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q373016$7D4199A6-34F3-483A-8E29-B941295D10D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"075d8153ddda906049a129ccdc5ee8e319ebd983","datavalue":{"value":"W2084363808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373016$8A80211D-F44B-4E1E-818C-81BE2B862264","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373016$83C5F41A-06D4-44E8-B4DF-545FB8174B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec35a71825a7df012d0ea488d0948495cfd075e","datavalue":{"value":{"entity-type":"item","numeric-id":5635426,"id":"Q5635426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373016$62642731-84BA-4634-907E-784CD799E9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ae9371c4a516a76d0432a05098636fb7c7b3c91","datavalue":{"value":{"entity-type":"item","numeric-id":3103978,"id":"Q3103978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373016$9F0D8C34-AB93-4D8B-ADCB-AEEBB5C61E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ae968e6063fb16827a99e23673e8c2769222ea","datavalue":{"value":{"entity-type":"item","numeric-id":5775746,"id":"Q5775746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373016$F4ADA000-33A6-49E5-9181-318CFBBF32A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e402fd4220bb0032231353e062f4b763c6d6128e","datavalue":{"value":{"entity-type":"item","numeric-id":5774415,"id":"Q5774415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373016$198CE290-8960-4666-BC75-546B671537DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a9bdfde204ed20e97e8f3f744bf22adaa3e60c2","datavalue":{"value":"10.1007/S10992-012-9242-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373016$ACF58E8B-9672-4512-BC88-DE3713862E8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e870a11f45d161bd39192759b631e5a0cde0c99","datavalue":{"value":{"entity-type":"item","numeric-id":2971276,"id":"Q2971276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6a991fb8e2a8c77de1fcdeceffbdc6a6045400","datavalue":{"value":{"amount":"+0.96880907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373016$C31DC030-0671-4F91-846B-22F4CEB247DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41fc47295e3c9d23061c1ba21c4e0437688f3088","datavalue":{"value":{"entity-type":"item","numeric-id":2516582,"id":"Q2516582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f3ec3495446eb29beca70f2d566de9049bed2f2","datavalue":{"value":{"amount":"+0.9151159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373016$2820258C-9495-47C4-8A80-72424557B27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d367ee5862d783a32ae42b4e99a26a90ccdd15c6","datavalue":{"value":{"entity-type":"item","numeric-id":6160749,"id":"Q6160749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f7bdabb90cac32ce29df3db6097880058ac839","datavalue":{"value":{"amount":"+0.901523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373016$CC1BC2A4-F2B3-4391-AA32-D7400FAF502E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739fe996d7ed65fee537c437a7324f90e06651ad","datavalue":{"value":{"entity-type":"item","numeric-id":866501,"id":"Q866501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a92fec8bd0ad3f73487cbfa397c7d2acdcd10b","datavalue":{"value":{"amount":"+0.89477783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373016$8B6BE7C1-ECD4-45BE-8FAE-4A46F96CD875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f7b4e36aaa111791d280402f007ccff1b07c17","datavalue":{"value":{"entity-type":"item","numeric-id":3203000,"id":"Q3203000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ee4b32b2ae74b2bed4f8ea8d90e5ae10e6a38a","datavalue":{"value":{"amount":"+0.8849977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373016$0017EC8F-77A6-4CD0-BDA5-3C9A3D2A788D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ecc1f09b98da5e7d71b10b5c2df9b31173c5a34","datavalue":{"value":{"entity-type":"item","numeric-id":5014046,"id":"Q5014046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f15df8d46d85324d75a6c0c677a542e2cc52602a","datavalue":{"value":{"amount":"+0.8841604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373016$D1CD303D-FA37-45BA-AC59-8BC2CCE9F3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8712a6c5eac1582d1e5aa4e081c3797394cfc2fa","datavalue":{"value":{"entity-type":"item","numeric-id":3455779,"id":"Q3455779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a075185b3e67fd77536435e264742e5a2db57fda","datavalue":{"value":{"amount":"+0.881032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373016$C192919A-4FA4-44C4-9D10-0010D84FFC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd69a16c47aa9eef74695196917c8b267f57c292","datavalue":{"value":{"entity-type":"item","numeric-id":5271382,"id":"Q5271382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4890319173741b9e32d697a8e013261b99a8aa7f","datavalue":{"value":{"amount":"+0.87925655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373016$5C6D6FA0-3B2F-4434-9B6B-53B41C50D96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0bb80dbd751a0bb71216a86f6b3eb2bc64fdba6","datavalue":{"value":{"entity-type":"item","numeric-id":4394893,"id":"Q4394893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698e492f29346f1613142f8f7b4aa4d39e317234","datavalue":{"value":{"amount":"+0.879206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373016$A6FB906E-C6E0-492B-80D5-96F313980894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc7f2e9fa5c187fc3025278c7e5c9fb707974dc","datavalue":{"value":{"entity-type":"item","numeric-id":5878381,"id":"Q5878381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789b7a4a86da4dd593513305b76210b224da1cdb","datavalue":{"value":{"amount":"+0.87859935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373016$CABAA413-AEA9-4A95-9E44-AA5AEB96804A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An intuitionistic reformulation of Mally's deontic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_intuitionistic_reformulation_of_Mally%27s_deontic_logic"}}}}}