{"entities":{"Q839646":{"pageid":841494,"ns":120,"title":"Item:Q839646","lastrevid":64729533,"modified":"2026-04-11T21:50:33Z","type":"item","id":"Q839646","labels":{"en":{"language":"en","value":"Restricted arrow"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5601536"}},"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":"Q839646$D1F95CD1-7512-4235-BDC5-3D2CB71C71EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac898951e666eeac173b490b359740e7cc936b37","datavalue":{"value":{"text":"Restricted arrow","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q839646$E3B1184A-1180-47B7-9B78-54141135D71B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b202bbcfba1debc90bb3c744b24771e8bc10a093","datavalue":{"value":"1184.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839646$E8DC9ED1-5E0E-4669-805C-787DF7BF0C5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b1f14f299065d17817059bcf4a6b61705a78594","datavalue":{"value":{"entity-type":"item","numeric-id":839645,"id":"Q839645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839646$60D344D0-AFF9-421E-AE26-FB5BC2E3266B","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":"Q839646$C5E49541-E9A2-49AE-B1E8-54AA927443E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1966eb492ff205ec77c58d609bcbacca7fa96c0","datavalue":{"value":{"time":"+2009-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q839646$951C8D9F-6ADA-4664-8E45-A91C7B2B0306","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"600ba0702bae39cdb72aba3b73e60c3c14acc96b","datavalue":{"value":"The notion of restricted arrow has been introduced by Beall et al. to analyse restricted quantification, and is characterized as a particular relevant conditional by semantic means of a certain ternary relation in the so-called Routley-Meyer semantics for entailment. In this paper, the author presents a range of positive propositional substructural logics with the restricted arrow, and shows that they are also sound and complete with respect to suitably defined frameworks on the base of Routley-Meyer semantics. For the completeness proof, the usual one-step method by canonical model construction does not work. It is then carried out by a step-by-step method which has been applied for the completeness proof of some modal logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q839646$7AA6DACE-F113-499B-AACB-B89B8AB90DFD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839646$B923151F-EAA3-45F6-B5B8-1EDC2383EF91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839646$A933FAB3-5ED9-4385-9A61-FF0A49FCF847","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4225c9ad6fe44a0e293acf9b88b943e4dbc8b94","datavalue":{"value":"5601536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839646$57DAC8BE-67B2-482E-AC8F-323CD4585D6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q839646$4180C6DC-11A4-4D1B-B884-29622B7CE1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80649e9036706b2cf0cb64b2e5eafdbb168acb70","datavalue":{"value":"restricted conditional","type":"string"},"datatype":"string"},"type":"statement","id":"Q839646$9D9BD675-E955-4DE1-A840-870253A21D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q839646$88007FF0-0816-4806-9E37-F09DD8B150AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"005d2b9344474c33f0be2f65b37ead97786ed56e","datavalue":{"value":"step-by-step method","type":"string"},"datatype":"string"},"type":"statement","id":"Q839646$68406A8C-30AC-40C7-89B9-AAC00276815B","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":"Q839646$2FD14A46-9706-4DAA-AE47-6A6D2A635F50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be4db3e5bfb40fb4e52a82c84afe54f703f7b000","datavalue":{"value":"https://doi.org/10.1007/s10992-008-9094-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q839646$CFF90686-25D1-406B-899B-69877C0AD203","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eca018d3a2ca1927c39b0dc96216af7592d8ad59","datavalue":{"value":"W3189620244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839646$4DED8854-E31E-4FAF-B2C0-2C509A4E36AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33bddf6776cd88163367e877648a3c0d5cbd6c96","datavalue":{"value":{"entity-type":"item","numeric-id":853811,"id":"Q853811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839646$61D20A30-5D20-40BF-B2B9-CFC53FED5E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839646$F5536E88-738B-4EC3-BCF7-06863BEAA73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839646$AE480499-B879-47C0-BE19-53ED63AA0044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b942124d289338651d8677a0814115d2b144354","datavalue":{"value":{"entity-type":"item","numeric-id":1902555,"id":"Q1902555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839646$CBE1AA19-1354-446D-838B-F51312395AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c46af4e2dbdec71e2e1e67a8fb006535d85d316","datavalue":{"value":{"entity-type":"item","numeric-id":4495853,"id":"Q4495853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839646$76BB97C3-6F10-4EBE-94FB-B092A519DD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4f6cb2d520e094401e2b9c919689c522d88ccc","datavalue":{"value":{"entity-type":"item","numeric-id":2748497,"id":"Q2748497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839646$F8BD9163-3447-4252-B3E4-182705142281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a266d13c6e5d447b68028cd63d20f48a3d392f3a","datavalue":{"value":{"entity-type":"item","numeric-id":2715516,"id":"Q2715516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839646$6B233188-74FB-41BC-B3EB-610B36E8E663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839646$B0BB3F04-9D9A-4BAD-AF6D-D888225A5FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b87d18be1bd3e2fbd81414ccfc6a3fc0bf0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1221739,"id":"Q1221739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839646$0815FF49-7F3B-49F3-BA6A-B1CEE49C41B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c60d9aa764a441319bcc6ddab79cc77f2f6681","datavalue":{"value":{"entity-type":"item","numeric-id":1221740,"id":"Q1221740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839646$ABFF8C3D-8915-4BB2-B697-043B56ACB350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b698b009fdbc19342ee3cf4dca8fe2d035620a40","datavalue":{"value":{"entity-type":"item","numeric-id":4077984,"id":"Q4077984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q839646$A308587E-8979-4F9B-8B34-607CA94F5716","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae3f0109e9d55c532ab5939a3aabda93ae1ec522","datavalue":{"value":"10.1007/S10992-008-9094-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q839646$73A7D535-F538-4205-832C-0580D6AC80A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6d494db83f3a805cb8a0886250b2365a82c8f2","datavalue":{"value":{"entity-type":"item","numeric-id":3732738,"id":"Q3732738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0217cd5de2db301bc7bc309bcd10a03d0c1ab223","datavalue":{"value":{"amount":"+0.7505708","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":"Q839646$F8E061CB-0C85-4C7C-9335-5281793C0DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21e00bc0eb3d73dba3c86f488b881f02f463c88","datavalue":{"value":{"entity-type":"item","numeric-id":1043285,"id":"Q1043285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e417c0e80f5eb96058b56b8300b39ed34c33863","datavalue":{"value":{"amount":"+0.73699147","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":"Q839646$DDFADC6A-294B-4435-A275-40156EEEEFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dfe38b1182c8455736919c01569a1693a382fa9","datavalue":{"value":{"entity-type":"item","numeric-id":2826041,"id":"Q2826041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02979ea14a3d29b82791bc99a9208757a0c9e1db","datavalue":{"value":{"amount":"+0.73223996","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":"Q839646$8C45F329-81CB-405E-89E7-224BB3E83622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86385bfd8043d2f01d8b914f6cf45006295dc93f","datavalue":{"value":{"entity-type":"item","numeric-id":1869354,"id":"Q1869354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c26106ff5e9de0459cec5b7c3088b82a556d4d1","datavalue":{"value":{"amount":"+0.72111344","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":"Q839646$DC83626C-9040-42D9-9BB8-9B340FC6DA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71275a9417cb4fead06cc8358cd7b897e3bc031f","datavalue":{"value":{"entity-type":"item","numeric-id":5350346,"id":"Q5350346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b725769392fb17f7ac9fa468b938178487fac6a","datavalue":{"value":{"amount":"+0.7178185","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":"Q839646$62E87D2A-33BE-49D6-8412-BFFE58483431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e54e0f2f802c6ff1372d9a2a8094db83171e964d","datavalue":{"value":{"entity-type":"item","numeric-id":1775737,"id":"Q1775737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3c7dbdc28767b5e50164d418a14fdf02ca0d99","datavalue":{"value":{"amount":"+0.7175975","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":"Q839646$23AB3911-310D-481A-B2A5-F6DC8F8504E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Restricted arrow","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Restricted_arrow"}}}}}