{"entities":{"Q689074":{"pageid":690923,"ns":120,"title":"Item:Q689074","lastrevid":63496893,"modified":"2026-04-11T13:33:49Z","type":"item","id":"Q689074","labels":{"en":{"language":"en","value":"Failure of interpolation in relevant logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 439976"}},"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":"Q689074$1B818E7D-9C5F-49D3-858D-4AAB649E1CF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"963202daed70013b9f98b89c6c4cbe2f3050a759","datavalue":{"value":{"text":"Failure of interpolation in relevant logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689074$F9101086-9186-4810-8BA1-FA7CB662222C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adc396857d0c4d0cddabc0f7dfcb2137b0581ef9","datavalue":{"value":"0798.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689074$EF94DC2D-07C0-4D32-B60D-FEF47F3B8D85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ca2ea9e1583b411db8bd4239b5a61852aa62766","datavalue":{"value":"10.1007/BF01349560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689074$7A471885-E8BA-48CE-A33D-776336E7BCFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689074$B1EEF6DD-D61C-442B-8F0C-46DE471EF724","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689074$AAC0D470-2DD1-4947-8377-8F1575F7EF17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00ab279b130be828e6561f0e8c2345f71e46791e","datavalue":{"value":{"time":"+1993-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689074$7CFD41EC-820B-4020-AF9D-71A7FE433A71","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"88067092806b50a5133de6646bb22db1e8b94fdd","datavalue":{"value":"By a sophisticated geometrical construction (using the fact that a non- Arguesian projective plane cannot be imbedded into a three-dimensional projective space), it is shown that Craig's interpolation theorem fails for entailment \\(E\\), relevant logic \\(R\\), for the logic \\(T\\) of ticket entailment and for a large class of related systems. It is indicated how to use these results to show failure of the amalgamation property in many varieties of distributive lattice-ordered monoids.","type":"string"},"datatype":"string"},"type":"statement","id":"Q689074$D71200B1-BCAB-4E13-9C28-909081EB8E31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689074$0C858E07-BBB9-46C2-B9D7-1A4F0EF4738F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689074$8501FE80-D820-4D10-B4CC-7C9357A3D350","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b87db33fb2966410842cc01ea57fbd8b0b1b7b4b","datavalue":{"value":"439976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689074$C564272C-9623-43A8-AB90-49DA5CB22AB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4838bcb38e8f0202533cfd16a7693ed4b09c3e6","datavalue":{"value":"interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q689074$DD432887-828E-4C2F-8BD1-FFB01573250E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q689074$35AC308F-0254-4425-BB5B-9C4CBB2CA462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q689074$F4D7F7FF-A82C-4984-8AC9-6D4748BC90C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2206e7239eaa8848cb9bbe6ed47254ccc2214abc","datavalue":{"value":"ticket entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q689074$13226E6F-7FEB-4366-9B64-455149ED0EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ab00d8c6d004f508ae7223b0711ed16c3c98cb","datavalue":{"value":"amalgamation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q689074$2233FA1A-BFAF-464B-A771-4C86C0252F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4684953ba0477b0fb53e2f5350b14dc012216b8","datavalue":{"value":"varieties of distributive lattice-ordered monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q689074$C41FC612-6A72-42F0-8485-D4E99FCF8C3A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50f26af6018e0e17dd62bb96a7b7b7241e4da546","datavalue":{"value":{"entity-type":"item","numeric-id":1891932,"id":"Q1891932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689074$C8CF9938-53CD-469E-BB94-F76A69CB43E0","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":"Q689074$A8963288-5BE4-47EA-8E54-E7D4BA7F6988","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41241ba90c30699784b4837d81649b8d9d0e582f","datavalue":{"value":{"entity-type":"item","numeric-id":3844053,"id":"Q3844053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689074$38E4D4C6-56AD-46F1-930B-2B35AF8AE29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6585ae6c8998260705d01ce0c05f9deef601ceb","datavalue":{"value":{"entity-type":"item","numeric-id":3347856,"id":"Q3347856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689074$FB9B995C-D610-47FA-AF9B-3727BBFC4870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0224aaa2d17c4fff2e2f18e8f666cea74c5fd5","datavalue":{"value":{"entity-type":"item","numeric-id":2532805,"id":"Q2532805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689074$890DD314-1B41-4C0F-8ACE-E282A0E99496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864b223138308b646883ace202695484a3bcee2d","datavalue":{"value":{"entity-type":"item","numeric-id":3913392,"id":"Q3913392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689074$A65B10C3-481E-4D29-B075-AF0BB26B2E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689074$0A195435-BB76-42EA-94B6-7A13774CCA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22c3b651f72d97a46a69e1d0d665c768f4d038e","datavalue":{"value":{"entity-type":"item","numeric-id":2561613,"id":"Q2561613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689074$910CAFBF-14D0-4578-9728-57C83A861DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7393fc64fa660281f40c8d7a107a08d952660f","datavalue":{"value":{"entity-type":"item","numeric-id":3290738,"id":"Q3290738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689074$657F8597-67DF-41ED-80D7-792F0C073928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fe8ad9bbac4e56be6f51b9f4bf524169d09464e","datavalue":{"value":{"entity-type":"item","numeric-id":775349,"id":"Q775349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689074$272D50CB-E67F-4C49-9DFA-F986BECB2FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005add2b5cc8b538d854b2643532453d11ea471e","datavalue":{"value":{"entity-type":"item","numeric-id":3240238,"id":"Q3240238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689074$EDEA1EFD-014E-4E96-9FAA-9F012E238648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842b56d1e792f42e670c8d166b3e57b0abea925c","datavalue":{"value":{"entity-type":"item","numeric-id":3703869,"id":"Q3703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689074$23B4CF26-1DFB-49DA-A239-1BA26FE6AEBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d28c553c986a9c4b7f822c385839567d28a0f5d1","datavalue":{"value":"https://doi.org/10.1007/bf01349560","type":"string"},"datatype":"url"},"type":"statement","id":"Q689074$A6537BBE-B6A5-47F4-ABFD-6EC89C0E9BE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca1b49550e0cd2b9640c21eeaef1727efe95a372","datavalue":{"value":"W2041574133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689074$5D844D47-2D44-44E9-AB90-B9E61992BF4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f4a5cb7bd3b7df1fb4b3d43170dd6538b4c996b","datavalue":{"value":{"entity-type":"item","numeric-id":5937819,"id":"Q5937819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76473ccddd933d6072e3f7b7f99d200fe6be1f5a","datavalue":{"value":{"amount":"+0.940797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689074$E893A28F-8700-47E1-A307-1B04205B9FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea8a5993475450e0cdb8b9a5976198361a50e55","datavalue":{"value":{"entity-type":"item","numeric-id":2869908,"id":"Q2869908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f52f597a3cac1b7fb082f8c0a721199298b952","datavalue":{"value":{"amount":"+0.9298887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689074$13C5559F-8686-4822-85E4-9A862C2C05CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592d681e7e80ddd5484a31b52ecd968633013cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1073010,"id":"Q1073010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c9135813de592335fb21ca02ec464172429cbff","datavalue":{"value":{"amount":"+0.9174508","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689074$C7442349-43D8-464A-93BC-5086013CAE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8456bc726210013413ef4514323482ebadf2f1d8","datavalue":{"value":{"entity-type":"item","numeric-id":5117589,"id":"Q5117589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3caa38aa8db692741386c8be8907357e3aa8436b","datavalue":{"value":{"amount":"+0.8680855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689074$1D592A12-4AB3-4D26-A53D-2C02FE012CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc70ce0a84f2f78529137a4e102630e245ab48c4","datavalue":{"value":{"entity-type":"item","numeric-id":1024121,"id":"Q1024121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2e6f9f1eeac4c64fe6feb48f93121019365f5e","datavalue":{"value":{"amount":"+0.86490285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689074$A7EABC00-E01A-4B61-94BB-B14DC03BEBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400353f5617700af7e80bb787a2a6dcbb0cbb746","datavalue":{"value":{"entity-type":"item","numeric-id":3688380,"id":"Q3688380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e70990b151add2cf60925c66c520d004261a8cd","datavalue":{"value":{"amount":"+0.85647386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689074$E7334364-5658-4EC7-8B5C-49944F6CDD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995f47a42869b3a8e3a8310a1e4e0d54d1e8de4e","datavalue":{"value":{"entity-type":"item","numeric-id":3709865,"id":"Q3709865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1336f1b974068b8355b5596238e7024b3446317","datavalue":{"value":{"amount":"+0.8513123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689074$54B6EBAE-C2AC-47E1-90E6-495E2A62AA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6246629b45fb4762cc7647069ef5c626f26294be","datavalue":{"value":{"entity-type":"item","numeric-id":5398297,"id":"Q5398297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72629f8645f2cf18102960d7983e07822eb52cb3","datavalue":{"value":{"amount":"+0.85031676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689074$E5E50AD9-D758-4D0F-AD65-D6F90F139D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df7f192dad680c0045399cb9ca3b85d5e2c7823","datavalue":{"value":{"entity-type":"item","numeric-id":4250364,"id":"Q4250364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c8389b879fcd8d2d752dd1ea4377bacf295bd4","datavalue":{"value":{"amount":"+0.8481983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689074$FE35C8B8-1D5A-4D27-B28C-5D8E5828B687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be9a310b31eaf5a477426701cc373a17a34144fc","datavalue":{"value":{"entity-type":"item","numeric-id":5387875,"id":"Q5387875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e667368a3cc39c19c693334d177b92d90c43b3","datavalue":{"value":{"amount":"+0.84804106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689074$B7ADEBC8-56BA-44C7-BB81-595F193E1B16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Failure of interpolation in relevant logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Failure_of_interpolation_in_relevant_logics"}}}}}