{"entities":{"Q1006496":{"pageid":1008344,"ns":120,"title":"Item:Q1006496","lastrevid":66563877,"modified":"2026-04-12T10:58:16Z","type":"item","id":"Q1006496","labels":{"en":{"language":"en","value":"The basic constructive logic for negation-consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532543"}},"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":"Q1006496$81B598F9-8602-4FB8-9BD1-5DABB0877D4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e8783f39039d5b62fb35e0764ef8f549a88f335","datavalue":{"value":{"text":"The basic constructive logic for negation-consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006496$CADB7A9F-0F98-4A13-8371-8F4DB78D16A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1021fb473321ba23bf59d532b5d49507253321e","datavalue":{"value":"1173.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006496$203E28ED-500F-4646-B9F7-73886137568C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a58eb4c4b59a1ad954c8e82e60e204e3e9001a6","datavalue":{"value":{"entity-type":"item","numeric-id":590824,"id":"Q590824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006496$9860BF54-77C3-4D29-AD72-1FABABA6BC5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006496$B25600AE-FC47-4ADD-BAC2-70D0EB779128","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ab3bf6018fd8cb2b8743b7e1a22f45853c9b86","datavalue":{"value":{"time":"+2009-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1006496$933B62C1-065E-42CC-A18F-A8AD5CE5B062","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e66a41b6caea5e8115611efd863a7e33c90d09a5","datavalue":{"value":"In a previous paper [ibid. 17, No.~1, 89--107 (2008; Zbl 1173.03027)], reviewed below, \\textit{G. Robles} and \\textit{J. M. M\u00e9ndez} extended the Routley-Meyer basic positive logic \\(\\text{B}_+\\) to \\(\\text{B}_{\\text{K}+}\\), by adding the rule K: \\({\\vdash A} \\Rightarrow {\\vdash B} \\rightarrow A\\), and then to \\(\\text{B}_{\\text{Kc}1}\\), \\(\\text{B}_{\\text{Kc}2}\\) and \\(\\text{B}_{\\text{Kc}3}\\) by also adding various negation axioms. They provided sound and complete Routley-Meyer-type semantics for these systems there.  In this paper, the authors introduce negation extensions \\(\\text{B}_{\\text{Kc}4}\\) of \\(\\text{B}_{\\text{Kc}1}\\) and \\(\\text{B}_{\\text{Kc}5}\\) of \\(\\text{B}_{\\text{Kc}2}\\). These are shown to be independent of each other and also sound and complete under variants of the semantics for \\(\\text{B}_{\\text{Kc}1}\\). How \\(\\text{B}_{\\text{Kc}2}\\) and \\(\\text{B}_{\\text{Kc}3}\\) are related to \\(\\text{B}_{\\text{Kc}4}\\) and \\(\\text{B}_{\\text{Kc}5}\\) to \\(\\text{B}_{\\text{Kc}3}\\) is not discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006496$1D2DCCDD-4F0E-493B-9C24-04BD24FA2980","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006496$2ACF5C75-232B-4964-BFD1-70ECBE4EAF93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006496$49AF9D32-E654-4ADE-991E-9E6C2BFDA8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006496$7791C188-DC15-4150-93B1-400579C7CBC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdc29dba1e1f98d98081d0cc8043ede916422163","datavalue":{"value":"5532543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006496$2C5CE56C-8FEF-4887-8A2F-C1A1F5F82599","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54966808d51f8bb3f443d062fb916e73154dc20","datavalue":{"value":"constructive negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006496$32FE39A8-1289-4979-AEE2-465BB44F4264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006496$240D4073-2C1D-48F7-AF79-C5A2A63B41E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358c78dd701bde900613005c5df0e5fbf889ef13","datavalue":{"value":"Routley-Meyer semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006496$5AFFC79A-BAAC-4621-8618-ECCBF863382D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006496$0947D3FE-42EA-4135-AC9B-8A25A785E280","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"10f8a293be1162767f46766ba375aedc7213fbb9","datavalue":{"value":{"entity-type":"item","numeric-id":23808,"id":"Q23808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006496$7B26FD7F-3518-45CC-B713-AC1F1E6B0CAC","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":"Q1006496$CDFFEC22-AC3F-468A-AB05-05004416F018","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70a520bc9462f96091de07c33c8e3e64cad3645f","datavalue":{"value":"https://doi.org/10.1007/s10849-007-9056-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006496$5DDC70D7-AFB9-4C0A-A566-01F352F003A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a935adfbcf590a39ac651ab1ba2311c458c368c3","datavalue":{"value":"W2148798252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006496$E619A6DA-4B57-42B1-BB3E-297AEC5387D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c46f2d524325cac6fae61b2a24cf815ac87111","datavalue":{"value":{"entity-type":"item","numeric-id":3781068,"id":"Q3781068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006496$E04F2AC0-1D8F-4C01-A2F9-0EF4EFEEC40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75cd35e17a1e8e1b50322e39100c25c09b3084a2","datavalue":{"value":{"entity-type":"item","numeric-id":4826043,"id":"Q4826043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006496$AC07B4CC-BA57-4AE7-9DA1-DCC3ED601EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6760ba0f1ff156e608de3959341a36d07d9f1ab7","datavalue":{"value":{"entity-type":"item","numeric-id":1006487,"id":"Q1006487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006496$AC16226D-991C-4F29-A1D7-DEB961518D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdd3e25192e4954fea5a9c9bcf8a5837d5b3c8ca","datavalue":{"value":{"entity-type":"item","numeric-id":735410,"id":"Q735410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006496$581A27C9-CE60-4C97-8BC4-00853ABBB5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56720c4132a59674e8871ca7cafb640192e959dc","datavalue":{"value":{"entity-type":"item","numeric-id":5488259,"id":"Q5488259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006496$0C872283-91E9-4E98-8B64-E476B5E9BFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006496$6668E887-4D02-4C75-B0C6-EB06064517CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de36c2b929c362bac39fb86eee8e657260019743","datavalue":{"value":"10.1007/S10849-007-9056-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006496$569E4991-A5C6-4C41-9863-6211028C91F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676b2b52afc346916eedcdc49a060f541d79040a","datavalue":{"value":{"entity-type":"item","numeric-id":1006487,"id":"Q1006487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e9a254627cf69c974b4e2b3d96d7a998c4a567f","datavalue":{"value":{"amount":"+0.9542022943496704","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":"Q1006496$1AAC4A0D-0414-4852-B6E8-A53DCBBCDABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a01bacf7f309b670b4accbd1fc6aa300da46651","datavalue":{"value":{"entity-type":"item","numeric-id":1016031,"id":"Q1016031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8401514025efa96ca79c62eb455b9f2ccec8c4c8","datavalue":{"value":{"amount":"+0.9198856949806212","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":"Q1006496$08B769A5-FA0A-4FC4-BAFC-6D245FACE0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98cc8b2dc172725980898dd01cec9c81a5f4a736","datavalue":{"value":{"entity-type":"item","numeric-id":3512159,"id":"Q3512159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c43e9aa43057bd74cd87c02e60011c6b3378c76","datavalue":{"value":{"amount":"+0.91307270526886","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":"Q1006496$EB71EC67-C221-42C4-A768-1D04926D157A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a173e77e22a8ea7882461c05c531fac68fe31b9","datavalue":{"value":{"entity-type":"item","numeric-id":5448846,"id":"Q5448846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3aad3bf3cdfa78e90660298609471da55d0eee","datavalue":{"value":{"amount":"+0.891387403011322","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":"Q1006496$012BE20A-48F4-42FD-89CE-07D30545333C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e48cf76299578cb3051121013979ee194b74cfd","datavalue":{"value":{"entity-type":"item","numeric-id":5411405,"id":"Q5411405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d4c116861fd14f3fbed4de043166c00cb4fe05","datavalue":{"value":{"amount":"+0.8884849548339844","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":"Q1006496$50CF9296-90DE-4832-ABBD-BD1F2A00DFB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The basic constructive logic for negation-consistency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_basic_constructive_logic_for_negation-consistency"}}}}}