{"entities":{"Q1935555":{"pageid":1946297,"ns":120,"title":"Item:Q1935555","lastrevid":69102552,"modified":"2026-04-13T04:48:07Z","type":"item","id":"Q1935555","labels":{"en":{"language":"en","value":"An algebraic proof of the admissibility of \\(\\gamma \\) in relevant modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6136993"}},"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":"Q1935555$8358B888-8B96-4881-8B3D-7829F645651B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01ac266da94113670c142921d8ca3e46c5fb222e","datavalue":{"value":{"text":"An algebraic proof of the admissibility of \\(\\gamma \\) in relevant modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935555$574D37EF-3C6F-40F0-8002-2D8257F8A106","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a31048fc102863badced3b852905d2552fd9c29d","datavalue":{"value":"1282.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935555$AEBAF9C9-905E-4C57-90C4-DB0B2DCAA6A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"080b8f44623507ce5a92db8ab0a0a7caaeb2dd8e","datavalue":{"value":{"entity-type":"item","numeric-id":383573,"id":"Q383573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935555$63C8070B-A6B0-432C-8F55-684B78A097A1","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":"Q1935555$14CF668D-F850-4B47-97A5-456E591DF524","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6580e539cd642ecce5788629c9cdef04a318cad","datavalue":{"value":{"time":"+2013-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935555$64DF6C06-BCD7-4489-AE0C-F1250563C022","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54ad3950aa5cfcbf9da965fea7b37b065f3e3e8c","datavalue":{"value":"The admissibility of Ackermann's \\(\\gamma \\)-rule, called material detachment or disjunctive syllogism as well, is one of the main issues for relevant logics, and was shown originally by an algebraic method for a few familiar relevant logics. On the other hand, it seems rather common recently to consider the problem by means of Routley-Meyer semantics or metavaluational techniques. In this paper the author first introduces a relevant logic called GA by examining the original algebraic proof, and then provides its axiomatic extensions by (arbitrary combinations from) 23 characteristic axioms. On the basis of these relevant logics, moreover, two classes of modal extensions (one of regular type, and the other of normal reflexive type, roughly speaking) are defined syntactically. In this generalized setting, the admissibility of \\(\\gamma \\) is shown to be characterizable algebraically, which then is indeed applied to proving the admissibility of \\(\\gamma \\) for them.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935555$B7D4540A-9492-4430-A0BF-964CFBC2E552","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":"Q1935555$4EA055B9-B40F-4B71-B9F2-0AED1BFD509E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935555$4B1ECA09-F86F-4768-92EE-FB005D3D5F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935555$A31F5C7C-AA46-467F-AED4-ED1E6DEC3330","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a826b5da253c38c818de6c2e385ca9f57aa5417","datavalue":{"value":"6136993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935555$F8B5442F-7940-4DE2-B14A-1F285E3BDC90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a254922b620d4e1dd8256dd2430827033bff16b5","datavalue":{"value":"Ackermann's \\(\\gamma \\)-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935555$CD3F0721-948D-4BBC-842C-5A08CD51B049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"287820a5d0732343d987749887711cc3ea2da8ec","datavalue":{"value":"material detachment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935555$0E624658-A4AC-4491-98A6-18699A28366C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be459cc754a883783752613b44eb700eda3c0d2c","datavalue":{"value":"disjunctive syllogism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935555$9E21BAC4-97DA-4D10-9854-2756F16BC7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8050f947390c729f6dd93fc2f21005a090088473","datavalue":{"value":"relevant modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935555$EC2E2ECA-8CC8-4166-BB70-C76DC97D226D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b88b64daf6719d44b0c57bb3e09135b8d6e6bc57","datavalue":{"value":"relevant modal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935555$897AE43D-A7F8-4EFB-A9FC-7574E5D258A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80a94339f1d8d0ab54cdcca05e91fa1f33a14209","datavalue":{"value":"join-syllogistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935555$E1AD438B-80A2-4B58-9C68-3E449EC1B82E","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":"Q1935555$96517B20-B115-4345-B303-628424DF3C3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91d3edf67cb1dfeb49557f7da9bd07297cd43246","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9459-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935555$999A5A63-E57A-41B9-AEB2-AA72CF08EEE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d463842d1921fabf839ff96d2aae25c139e7f5de","datavalue":{"value":"W2009065992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935555$8D6D0522-8201-4EE9-A2CC-E6576437F5F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"451d363ccb11b7e8a1a839669a73836da510064a","datavalue":{"value":{"entity-type":"item","numeric-id":4459272,"id":"Q4459272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935555$63139C38-9BDE-4EF8-BF14-6AE312B839E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935555$8F66A3DD-88B8-4C9C-8179-DA9B0301E5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34cdcfa7ea5759e0c50ee9b3f61ba0203256904","datavalue":{"value":{"entity-type":"item","numeric-id":4304127,"id":"Q4304127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935555$D9805B7F-D198-4738-B376-25FC7421F616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d714b6d375859f60767ae5c3f9f8209c1fb3b4","datavalue":{"value":{"entity-type":"item","numeric-id":1203779,"id":"Q1203779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935555$28CFD645-70BC-4F01-9B13-A3E8DA72A938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f39f9d4819c20ed4555dca8c254868008b338d","datavalue":{"value":{"entity-type":"item","numeric-id":5181343,"id":"Q5181343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935555$D968A037-FEF8-41EF-9F7F-82CBACDFC4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caef83d8c323369d390f06220cb4f544d73185f7","datavalue":{"value":{"entity-type":"item","numeric-id":3544316,"id":"Q3544316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935555$8CEA56C8-23EE-4336-8BDC-38DCEA4272E3","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":"Q1935555$0A180BB1-EE0A-4BF2-B51F-6E252D92874C","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":"Q1935555$830D04C7-DA52-4908-9E68-0C66E6E98062","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":"Q1935555$4740DCCA-67F4-4FED-B3C0-ADEBCE14DFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b79e287b8f9dcb48386d79b783cadfdb720c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1810815,"id":"Q1810815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935555$76CD76A3-1E16-4CD7-A050-4080B6D82CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f8efce3c6b30ee1d0649f9f93e3a0255708ff14","datavalue":{"value":{"entity-type":"item","numeric-id":633158,"id":"Q633158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935555$D0933400-9B9A-42EE-AE96-C8F95C590241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9cc49c54ca1a33a8b9ac15ec7f9211702ec694","datavalue":{"value":{"entity-type":"item","numeric-id":539157,"id":"Q539157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935555$390EADE1-5765-4694-892F-AD6E79FF80D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24ea87c99bb4f6b0180db101b7f2d0ec88244c06","datavalue":{"value":{"entity-type":"item","numeric-id":383574,"id":"Q383574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935555$E5154D9D-8330-4656-AC97-5B323E12866D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7c5d987060b4bf24dd81c8ab3a4b6e644b081d","datavalue":{"value":{"entity-type":"item","numeric-id":1064316,"id":"Q1064316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935555$5F74CE6E-3BAC-42D7-8B34-CA8B59FFFBD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"140be873b9b7189df368bce913e1b11511216db2","datavalue":{"value":"10.1007/S11225-012-9459-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935555$2108F4EC-8EFE-4F38-88AF-8EAD510F390E","rank":"normal"}],"P1643":[{"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":"bfd9a0721d16021b4cadaff785dface485f97ab9","datavalue":{"value":{"amount":"+0.909192681312561","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":"Q1935555$AF095225-C74F-40BA-B452-A19AF53514D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"159a95727fff8339088dc216350b8e0d778ca552","datavalue":{"value":{"entity-type":"item","numeric-id":539157,"id":"Q539157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25598ceb25b5e931da2b2a5ebc760a0cd1ecf96","datavalue":{"value":{"amount":"+0.8514478802680969","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":"Q1935555$67787A12-50E9-4C69-9A66-3D8B07027A34","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":"e9abe0ae20c047cd51b9f6584d7730390635c0f5","datavalue":{"value":{"amount":"+0.8510305285453796","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":"Q1935555$A816FB3E-2A5C-42CF-82E2-04383C595D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946aff22da8d13cc6aef06c12b8d51770f5a3292","datavalue":{"value":{"entity-type":"item","numeric-id":4304127,"id":"Q4304127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea99f6eca8424ac7b885b2c6f20696ed483339f6","datavalue":{"value":{"amount":"+0.7629271745681763","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":"Q1935555$9A5EDDE4-D9AE-405C-B6F3-AC122163F91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cd4f64baf572fcefc7b8a2490cd580d174ec88","datavalue":{"value":{"entity-type":"item","numeric-id":1023055,"id":"Q1023055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecfde9f5f2e6497833192256035b9ddb240d7e8a","datavalue":{"value":{"amount":"+0.7620648741722107","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":"Q1935555$DE6A80F9-0156-43FD-824C-4F79AB569ED1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic proof of the admissibility of \\(\\gamma \\) in relevant modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algebraic_proof_of_the_admissibility_of_%5C(%5Cgamma_%5C)_in_relevant_modal_logics"}}}}}