{"entities":{"Q1006487":{"pageid":1008335,"ns":120,"title":"Item:Q1006487","lastrevid":69407031,"modified":"2026-04-13T06:47:40Z","type":"item","id":"Q1006487","labels":{"en":{"language":"en","value":"The basic constructive logic for a weak sense of consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532536"}},"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":"Q1006487$64ADE114-8DAA-4879-8540-572D17AD4EB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"824aed4dd4d3643a372bbccee964fdf1429b7c4a","datavalue":{"value":{"text":"The basic constructive logic for a weak sense of consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006487$565261F6-0CF4-4E84-B650-624C2203E278","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"203cf117c7ddb4a0a88551362a78801e618f2e34","datavalue":{"value":"1173.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006487$6EE24211-1DBE-4B76-A531-CDB8FF88D477","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc6e1be8090e1bf9e3724ced36f209cc459d004c","datavalue":{"value":{"entity-type":"item","numeric-id":976760,"id":"Q976760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006487$E179E711-B29F-4226-AE7F-D84BD73A2444","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":"Q1006487$F29ADB98-C59F-4F30-AA8B-776B50FCDFCB","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":"Q1006487$4BCCE0EB-14F6-4FD7-98E9-7D139E686935","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9cf24b56c9efcf094fec48bc9eedf5eebc5e96e6","datavalue":{"value":"\\(\\text{B}_{\\text{K}+}\\) is the extension of Routley and Meyer's basic positive relevant logic \\(\\text{B}_+\\) by the (nonrelevant) rule K: \\({\\vdash A}\\Rightarrow {\\vdash B} \\rightarrow A\\). In this paper \\(\\text{B}_+\\) is shown to be sound and complete under the Routley-Meyer semantics for \\(\\text{B}_+\\), but without their ``designated points''. The following extensions of \\(\\text{B}_+\\) are all shown to be sound and complete under versions of the semantics for \\(\\text{B}_{\\text{K}+}\\):  {\\parindent=4mm  \\begin{itemize}\\item[--] \\(\\text{B}_{\\text{Kc}1}\\): \\(\\text{B}_{\\text{K}+}\\) with a constructive negation,  \\item[--] \\(\\text{B}_{\\text{Kc}2}\\): \\(\\text{B}_{\\text{Kc}1}\\) with stronger negation properties, including double negation,  \\item[--] \\(\\text{B}_{\\text{Kc}3}\\): \\(\\text{B}_{\\text{Kc}2}\\) plus \\(\\neg A \\rightarrow (A\\rightarrow B)\\).   \\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006487$6C581617-F7AF-44B1-A500-236CFCB6C768","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":"Q1006487$10A4B658-517B-4114-8411-4F58700662F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006487$C0D21C67-B215-4CA4-AB77-886C2EEAA1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006487$E226FE6F-1CB2-4189-8F2F-BFBDD7EDEDE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6000431eed5e8b62fadd05eb67678f26a6cdcbe7","datavalue":{"value":"5532536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006487$B0D567EB-7AA9-4B36-80BC-86327BB0F6C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54966808d51f8bb3f443d062fb916e73154dc20","datavalue":{"value":"constructive negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006487$9424D612-C596-4297-A9ED-C0DBA4FBBC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006487$D4B1B631-27DC-4A54-99B3-2CF54E755712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358c78dd701bde900613005c5df0e5fbf889ef13","datavalue":{"value":"Routley-Meyer semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006487$D60C0486-37C6-4CE8-8C41-9BF84F3D84D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006487$7B558D0B-0230-45B3-95A7-20CBCC6707D1","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":"Q1006487$0C1F1CEB-BCAE-484E-A150-EA906F46F596","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":"Q1006487$7A23597B-4518-471C-94AB-5467EAC8473C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1b78379c5c58d634be13be7b4b8648cdec98d8d","datavalue":{"value":"https://doi.org/10.1007/s10849-007-9042-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006487$4E337E12-0E82-4C86-A0EA-32C63F992195","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0797afad60d5e70b0a21dd0b2ac218774a7af47a","datavalue":{"value":"W1978139582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006487$71F63FE2-D0EE-4100-BAB2-7B3236778452","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d72d2a474e56be879c24ef259e2b97e592c1d6c","datavalue":{"value":{"entity-type":"item","numeric-id":1595922,"id":"Q1595922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006487$D83E2A1E-7F5E-4A4F-A32E-1127117B9F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2501d27e219c8865c17210502995a9354fadfcc","datavalue":{"value":{"entity-type":"item","numeric-id":4807690,"id":"Q4807690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006487$7F4110E4-9D15-4A3E-B59E-0F545AB27758","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":"Q1006487$3F7079AB-0F49-439B-9D44-5FDFEAFECF2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2418128e3c54bdd16753356df235782bc00701a5","datavalue":{"value":"10.1007/S10849-007-9042-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006487$AAEDC890-D54D-4EA3-B094-C754BAA27E2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc59ee566a00980cd051d24d8e5012344c0530b","datavalue":{"value":{"entity-type":"item","numeric-id":1006496,"id":"Q1006496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71698988b720e9132f8fab153fba4fdb777f096e","datavalue":{"value":{"amount":"+0.8803562521934509","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":"Q1006487$A1F7D47F-281B-4C19-B2AD-27345B030812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad573d50072defa1075f2e4a85e5062ddeeaecc","datavalue":{"value":{"entity-type":"item","numeric-id":5437775,"id":"Q5437775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e992be0ed8f8a03874689d0abdd7d2c42cbd0f11","datavalue":{"value":{"amount":"+0.8705112338066101","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":"Q1006487$8570BB46-30FE-4266-A555-7392F1E95B74","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":"da0f96673052d0fc8bc152a6e68371f02e681465","datavalue":{"value":{"amount":"+0.8484507203102112","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":"Q1006487$4B7C51F0-1007-4BDA-BD5D-9989EBE97467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642af5239d22e3add2058fe2b674d5f5f52809bd","datavalue":{"value":{"entity-type":"item","numeric-id":3647286,"id":"Q3647286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49f8748d2785d4ad65afc9895edb4386663d7b7","datavalue":{"value":{"amount":"+0.8457349538803101","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":"Q1006487$3D396F72-71DD-4D8A-A33B-E2CA7EDB8673","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":"4d7cc6cf96eb09ce0d26ef2eb0a58afe1cd7a499","datavalue":{"value":{"amount":"+0.8418229818344116","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":"Q1006487$BD6C0621-CA49-4C3F-853C-48F53CBFB739","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The basic constructive logic for a weak sense of consistency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_basic_constructive_logic_for_a_weak_sense_of_consistency"}}}}}