{"entities":{"Q2903766":{"pageid":2914491,"ns":120,"title":"Item:Q2903766","lastrevid":51522323,"modified":"2026-01-18T15:13:48Z","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":"Publication:2903766","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2903766"}}}}}