{"entities":{"Q383556":{"pageid":385323,"ns":120,"title":"Item:Q383556","lastrevid":61464129,"modified":"2026-04-10T23:31:55Z","type":"item","id":"Q383556","labels":{"en":{"language":"en","value":"Weakly intuitionistic quantum logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235901"}},"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":"Q383556$7CA6F111-E884-4F17-BD7F-1AC6D3DB746E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e145b783f9843615a1e4c996758af1f73a6ebd1","datavalue":{"value":{"text":"Weakly intuitionistic quantum logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q383556$A84B0509-AA75-4D12-B0C4-7F77C4B0D8CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43a9bc02832d9ef179326875304a768134b4c90c","datavalue":{"value":"1308.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383556$C78E1551-8C5C-467D-A9F0-78704EB8FC2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ec5bb70849f24bf9839d6e894264ebc7e8c3cf","datavalue":{"value":{"entity-type":"item","numeric-id":383555,"id":"Q383555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383556$E7D25834-386E-4A28-B24D-A8F5CCAB0A58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383556$6160C1F9-E563-4479-9DDD-DAD84DE9BB43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f420f81e7abd42ff5b5b9a728cf7a1087397508","datavalue":{"value":{"time":"+2013-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q383556$2AF2C729-D10C-482F-8754-676FD06B0021","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e0e06aa3f0d01a9a28f8d59c1bc0e1e8a5ecdee","datavalue":{"value":"https://arxiv.org/abs/1009.2438","type":"string"},"datatype":"url"},"type":"statement","id":"Q383556$94B50713-BF0A-47B2-89D9-DC6FD7D70224","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"91cbcbdc1dc1ba708b4b1820110cda33fb42f9be","datavalue":{"value":"Measurement in quantum mechanics is modeled by the system \\(L(\\mathcal H)\\) of all orthogonal projections on a Hilbert space \\(\\mathcal H\\). This structure is a complete orthomodular lattice with negation \\(P \\mapsto I-P\\). It is a standard example of the theory of quantum structures. However, not all scholars are satisfied with its logical interpretations.  The author of this paper suggests a new model, however connected with Bruns and Lasker's theory replacing \\(L(\\mathcal H)\\) by the lattice of distributive ideals of \\(L(\\mathcal H)\\). The main result of the author's approach is stating a kind of weakly Heyting algebra for describing the language of quantum mechanics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q383556$2C33B74B-2C6F-4C77-B9E8-1BE6B34F5FEF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"22927c3bf27a8e7899b9f81e34ce760065ebdbf6","datavalue":{"value":{"entity-type":"item","numeric-id":191387,"id":"Q191387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383556$BDA6CB7D-8FD7-422C-A9FB-3F2452893635","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383556$7B2CB5E8-2656-4621-B857-18E8A0FBD11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383556$9D1541D6-2D23-496A-81F5-44BDBC1607B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383556$8843BB94-FB9C-43A0-BE37-3DCAE5405E45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e64bd149e5e63e448be1e843f65331e3bedc8f5","datavalue":{"value":"6235901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383556$F81D97F3-966C-4B58-96FA-84A00938D74D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q383556$6F5ABD77-A7E0-46EA-A024-3B8DC2F6B480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q383556$35FA22EA-8A0A-490B-9B83-053342FD7D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q383556$7FB9D8E4-E710-492E-8FFF-45B7C36231D5","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":"Q383556$592C0E3B-6851-4B7A-A097-4413B40F52B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f00ee7f08ecb89d37aeca0d04e0ac58fcb33722","datavalue":{"value":"W2031281328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383556$31A425F1-0FA3-4628-BAB1-4025D9742BFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1195a27bff72a62438cfcf0a55297e0334f1e97","datavalue":{"value":{"entity-type":"item","numeric-id":2645405,"id":"Q2645405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383556$90BEFF61-80BA-42C1-94D9-D589C42659B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45adb4410dcd58539bacd0ce338b4331d45d456e","datavalue":{"value":{"entity-type":"item","numeric-id":5613213,"id":"Q5613213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383556$022146A6-9F06-4208-B635-0B504374D3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35bf712e2b1b6bfb31b491dc46f544f6114af908","datavalue":{"value":{"entity-type":"item","numeric-id":4680368,"id":"Q4680368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383556$325EFD60-F469-4563-A41D-790D26A3EC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf938f31ca5605e2028bb8d87285bb270a487ee","datavalue":{"value":{"entity-type":"item","numeric-id":1604802,"id":"Q1604802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383556$5810AE43-B384-4BAB-9BEC-2D0D3408B6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"261956541c9e49931814df3590fd413ca3dad1f9","datavalue":{"value":{"entity-type":"item","numeric-id":1768730,"id":"Q1768730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383556$420F9B02-61FD-4221-A83A-32BC70AE55B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42eaec23ab470468fbc910c61c2ee338810d4f6e","datavalue":{"value":{"entity-type":"item","numeric-id":3094974,"id":"Q3094974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383556$74E83412-78A5-4429-A498-CDFF73E36275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"743493fe2dfd1232db9c7ca86afa621ba19eba78","datavalue":{"value":{"entity-type":"item","numeric-id":3866110,"id":"Q3866110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383556$4976682C-1AB2-4D2C-ADDE-A98BF05B9192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3473edfe0e31b429c0405615afe024ba69140e33","datavalue":{"value":{"entity-type":"item","numeric-id":5536167,"id":"Q5536167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383556$1FF14FBD-3A10-4548-B281-240FD783F568","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a24af4857efe7f9b7981e1c3360551cf4c670195","datavalue":{"value":"10.1007/S11225-012-9401-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383556$BC93875C-38DF-4694-9876-B23D135D8BE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356bcd505c86a80ae4fb6be267be8cedf9d76c57","datavalue":{"value":{"entity-type":"item","numeric-id":1010117,"id":"Q1010117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b10abb156e82fddc95d92addefad52c205cce0e","datavalue":{"value":{"amount":"+0.7188001275062561","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":"Q383556$762475B5-80D1-4286-B6E1-51F819AFE438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1c05a8f5d0fa8a014231084ccefb0000eaa98f","datavalue":{"value":{"entity-type":"item","numeric-id":5164733,"id":"Q5164733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50a17b1dfd490e321cc9676430948793692342e0","datavalue":{"value":{"amount":"+0.7144278287887573","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":"Q383556$C48DD0B0-A41C-4008-8542-81AAEFC5773E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe3309b8f6d04976848666b0e9aa2cdd958cceec","datavalue":{"value":{"entity-type":"item","numeric-id":5283976,"id":"Q5283976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e446a4c4d037a067d28c897fd8999670272b4c42","datavalue":{"value":{"amount":"+0.7132384181022644","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":"Q383556$132E4207-5F1C-4125-BA29-AC6D12ACF257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a0de1eb2d625987fcdaa357f6a5978831b66f2c","datavalue":{"value":{"entity-type":"item","numeric-id":792322,"id":"Q792322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e446a4c4d037a067d28c897fd8999670272b4c42","datavalue":{"value":{"amount":"+0.7132384181022644","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":"Q383556$BA2C5761-2F02-4843-A529-AA01C4559490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfcbea2f2e142a0e4c7141c0156d742898ecce63","datavalue":{"value":{"entity-type":"item","numeric-id":2506100,"id":"Q2506100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d495de66775f53bca4e994cabd23893cb680808c","datavalue":{"value":{"amount":"+0.7100294828414917","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":"Q383556$2199CD48-2F6B-4790-84B9-BA1B6A179344","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weakly intuitionistic quantum logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weakly_intuitionistic_quantum_logic"}}}}}