{"entities":{"Q1206806":{"pageid":1217555,"ns":120,"title":"Item:Q1206806","lastrevid":70286427,"modified":"2026-04-13T13:44:39Z","type":"item","id":"Q1206806","labels":{"en":{"language":"en","value":"Hierarchical semantics for relevant logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150560"}},"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":"Q1206806$A30F2400-BC43-411C-AAEE-B69557123D4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e788684b1cc919e9b36a24ebd85508083719731f","datavalue":{"value":{"text":"Hierarchical semantics for relevant logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1206806$6B7F3C63-65F7-48A9-A1AC-BEC3B82D22A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c62712adee3fd236e90164824ceeae92c1b48ed8","datavalue":{"value":"0770.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1206806$66D80F48-B552-4EE0-8897-F6BF94786C9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8884fc77842edf9f69f74033fefbcd35a8f1d144","datavalue":{"value":"10.1007/BF00260741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1206806$81187138-AC12-4D29-BA55-FD9A57C5BF65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3788d8eb15a23fa0f90cdf206746b1b67d371a9e","datavalue":{"value":{"entity-type":"item","numeric-id":484103,"id":"Q484103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1206806$F4557E15-183B-49A4-870D-D960AAF62DF6","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":"Q1206806$00B83A22-5286-40F2-96A2-5E31F1836661","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1206806$66AAC61C-2070-4877-B404-CBEA5702B0A5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a631a6ad4bf0b571e4c7a4cd76d648dcd2783a0","datavalue":{"value":"It is well known that a weak characterization of the relevance of a logic \\(L\\) is:   whenever \\(\\lvdash_ L A\\to B,A\\) and \\(B\\) share a variable. In an earlier paper the author introduced a stronger ``depth relevance condition'' that requires that such a shared variable appear at the same depth in \\(A\\) as in \\(B\\). This depth counts the depth of \\(\\to s\\) and not that of any other connective.   In this paper the author introduces a ``hierarchical'' semantics based on this new condition. This is applicable to those logics to which the Routley-Meyer semantics could be applied, as well as to several weaker logics. Soundness and Completeness are proved.   The author comments that there is little prospect of applying other styles of hierarchical semantics to logics that contain contraction or hypothetical syllogism principles.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1206806$82683598-2225-4637-B715-22AF41B03100","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1206806$32F57087-2DCF-46D1-A05A-653C4C84635A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ac801e31e20f32938c20dc120c174bd186f8499","datavalue":{"value":"150560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1206806$229E55FD-3C8D-4365-B13F-D44DA1D7DE4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0deb65e54ec1c67d6eb7451bf0fe1039cd43d45","datavalue":{"value":"depth relevance condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1206806$FB6DCAD0-9475-4A15-A7B1-7E5043A1323A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53f476eb5f79b12dbece625827c9673845e61733","datavalue":{"value":"relevance of a logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1206806$2936906D-6E72-4974-9D27-3006A44692F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e152a940df99ec842e8dd16d80a14f7098bf7a91","datavalue":{"value":"shared variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1206806$8708C598-C999-45D7-B256-A78C298C9BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dca42fe686601cf9afdcb94512da675494f3407","datavalue":{"value":"Soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1206806$02E65E8C-B69A-4F17-9052-39DFD2D6BC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fc8534b3bb8a981c00a2744422055e258daa4c0","datavalue":{"value":"Completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1206806$6C54786F-5898-4D57-AB27-2C8994AB0E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d589ab922352726fbdf2596ac5c7448a17bf023","datavalue":{"value":"hierarchical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1206806$1D495907-733F-4B0E-A607-F517645DEA24","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":"Q1206806$DCD26BBA-6CAB-4215-9303-F3EA5E0BDAE2","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":"Q1206806$3859ED06-7CD8-40FB-BA33-75F953607B0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33d30adc41a46da63498230a86850453f97569e2","datavalue":{"value":"https://doi.org/10.1007/bf00260741","type":"string"},"datatype":"url"},"type":"statement","id":"Q1206806$A78B7C2D-1547-4BAE-9BC1-32F63FED339E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de19fba91228d58a9c35808cc75e6bd5898af873","datavalue":{"value":"W2026838265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1206806$8FDCE113-D369-4CE8-B5A2-98E562E94B2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d96e13c5ad180384717ebd5acaa26d0deb11ab33","datavalue":{"value":{"entity-type":"item","numeric-id":5021991,"id":"Q5021991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b4db333484c7641a7b77b4c9c3c52024d0c192","datavalue":{"value":{"amount":"+0.7804279923439026","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":"Q1206806$B1336100-9826-410B-B77A-52BDB69656C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22a67a7a7bd825654d9a2c2edebf802d959b462","datavalue":{"value":{"entity-type":"item","numeric-id":392272,"id":"Q392272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af40a36b3570fc2b5ade2ba38d1a8fa1e80151c","datavalue":{"value":{"amount":"+0.757620632648468","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":"Q1206806$1376014D-2389-4F8C-9CAD-186207CFAC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c36d479b30548f33db10b9c36e4197bab4a4397","datavalue":{"value":{"entity-type":"item","numeric-id":1068075,"id":"Q1068075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e8f2aee3bbfb4b69462ef82fb28be9635dc64b","datavalue":{"value":{"amount":"+0.7553094625473022","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":"Q1206806$E89B2B67-267B-4132-B1A3-EA3A6941767A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f429c314bcb14178c0fbfc2391ebe60fbd6e40","datavalue":{"value":{"entity-type":"item","numeric-id":3795652,"id":"Q3795652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe91054d1c1e6f44bab2f9ffd906ec0f23918065","datavalue":{"value":{"amount":"+0.7436213493347168","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":"Q1206806$07EB05C8-9204-4805-91F9-7C37238C156E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4954f4e6fe319fe52737b636a1ae458661f42d6a","datavalue":{"value":{"entity-type":"item","numeric-id":4644541,"id":"Q4644541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f4c82e270fa0481b15c7fbabac9b4b3b9ae8b6","datavalue":{"value":{"amount":"+0.7396075129508972","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":"Q1206806$30055B94-23D7-494B-885F-A5273ACC1732","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hierarchical semantics for relevant logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hierarchical_semantics_for_relevant_logics"}}}}}