{"entities":{"Q2903766":{"pageid":2914491,"ns":120,"title":"Item:Q2903766","lastrevid":84988292,"modified":"2026-06-03T05:27:13Z","type":"item","id":"Q2903766","labels":{"en":{"language":"en","value":"Ticket entailment plus the mingle axiom has the variable-sharing property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062922"}},"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":"Q2903766$2C874043-583C-440F-B191-2AFC6CA58E82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27401831a915229ca641e00e50662a925cc9c960","datavalue":{"value":"1254.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903766$A232ED2A-4EBC-4BD6-9B63-C3AFD2CC1552","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88fc52f7ff11d7876f7a1b3a0d8899b7968b0a9a","datavalue":{"value":{"time":"+2012-08-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":"Q2903766$377D84DD-CC5C-454B-9968-D35B6F7AC64A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903766$7EC6D084-155F-4673-A96D-13CAF5F41A1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ba857ff288c87b426e0fd5fa85994181696e9fb","datavalue":{"value":"6062922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903766$7ACE81C0-41CF-4A6E-BD28-C55FA3F2B43B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7b8c1442afef0f92718d7d0b035d38fcddd862","datavalue":{"value":"ticket entailment logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903766$32F0892C-B12F-4203-AB43-3D75E4501130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9cba6af2f15e8f65a526b0ee638ad336c3fe931","datavalue":{"value":"mingle axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903766$C6D67C01-2DFC-4EAB-9123-79D64C43A645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6501bcf432cd8808abdf1e28419ffbfb675aab44","datavalue":{"value":"variable-sharing property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903766$35E35F59-A62D-4F78-B373-5390EF6B8D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffc9c36646dce3a7a73cf58d3dac2b64768cd32f","datavalue":{"value":"ternary relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903766$406112A1-A941-40D9-B643-28DB48830705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903766$97FCA044-BEB3-4554-9003-C16116962513","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa8e8866ccf30a923f2cffed3f081afb0d0504c8","datavalue":{"value":{"entity-type":"item","numeric-id":23809,"id":"Q23809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903766$FAD81F58-BA05-4DBB-8019-5FC024B19A87","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":"Q2903766$CF74FAFD-CD45-4D7F-A02C-EE7CF5CD5EFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eafadde944a78c0042d093364ffba3f0ed1c5fcd","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzr046","type":"string"},"datatype":"url"},"type":"statement","id":"Q2903766$0E20A649-50FD-4E7E-96F1-FD6A8087C415","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"750d095b71983c4ddf293bfec48b03b19465b6a6","datavalue":{"value":"W2085339248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903766$40C6D699-6ECE-4805-AF8A-41E6A80EF93A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"32ec16aca13d8dd43efa69564470a1e8ffe4edc3","datavalue":{"value":"Q114009736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903766$15C31A92-B827-4AEB-9283-E6FCA5AB3950","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8569b9099cd37f0e7908048ed9b21bce35453b4","datavalue":{"value":"10.1093/JIGPAL/JZR046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2903766$9A2158D1-8832-4118-8512-82FF011FB05E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903766$1DE96CBD-BF23-4CFE-A041-FB8D3AE1550B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2b962d2d15b14a6f5f076dd80a14a3eafeac4da","datavalue":{"value":{"text":"Ticket entailment plus the mingle axiom has the variable-sharing property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2903766$852B5D3B-CB54-4825-90E9-A99824C4182E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dabf32a066c68469851e69d62e8146760db7f89","datavalue":{"value":{"entity-type":"item","numeric-id":3797158,"id":"Q3797158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903766$23698D02-CC37-4422-B6E9-335331CF7064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a58eb4c4b59a1ad954c8e82e60e204e3e9001a6","datavalue":{"value":{"entity-type":"item","numeric-id":590824,"id":"Q590824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903766$52088C4F-9E5F-482A-A1A7-D7FB8930B7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a25fb5d920f5068c0234946fa176bc5b275da81","datavalue":{"value":{"entity-type":"item","numeric-id":5104535,"id":"Q5104535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2903766$0F7134D1-E88F-420C-97ED-15A9202BD7E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"284b8594318e823b0b97e5f677bc8fb82aaf6c90","datavalue":{"value":"The variable-sharing property vsp is of principal importance for a relevant logic according to Anderson and Belnap. On the other hand, for many (even very weak) sublogics of the relevant logic R (including R itself consequently), vsp is known to be unsatisfied in their extensions by the mingle axiom M. So it may be said that mingle and relevance are incompatible from this point of view. However, it has also been shown afterwards that M and vsp are compatible if the De Morgan negation characteristic is restricted, or if the (extensional) disjunction and conjunction are removed from R. Thus it is interesting to investigate if there are significant relevant logics compatible with M maintaining extensional disjunction and conjunction as well as the De Morgan negation. The main result of this paper is that ticket entailment logic T is one of those, namely, the extension TM of T by M enjoys vsp. Moreover, the authors provide a Routley-Meyer-type ternary relational semantics for TM, and show also an interesting extension of TM satisfying vsp.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2903766$90D0957B-15FF-4C36-BDA7-EF2B49789E67","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":"Q2903766$2DD54CEC-5420-49F1-BB23-094C718BA3E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e8ecd9a7272dc975b217e1cbaef160e5d990dd","datavalue":{"value":{"entity-type":"item","numeric-id":5411499,"id":"Q5411499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ed8d6f5f5424909c58fdf52a91886f6b64241b","datavalue":{"value":{"amount":"+0.8190762400627136","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":"Q2903766$F1099913-977B-4EB5-AF02-8E8E7CA8A1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b197ad198e42a599b640ac047266c35c4c4e02c","datavalue":{"value":{"entity-type":"item","numeric-id":381004,"id":"Q381004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f1d2d63309f3adc60375bde7e29e25c3cb8ffc","datavalue":{"value":{"amount":"+0.8065897822380066","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":"Q2903766$9B1DED2C-1DA1-427A-9D12-6466799FF970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e254c5b44bb09efd0b163c138ba51a8fd39899fb","datavalue":{"value":{"entity-type":"item","numeric-id":435241,"id":"Q435241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eebe6a7cbb328d68551098e3268b847b94101d2","datavalue":{"value":{"amount":"+0.7763686180114746","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":"Q2903766$1C325679-7BAD-4B35-9AFC-E83A3C2F3286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c72a3406ff9429779702ac4e848bd80346304a80","datavalue":{"value":{"entity-type":"item","numeric-id":3081235,"id":"Q3081235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a126561c4c1394f0b8bc3be6a624fc7d23d3084","datavalue":{"value":{"amount":"+0.7695340514183044","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":"Q2903766$708561FB-4096-4F88-A64A-A6EFA4F2AC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13cb96ec198d876b91e1e4282c3c577dd382f438","datavalue":{"value":{"entity-type":"item","numeric-id":5205978,"id":"Q5205978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a9f6a3226579ecac5439efc8dab74f35a2e9c6","datavalue":{"value":{"amount":"+0.768263578414917","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":"Q2903766$F7898C6A-58E8-4D4B-8384-A6B5FBED883F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ticket entailment plus the mingle axiom has the variable-sharing property","badges":[]}}}}}