{"entities":{"Q1061116":{"pageid":1071868,"ns":120,"title":"Item:Q1061116","lastrevid":69539064,"modified":"2026-04-13T07:41:29Z","type":"item","id":"Q1061116","labels":{"en":{"language":"en","value":"The strong proof from hypotheses and conditionals: Some theorems of deduction for relevant systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3908411"}},"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":"Q1061116$CC1EE1FA-AF50-4587-A2E5-1F2DA7E0D7B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22942e59a7e8bb1d15b5e49b10cb939b70f36443","datavalue":{"value":{"text":"The strong proof from hypotheses and conditionals: Some theorems of deduction for relevant systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1061116$B4E07DFB-A6AE-4192-8652-F83331E8D4F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"947d4d3f9b9a5a39adbfaed6ba296473623355a4","datavalue":{"value":"0569.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061116$ECCD9E02-59D7-4292-BE30-07FD6C748ACE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3277099e5b5070d08cb4cee31490e30cc73ed6af","datavalue":{"value":"10.1007/BF01063836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061116$F3DDB92E-4BF4-4576-BED0-42558CABBD3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"610421e9f05f15a4ad8c3846ab4c63b0d81f90c5","datavalue":{"value":{"entity-type":"item","numeric-id":1061115,"id":"Q1061115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061116$5927F2B8-832C-4E80-87CA-AECD3779E097","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":"Q1061116$70B0F6D9-840A-44C5-8AAC-EC741D2FF9C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1061116$DF59D1B0-C071-46F5-B7E3-F212E5DE5DB1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1d68ccd2b092076d5f352eb7face8c962893410b","datavalue":{"value":"This paper states three deduction theorems for relevant logics and gives in each case a sketch of their proofs. Apparently the standard notion of validity does not work here so that the author finds it necessary to introduce a concept he calls d-validity based on a modified version of his concept of strong proof from hypotheses. For example, using the standard notion of proof from hypotheses \\(\\Gamma\\) in the system of relevant logic R he proves that the deduction of B from A together with \\(\\Gamma\\) is d-valid if and only if the deduction of the conditional \\(A\\to B\\) from \\(\\Gamma\\) alone is valid.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061116$92DA6A58-A30A-4712-9D18-7BB527FF70BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061116$E53C0B4E-F43A-406D-B77A-2053F5998BF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf211819e11f811dc0d1bd88d1e1f212b77f8363","datavalue":{"value":"3908411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061116$07420788-04AD-45D7-93CC-1ED2BC93286C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061116$305A1DDD-5AFB-411F-8BB8-82AC35771B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c75e750785800d16c976e51c3338cf237cbb82b5","datavalue":{"value":"deduction theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061116$8EEF570E-3070-4108-9836-4097A74CF854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1edaeddee64594d84836f6e81940b1399276dc","datavalue":{"value":"relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061116$3BB3AE15-2440-428F-A1EF-804C768F7D85","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":"Q1061116$B5F8F7AC-8D36-43E8-A413-850F0B3A7121","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad9bed1e28c1ccba9bc9fbe0f4a99ea0739ca1e","datavalue":{"value":{"entity-type":"item","numeric-id":3924154,"id":"Q3924154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061116$0264EBF6-B0F3-4A2C-BE23-85D01040161D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dfea18e56c9026db233c6e65d012fbc660acce7","datavalue":{"value":{"entity-type":"item","numeric-id":4817204,"id":"Q4817204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3235295176ceb06c795c8141a4eef242c2d8daed","datavalue":{"value":{"amount":"+0.8000115156173706","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":"Q1061116$94FD0304-AC6E-4071-A5E7-2799A07189B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5405a0c543ae60f2a5551ae64f4a7919cb6a3a1","datavalue":{"value":{"entity-type":"item","numeric-id":791512,"id":"Q791512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caaa8ec34af5c73cd5de3eee0ce467ade2796428","datavalue":{"value":{"amount":"+0.7945738434791565","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":"Q1061116$C094D44B-7225-4071-A28F-9AFD2F731574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c88df3b68b0a93378264492d60c7b3bda50c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1103605,"id":"Q1103605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec79a20a2baf3d4cd7fd87e50893dce3062552c","datavalue":{"value":{"amount":"+0.7779058218002319","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":"Q1061116$6F051E31-462C-409F-BC80-99B123E98D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4711df8ef76d45088066859315949b8e82137981","datavalue":{"value":{"entity-type":"item","numeric-id":1319363,"id":"Q1319363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e9b93940e4bcd53f1c89d007f7f3aad8c67ebf","datavalue":{"value":{"amount":"+0.7670887112617493","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":"Q1061116$A258C44A-458E-4E5E-A32C-4AD4D6E45E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95381bc8c7fb3e455800e0f1a425a361ef1b8041","datavalue":{"value":{"entity-type":"item","numeric-id":4424653,"id":"Q4424653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0526f4ce1876727128b1a217ac15a3532c000e","datavalue":{"value":{"amount":"+0.7661660313606262","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":"Q1061116$F13A2229-D992-44C9-90E7-61A282251655","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The strong proof from hypotheses and conditionals: Some theorems of deduction for relevant systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_strong_proof_from_hypotheses_and_conditionals:_Some_theorems_of_deduction_for_relevant_systems"}}}}}