{"entities":{"Q295913":{"pageid":297680,"ns":120,"title":"Item:Q295913","lastrevid":60816918,"modified":"2026-04-10T19:19:33Z","type":"item","id":"Q295913","labels":{"en":{"language":"en","value":"Reductio ad contradictionem: an algebraic perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6593189"}},"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":"Q295913$E1733079-EB50-4671-9554-EAA22BDECBCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ad62dd43c86b0386c1910c1224b90a67c9b1aac","datavalue":{"value":{"text":"Reductio ad contradictionem: an algebraic perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q295913$DC694A44-5AFC-46FB-B752-3515BBA8789D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4567272a66ec62f31afff6801f69e4862555915e","datavalue":{"value":"1402.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q295913$71CE9F92-F41C-4D7F-91D2-161232F637F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0579531bdb02a66b041694d6de10dba6a4f9707","datavalue":{"value":{"entity-type":"item","numeric-id":295912,"id":"Q295912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$57E8F4E4-8761-4C17-BA7C-25917E969B58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$2FDC8212-DC0C-4A94-8212-0017F0FEE5A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"78ea46dda94662e4a27693f9330fc4f4545ab1d5","datavalue":{"value":{"time":"+2016-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q295913$52CB1B98-62B8-4313-AF48-3855AADF0D86","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af50ace67070cc3715f503d83f37264f6a5c7823","datavalue":{"value":"Classical logic is two valued and querying a propositional knowledge base about a fact may result in the answers true or false (or no answer at all if no knowledge is available). Real knowledge bases are typically incomplete and may also be inconsistent. To deal explicitly with such states Belnap-Dunn logic has been developed, where in addition to the classical truth values true and false, there are truth values for both (true and false) and none (neither true nor false). Note, we are speaking here about the characterization of a knowledge base and not necessarily of reality. In this context, it is obviously unwanted to use the \\textit{ex contradictione quodlibet} rule, since a single inconsistency of the knowledge base would allow to derive anything, even statements about facts which are completely unrelated and about which another part of the knowledge base is unambiguous. This would devalue the knowledge base. Still, proof by contradiction is a powerful proof tool and should not easily be abandoned. In this paper, Belnap-Dunn logic is extended by a negation \\(\\sim\\) that allows for \\textit{reductio ad contradictionem} (without going to \\textit{ex contradictione quodlibet}), that is, to claim \\(\\sim p\\) means that \\(p\\) leads to a contradiction.  The main part of the paper is an algebraic study of the properties that characterize such an extension of Belnap-Dunn logic making use of de Morgan algebras and varieties of reductio algebras. Furthermore a sequent calculus for the extended logic is presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q295913$2F8A00EF-ED82-4E2E-BC02-FD71EF65D6A0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"80e987276e122a41f9b91b8b2fac713fac5a8dbb","datavalue":{"value":{"entity-type":"item","numeric-id":504392,"id":"Q504392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$2F15A6B1-C093-4D1F-8749-2188EE136DD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q295913$11F47B5B-53E4-4BF1-BAB6-4694945153E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q295913$ACA34740-C46C-4C8D-A160-EF42DDD58E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q295913$72EB8F89-CF92-46D4-99AF-4BC9307A5081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q295913$3FD9BF6A-EF78-4CFD-9B5D-430706F15E1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afb4ec6f20869106c51caca101db3658b24a04c5","datavalue":{"value":"6593189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q295913$8FCDA6FC-6546-486A-AE50-38A17E272C78","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9db4be20647e9159a9631c367d8dc94143508a","datavalue":{"value":"four-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q295913$1EE259A7-CD24-43D9-8475-832FC62B8B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"851cea66edb14da87dfb2c7c4728f1b0f3e5d28b","datavalue":{"value":"paraconsistent logic, algebraic characterization, de Morgan algebras, reductio ad absurdum","type":"string"},"datatype":"string"},"type":"statement","id":"Q295913$F86C422D-1C34-4B73-98CD-478B446B76A7","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":"Q295913$6FDB3634-E128-410C-A62C-4041782FBDAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e76d8aa87152919e277a40aa2b47e0a379fc1f3c","datavalue":{"value":"https://doi.org/10.1007/s11225-015-9645-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q295913$F0D8854A-82D5-424E-915C-740F49A68B5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7432c7592d12f37b5fedf29e3219a0f8e0a9f7e1","datavalue":{"value":"W2290879313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q295913$D1EF7275-3D39-41AA-9C9F-0D6EA525D902","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48d7e3177dfda4544aad69a2c745b04bdfe212c","datavalue":{"value":{"entity-type":"item","numeric-id":1155072,"id":"Q1155072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$6ADDEECC-F460-44A8-947D-887A8B6E66F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df3d63947cf7a8a7175ec2e00cd76505ef8b0435","datavalue":{"value":{"entity-type":"item","numeric-id":1301839,"id":"Q1301839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$C7C8A6B8-AD63-4969-8AE0-AF90B5B20002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$336C89AA-31B5-47B0-A9AC-03BEBF7C559D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b23738c68be427d2fe3e547ebad58568cd5728b","datavalue":{"value":{"entity-type":"item","numeric-id":5541381,"id":"Q5541381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$5665E540-7A81-45CF-93F0-64972B544ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32221554a2fde6785a329d326afa40fe5de88137","datavalue":{"value":{"entity-type":"item","numeric-id":5655397,"id":"Q5655397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$71D12486-E90A-4702-81DE-D90753D290FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$A8BB527A-B3FD-470B-9996-B7FF4C1D2776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f9dc034d445a5e4134097a5c1c1dff2a9d568fa","datavalue":{"value":{"entity-type":"item","numeric-id":4094903,"id":"Q4094903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$305F9B70-996D-488D-B891-7875C55F699C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad84b4474fca5b043ce03d2ddf90ba3963ff9c65","datavalue":{"value":{"entity-type":"item","numeric-id":495842,"id":"Q495842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$D18356A7-28DB-4CF5-AD23-EBC9B52388C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803c5ab38bb7fdc3e72ec717398acec4eff00b41","datavalue":{"value":{"entity-type":"item","numeric-id":5635480,"id":"Q5635480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$9D29F1E5-47FE-450B-B532-7A3A3F72A585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b50dcf886db213982924658404c0f7411f4e844","datavalue":{"value":{"entity-type":"item","numeric-id":1959325,"id":"Q1959325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$D8D0E54E-6C06-4980-9474-83E98850ED09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd620d0008ba1f194a2223cc251ad2d22349c39","datavalue":{"value":{"entity-type":"item","numeric-id":4340541,"id":"Q4340541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$CCC65C1F-6758-417C-847D-EBB10EC5314C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94f8dfac4fd9fd0049495982d16ad4ad2c85d83","datavalue":{"value":{"entity-type":"item","numeric-id":5686072,"id":"Q5686072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$E85D1224-B618-4F42-A160-18EB3D23D770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40fe767c15fe9f6784c605f424bc09c13d515260","datavalue":{"value":{"entity-type":"item","numeric-id":5655396,"id":"Q5655396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$DBE88A26-51D4-4B7E-9AC8-C0B67487CACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9397b189e714eb83e17a2f5556f745f3105868dc","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$C2DFE763-8F2E-4351-A869-0FDE768107D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e161dfbe8ad9eb3f28069aeb511dd5969d55b9","datavalue":{"value":{"entity-type":"item","numeric-id":4085775,"id":"Q4085775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$7AF5A456-A759-4C3F-85D5-7160DB0F4416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adc702d4bdcb4023169c11779284b586c5865f8","datavalue":{"value":{"entity-type":"item","numeric-id":3801619,"id":"Q3801619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$6EAE0671-B686-4407-AB5C-E2B293335713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567cbf453cf982ee25f2260ca76b08c37bd022e1","datavalue":{"value":{"entity-type":"item","numeric-id":3142030,"id":"Q3142030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$00BABAE0-89CA-4254-82AC-2C475B12C3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71727067d4737321f764fbd25d4fbdd07b5f911e","datavalue":{"value":{"entity-type":"item","numeric-id":3861449,"id":"Q3861449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$F9286EC3-74E6-44F8-AF1F-68B1E1AEA69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b60c683bd688a48b750742ae0117b586f7b9f4","datavalue":{"value":{"entity-type":"item","numeric-id":3762372,"id":"Q3762372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$7C6479BB-D623-4D23-8D30-13881AF100B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e152162a8b2c2df898a5b1b75e807791e3cefe","datavalue":{"value":{"entity-type":"item","numeric-id":813089,"id":"Q813089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$55EA66FF-0D8B-4DAA-832F-2C2394EB3A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5825148a961f228afc865f1cecca329397f40a5","datavalue":{"value":{"entity-type":"item","numeric-id":2904071,"id":"Q2904071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295913$63E3DE31-9E8E-44EB-AC60-5D4BC957F3B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bc5b8aabc88f56c2ff9df0e05d7652d9821409c","datavalue":{"value":"10.1007/S11225-015-9645-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q295913$A5A5EB5A-12B7-4F7F-9AAB-D61C032D41B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c339a94f04b8ccc2b33b20da9fbee5adef9a3533","datavalue":{"value":{"entity-type":"item","numeric-id":4826043,"id":"Q4826043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee3393f6ebde45df93415dac13d0ab4b41ef6ae","datavalue":{"value":{"amount":"+0.7536168098449707","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":"Q295913$26BE443B-EFD7-454F-AA3D-E54180BD4261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe12846c21b31c18f48db7b9b6ae3182fb688beb","datavalue":{"value":{"entity-type":"item","numeric-id":3592787,"id":"Q3592787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45da5403e66f6da08ecc3dde557fb49a09b7fe9","datavalue":{"value":{"amount":"+0.7472374439239502","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":"Q295913$DDCE6C90-C8C0-4F80-B2F2-C969CE088171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc8c93616c4e39f3aef42cc3ba704f1ba89c380e","datavalue":{"value":{"entity-type":"item","numeric-id":2885196,"id":"Q2885196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa0b115244f5af5a58037d9948066c3ce98626c","datavalue":{"value":{"amount":"+0.7448062300682068","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":"Q295913$3B057EB1-4C7B-476F-862F-8D00803B8914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28667e395d07c6e76dae542564f0d91f95255579","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dc436490bb01a6f1c9ae23311722aafb6d12cab","datavalue":{"value":{"amount":"+0.7160471677780151","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":"Q295913$3EF76B11-97C1-4FCC-8BDB-91C7BE488DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a3f24c8b3343b08f69b1e1254dc5910bc0a93b5","datavalue":{"value":{"entity-type":"item","numeric-id":4803958,"id":"Q4803958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e216e60d1f0399c0695a62f38564a7f9b646ccc4","datavalue":{"value":{"amount":"+0.7147302627563477","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":"Q295913$43E1E32A-D692-4CF1-B356-BEE5BBFF9294","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reductio ad contradictionem: an algebraic perspective","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reductio_ad_contradictionem:_an_algebraic_perspective"}}}}}