{"entities":{"Q1203779":{"pageid":1214528,"ns":120,"title":"Item:Q1203779","lastrevid":66343893,"modified":"2026-04-12T09:29:09Z","type":"item","id":"Q1203779","labels":{"en":{"language":"en","value":"The admissibility of \\(\\gamma\\) in R4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 120383"}},"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":"Q1203779$B3DE99F8-5BA2-4ABE-A156-3F40CC9D2C44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"735d276e7a76aeccd91b4e6e16b20877131ad12d","datavalue":{"value":{"text":"The admissibility of \\(\\gamma\\) in R4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1203779$74E85FFA-945E-4455-83FD-1526B14AE81F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bb309a0c98ed78974c4acfc248bb4c248f2c36b","datavalue":{"value":"0767.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203779$1DA6D9AB-FE19-4031-9CB5-8B0CC2CE8F5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93eeb797a805b6920f698dde39c2c782589dabf6","datavalue":{"value":{"entity-type":"item","numeric-id":833036,"id":"Q833036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203779$ADD04FF8-7E05-46CE-8B60-60D27666E919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d56eee76cc68923f40cf5d662eafe557e3cda46d","datavalue":{"value":{"entity-type":"item","numeric-id":452354,"id":"Q452354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203779$2E3310EB-F622-49BC-B0C0-34CD0368E6C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203779$236422E0-8591-4FD9-A448-B5ABD17A070F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b23a4a462ecb1c2bb71942cea74b7fdc5aca3680","datavalue":{"value":{"time":"+1993-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1203779$97A16FD3-A50C-478C-8C25-6E62341C266A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1cf7743cd64c4d214ca2013409a53cfcc8f665a2","datavalue":{"value":"\\(R\\) is the Anderson-Belnap system of relevant implication; \\(NR\\) extends \\(R\\) with a necessity operator and \\(S4\\)-like postulates for it. \\(R4\\) is the result of adding the axiom scheme \\(\\square(A\\vee B)\\to(\\diamondsuit A\\vee\\square B)\\) to \\(NR\\) to make a system that includes all of \\(S4\\). The rule \\(\\gamma\\) is the rule of material detachment: From \\(\\vdash\\sim A\\vee B\\) and \\(\\vdash A\\), to infer \\(\\vdash B\\). In this paper \\(\\gamma\\) is proved admissible in \\(R4\\). As a corollary it follows that \\(R4\\) is a conservative extension of \\(S4\\). The proof of admissibility is by Meyer's method of metavaluations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203779$325E3DDB-4FBA-4F61-9A21-370C28866227","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203779$61DD502A-842B-4123-B8C7-749BDFCE047F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203779$3A8FCDCC-9E27-4338-A8BC-2FE5B387C129","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f4fff6ed954ef25d740cc1c636bcacfda88a395","datavalue":{"value":"120383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203779$DEF77C10-9720-417C-AC77-03342F6E55D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203779$3B098109-CA3A-4B9A-9A31-18C58D880E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b50c490b2e470742fe3d5d86ee9f3c7f847bede","datavalue":{"value":"relevance logic \\(R4\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203779$7101817B-E110-436C-AF59-3A2BFD257FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49d19dc99e30f4190ac827b2e3a1435739f0ee83","datavalue":{"value":"conservative extension of \\(S4\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203779$0CDA615A-7B3A-4B2D-8188-9BCC1CEF960A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ab3f43c7ba3996fb9dd6fd646d43309abce9e33","datavalue":{"value":"necessity operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203779$08D6BB5E-7AC8-4BD8-B81F-04D81AB1D58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cee7bd1c5604210f852e48782b557c332232a51a","datavalue":{"value":"rule of material detachment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203779$45BB977B-A097-45DE-A0D4-CF95D9E325DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69c73b4dfc0427979554d1aca095ddd271434f90","datavalue":{"value":"admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203779$D379C7A5-E875-4833-9E33-24092E086264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d2b1f037799b7523ee5109cf9545d131c7a3ca","datavalue":{"value":"metavaluations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203779$1965AA06-F8F5-476F-98A9-EC278EEC2EED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203779$02E58528-1CD4-4FB8-8533-E7E61027DA6B","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":"Q1203779$982AC8FD-03D8-46BC-A5BC-D04FBACC47DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbbb687c5702a59eb597dde2147295b3e8d3ffea","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636096","type":"string"},"datatype":"url"},"type":"statement","id":"Q1203779$926A472D-26EF-4C70-95AA-91F4AFA712F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"394594bbcb0e79d5d43acf71ef04fd51a82bba89","datavalue":{"value":"W1969421328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203779$C5116C28-D574-4BB2-B9F9-1C66276AFC29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e423a08b160fecf344e51fd0f256efeeafd08aa1","datavalue":{"value":"10.1305/NDJFL/1093636096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203779$3877AE66-3173-4DD3-8932-76E0E772282C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bbd353e286cbaed255155696f0d4f98e5a2910f","datavalue":{"value":{"entity-type":"item","numeric-id":1208151,"id":"Q1208151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d55b48796a65026c214ad3f428836b153ce1ef20","datavalue":{"value":{"amount":"+0.8317686915397644","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":"Q1203779$A3036AA6-EDAF-465F-96FB-DABB8C6C9A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb3d108a76ca7f1b5a0c31756f5db39cda771fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3389499,"id":"Q3389499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"893eadda37d852d65c8237e394a49de9cdcdb05d","datavalue":{"value":{"amount":"+0.7988051176071167","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":"Q1203779$7ED1EBD1-BA56-4546-AA9A-BD0CA444D26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc8660279810fbecadf316ed373442c5aa14b05","datavalue":{"value":{"entity-type":"item","numeric-id":1071752,"id":"Q1071752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24356bff1e685304af6ad2202230ec9647c6bdcd","datavalue":{"value":{"amount":"+0.7853677272796631","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":"Q1203779$5581CFDF-CA61-466D-A88F-9739B77AD522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747c693d2690c2e78c3d60da41038e0e64ad4131","datavalue":{"value":{"entity-type":"item","numeric-id":1935555,"id":"Q1935555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc552f4940c2150b5467778844c8c23b470cc96","datavalue":{"value":{"amount":"+0.780877411365509","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":"Q1203779$E9D71AEE-9673-4A05-BC27-8DA0F2511AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e77534b7a8fb78a6adec416bfb026b9c6dc03e3","datavalue":{"value":{"entity-type":"item","numeric-id":633158,"id":"Q633158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90e264191ca2a800fc0c0b86520dcaccac94f08","datavalue":{"value":{"amount":"+0.7633107900619507","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":"Q1203779$B2B8DD28-EC23-4C66-AD66-69FF727D2363","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The admissibility of \\(\\gamma\\) in R4","badges":[]}}}}}