{"entities":{"Q1091385":{"pageid":1102137,"ns":120,"title":"Item:Q1091385","lastrevid":67062972,"modified":"2026-04-12T14:43:38Z","type":"item","id":"Q1091385","labels":{"en":{"language":"en","value":"Independence in higher-order subclassical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4010494"}},"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":"Q1091385$714A85FC-AD81-400C-88EB-26850CE0E5D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07baa9d860f0bb6c2708916bae245bfc9fd74038","datavalue":{"value":{"text":"Independence in higher-order subclassical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1091385$3A5363EF-1D22-42A1-A5B6-D31B96152168","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2bedc1aac6d2477b560b8627b1d0342d14de396","datavalue":{"value":"0623.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091385$311F635F-FA1A-48CF-9571-6D2261D96C0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cc5427b27d5c56658e244a7658422851c49d871","datavalue":{"value":{"entity-type":"item","numeric-id":1091384,"id":"Q1091384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091385$2EE8597F-55D9-4AB8-83E7-36D52CA98970","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091385$ECD3C637-8EB4-4906-BAFC-3D4799597F54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1091385$A463ED20-6DF2-4370-9CA4-026DDF1A1C47","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8502f82913ea3cb6efbfc45cb238ab4fc3412323","datavalue":{"value":"The author uses semantic structures consisting of a partially ordered set underlying a complete Heyting lattice and a designated member of the set to establish the following independence results for higher order intuitionistic and intermediate logics: (1) the conditional and the universal quantifier are not definable; (2) any definition of negation, disjunction, conjunction or existential quantification requires both the conditional and the universal quantifier.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091385$3D832465-F30A-41A8-9B6E-ED450D1092CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091385$5B04CDE4-293B-47DE-AEC2-81F38547E272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091385$3BBB7A19-94DC-4078-B5FF-0C8BE1A5E381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091385$FA2B3089-0784-4581-B092-1CB3DE2F0B76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83eeeca09c4362653131dee53a351cc3de5bab26","datavalue":{"value":"4010494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091385$E28CAA86-1970-4B78-BE53-6F1AA8472A72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091385$C78F32D8-679A-441D-84BD-7880E0B7D2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74d8a119089893ad9bb749d35884ce683680d3ca","datavalue":{"value":"independence of connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091385$A08529DF-5943-4E64-AA65-73F3AB6F5A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091385$360E748A-C4AE-46DF-9799-004D27134A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a26ca57238d26d7db0a78e30c6a93a08073ef2d6","datavalue":{"value":"semantic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091385$4CC7F741-89AD-43E1-A370-5C5B8DB9849E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d33ce54e6634741dc2f320e6b8e3c5793a034f8","datavalue":{"value":"complete Heyting lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091385$2B964E8D-A4CB-46DA-85E3-4D69E861536C","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":"Q1091385$0BEE3275-936E-437A-98B1-E36981612B40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3faacbb404e54a593afb092524c6d6c644d0b774","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870936","type":"string"},"datatype":"url"},"type":"statement","id":"Q1091385$65D74C6B-E1EC-4186-8053-EBF158110284","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dccf0239509168aca8c570353a7ab36e2b4d507c","datavalue":{"value":"W2062945910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091385$ED5B6401-1E03-484D-BDB3-036D06B05C5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"449d7614860093522a9ba14d98563e3d2e36a951","datavalue":{"value":"10.1305/NDJFL/1093870936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091385$B64D483B-CA45-4E62-B55C-A7797495E273","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bd086a8bba885c928f4f0b20ace49b3e542cff","datavalue":{"value":{"entity-type":"item","numeric-id":3979923,"id":"Q3979923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f590a0d94fc83920dba8bda4235d2aa31627e55","datavalue":{"value":{"amount":"+0.7449804544448853","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":"Q1091385$887A339E-6126-44DA-B147-CCBCEDD6E757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be9898932e748c2fbe35f3818c0a5e7025aa540","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be2ffff2f2be63bf74ab410d9312b136b04c677","datavalue":{"value":{"amount":"+0.7229838967323303","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":"Q1091385$CA417E4C-90E6-4705-AA77-FB57CEA536A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea9003220edf3a4b8dc331eabc919f8e86f5c61","datavalue":{"value":{"entity-type":"item","numeric-id":2958527,"id":"Q2958527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf32decdd4f362bf98d431e3d8b247502cf196a","datavalue":{"value":{"amount":"+0.7228895425796509","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":"Q1091385$2302A7BC-CDF3-4A15-BB23-19F2B8EA2626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"921b37041207b10d21d4bdc720c083f6c8bbff3a","datavalue":{"value":{"entity-type":"item","numeric-id":2301324,"id":"Q2301324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29827267ca4770fd641eb8d630003352c4fd4f55","datavalue":{"value":{"amount":"+0.7219321131706238","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":"Q1091385$AB65EFAC-7B99-424A-A6C8-A0E4A4D7F62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f81cc5f4859fdf9ccbdadb8d68b3b38128a5822","datavalue":{"value":{"entity-type":"item","numeric-id":3312202,"id":"Q3312202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d63439fdd81ccd89209939b3eb2535aa0678d1","datavalue":{"value":{"amount":"+0.7210322022438049","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":"Q1091385$2BFFECE4-FF65-4F92-8E28-616D8CC0C9F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Independence in higher-order subclassical logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Independence_in_higher-order_subclassical_logic"}}}}}