{"entities":{"Q1077401":{"pageid":1088153,"ns":120,"title":"Item:Q1077401","lastrevid":67054770,"modified":"2026-04-12T14:37:36Z","type":"item","id":"Q1077401","labels":{"en":{"language":"en","value":"Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3957056"}},"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":"Q1077401$5C63576C-91DC-4144-AFFA-123804BCD8F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf2a9b03352e3a1431884911e44a074bd9e39f99","datavalue":{"value":{"text":"Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077401$10D8233B-774B-48B7-B1FC-F9B9520BDB8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7f7c869d7f5be8b2d324053e20e72629a8450e4","datavalue":{"value":"0595.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077401$1B076EC6-BF3A-460C-8B29-B24989C6FF9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"216dfdead5265e160525cf0102e613569989bfb8","datavalue":{"value":"10.1007/BF01982206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077401$34088AD3-CEDA-4B74-9A6C-3FC1877FD2E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077401$3F9EA56B-598E-4A35-BFB8-ADA0FC2149E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1077401$188FB86E-0C49-4554-B497-0D7C60711C4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccac0ad23d4f16e3c1718c2192de1be277d76c67","datavalue":{"value":"https://eudml.org/doc/187199","type":"string"},"datatype":"url"},"type":"statement","id":"Q1077401$4B916D18-0AC9-44CB-A792-66160366DA89","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e3f23cfc1ecc681bcc5f66af565f2db3651de65e","datavalue":{"value":"This is one in a series of papers by the author on interpolation theorems in non-classical propositional logics. It is proved, by constructing a counterexample, that for any normal modal logic L such that S4.3\\(\\subseteq L\\subseteq S4.3+Grz\\), L does not have the weakened interpolation property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077401$DE1E454A-59DE-4F46-829B-B884D5EFE6FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077401$B99729AB-E1D8-4E6A-B0C3-7A7C730B8182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077401$15650373-88EB-4BD0-8AA5-9ADDB2127B2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2eb3e765503b0474e1e8d3631ca72e2d60bd6a6c","datavalue":{"value":"3957056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077401$A175D468-ADD4-4F5A-84AF-E9BE04686E9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b6d81377bb9fe493e0b31a63d9717069578b5b3","datavalue":{"value":"normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077401$E1F4ED70-58BA-4829-A9D3-114614D638F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077401$7FD4AEE1-D550-4366-B2B5-C0606067ABE0","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":"Q1077401$7B48CB6D-D771-4E8F-857A-DB0843E6A30A","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":"Q1077401$D8A1C7BA-A92F-460A-A63B-C7049D4D810E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"131bf4f50d9e047552a1b8d23a5314c1af075964","datavalue":{"value":{"entity-type":"item","numeric-id":3875897,"id":"Q3875897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077401$FADCFF8C-7A93-413D-A004-B3B2ABB8128C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077401$857036F7-1E6E-439A-A6E9-B261568C6780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906c7d4e316ebb9ded2b2e442f04dfc90302b744","datavalue":{"value":{"entity-type":"item","numeric-id":4175531,"id":"Q4175531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077401$D40AC17D-281F-49FE-94C0-0D4440616026","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6749999ffe8d23ae3ab977ab63170d4abe58e769","datavalue":{"value":{"entity-type":"item","numeric-id":3784045,"id":"Q3784045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ddaf4b2696fcf4aed78c8af516bf2a1d422fbe","datavalue":{"value":{"amount":"+0.8983622","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":"Q1077401$CBCFF536-E17A-410A-8B29-F986619B413D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d767dec74c6b4e94fdf419d7da11f540877c3de","datavalue":{"value":{"entity-type":"item","numeric-id":920973,"id":"Q920973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d9c1ecea21449d136cddbf62fa5980c5683437","datavalue":{"value":{"amount":"+0.89555717","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":"Q1077401$8AA8CC43-6E5E-4492-836D-DE967A58140F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5484f7ef69650689d64afb9a8c6279529043c975","datavalue":{"value":{"entity-type":"item","numeric-id":4210626,"id":"Q4210626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2db9cb52d093a506e16949cc541353dbe681b2","datavalue":{"value":{"amount":"+0.89001775","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":"Q1077401$E42E0545-F880-446D-A184-4D717B486BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a324843149713fa13b2c7edd2429fc59a0b240a","datavalue":{"value":{"entity-type":"item","numeric-id":1913298,"id":"Q1913298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83eedd19b75de4773edd2f281590812e8fa74977","datavalue":{"value":{"amount":"+0.88535255","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":"Q1077401$FDD04005-4722-4C67-9534-CE29E7083772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47bec7424a5abac0ca736c8300da50481dcbc4af","datavalue":{"value":{"entity-type":"item","numeric-id":5184887,"id":"Q5184887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf94605344bc0ab3e647f203160a0735a9f6d17","datavalue":{"value":{"amount":"+0.8759169","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":"Q1077401$1ED37655-AD6D-4EB1-BA9F-B15AE5D82440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a06318973ba3d2069bac8a6a7b886f822790f1","datavalue":{"value":{"entity-type":"item","numeric-id":2148800,"id":"Q2148800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23ad26140844029451e4a41710225ea419d6f659","datavalue":{"value":{"amount":"+0.87332743","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":"Q1077401$88AC9DD4-BC38-4592-9D32-8F478201A4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ebfcf7580c4700354d82d02e7e6c948b8f5a34","datavalue":{"value":{"entity-type":"item","numeric-id":1189894,"id":"Q1189894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97aac3d8cd20db739660551f541e87b67c22c264","datavalue":{"value":{"amount":"+0.8727014","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":"Q1077401$81B9D724-D4A9-4B0A-9190-A2A3D2315B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ec16ac6b4981b731bf4d84222ce5354179c1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4236058,"id":"Q4236058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d68cea536230d286169a34756b1b2f17d9a169","datavalue":{"value":{"amount":"+0.87246096","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":"Q1077401$5FB1C4D8-B0C1-4C1E-8E9B-C33606C6B6D7","rank":"normal"},{"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":"d265604436005f0acc61bd86a50d27fac93abb05","datavalue":{"value":{"amount":"+0.87233895","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":"Q1077401$E879092D-A243-4DB9-A0CB-82102D951735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4779fd604c40d45eef5273e45051a61eb67b989","datavalue":{"value":{"entity-type":"item","numeric-id":4501162,"id":"Q4501162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fcae1359f241c7250091484b3d6ccc16fa983cb","datavalue":{"value":{"amount":"+0.87221843","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":"Q1077401$7C429279-6165-4BA4-865E-A753D1C067F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Absence_of_the_interpolation_property_in_the_consistent_normal_modal_extensions_of_the_Dummett_logic"}}}}}