{"entities":{"Q1611250":{"pageid":1621990,"ns":120,"title":"Item:Q1611250","lastrevid":72333906,"modified":"2026-04-14T04:11:57Z","type":"item","id":"Q1611250","labels":{"en":{"language":"en","value":"Disjunctive quantum logic in dynamic perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1785608"}},"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":"Q1611250$2F1DDAD3-EEBC-4C60-AF40-AEBBC3CDEFA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b3887cf6599bcc70aa794ba4d227f6e4da2c676","datavalue":{"value":{"text":"Disjunctive quantum logic in dynamic perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1611250$59A957FB-FC0F-4069-9DBE-82EC7006289E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03170de31dd4c3b5814b15fb43fd58fbde4be84b","datavalue":{"value":"1005.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611250$45646E76-DA67-445B-92A5-610DC8F80896","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6153dd61c1b408bf3d48c0689d0df4b81b0c984","datavalue":{"value":"10.1023/A:1016335024252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611250$47D71278-E351-477A-B2CC-4D96B66E8939","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3abe6f65ea2ec269e3345c54c01a3dd4578c0db5","datavalue":{"value":{"entity-type":"item","numeric-id":276465,"id":"Q276465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611250$7CBB564C-8E61-4071-B0E7-3C0590B52410","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":"Q1611250$7259FA01-9B55-4EF0-9BD7-10132F862FAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c29b947d701d478aa12d107bbc6ea14baaef48c","datavalue":{"value":{"time":"+2002-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1611250$F16E65FE-C680-45C7-B441-F758FFBAA702","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f4b38b7be1e8a7978bb4e7d959a0fe0924ce948","datavalue":{"value":"https://arxiv.org/abs/math/0011209","type":"string"},"datatype":"url"},"type":"statement","id":"Q1611250$F1FB7FB6-73B5-4223-B604-BA93467CAA0C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d453b7fbd218961c30c3d88c7bfb6f6ce5201a92","datavalue":{"value":"In ``Quantum logic in intuitionistic perspective'' [Stud. Log. 70, 411-440 (2002; Zbl 0999.03058)], the author proposed the intuitionistic or disjunctive representation of quantum logic. The property lattice of a physical system is represented as a complete Heyting algebra of logical propositions on these properties, equipped with an additional operation, the operational resolution. It identifies the properties within the logic of propositions. This representation has an important application ``towards dynamic quantum logic'', namely in describing the temporal indeterministic propagation of actual properties of physical systems. The paper discusses spin-off and thus provides an additional motivation to ``Quantum logic in intuitionistic perspective''. The author derives a quantaloidal semantics for dynamic disjunctive quantum logic and illustrates it for the particular case of a perfect (quantum) measurement.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611250$89009CC9-9CF0-469D-87C5-EB34A3BA1F81","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c1771e005411da055f2f077fba1fbaee60629118","datavalue":{"value":{"entity-type":"item","numeric-id":170594,"id":"Q170594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611250$D6998898-D920-4B9B-BD62-11E4C3BF2EB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611250$60F1D10D-66E7-4964-A38A-B4E93561B7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611250$662BA907-16DC-4EC9-9B94-671DE90EFD5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8805fefc7f2384ae8f84f7e09d7b1e14c49c0f23","datavalue":{"value":"1785608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611250$68CC44D5-D78F-4A55-B1F8-C3EE87CB526C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611250$2E0B9076-66DD-47E6-8D81-19C955596D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611250$B769709A-3B5E-438F-A561-90E76DCDB11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611250$BAFC7E25-8C3A-4940-BFBF-132A55480A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26ef0e051a183582f45aad015ae1a0fd655ad207","datavalue":{"value":"property lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611250$D830A88F-1BFB-41F2-8DAC-79B686DF7E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31cd5e35e6f29a393500d47058f5a61d069bfb7e","datavalue":{"value":"operational resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611250$755663C7-A724-452D-B54E-D5D40F52BDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21ea5df222274f470106847b72591ecfc0d0f097","datavalue":{"value":"quantaloid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611250$46876773-F79E-4A78-86CB-B5278DD00382","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":"Q1611250$A79F0D35-3AB9-4C92-BFA1-D4F3C5057D36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"638226fd40594d302aa56682dccdb4296f2c4de4","datavalue":{"value":"W1834061145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611250$C7C935B3-7EF7-4800-BF06-EEFFCD7C372A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c2d7d35b829bae22f089f9df58844b5b35b253","datavalue":{"value":{"entity-type":"item","numeric-id":383006,"id":"Q383006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9be5f3e1430075b68e87664233e311092680235","datavalue":{"value":{"amount":"+0.7867432236671448","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":"Q1611250$F3F32603-330F-488F-8DFE-2EA635DABC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"753d098d7d1db2a2779b7b4739bba47ba3810ca0","datavalue":{"value":{"entity-type":"item","numeric-id":542128,"id":"Q542128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ec288344b2627ea62d3237bbc640745a1f34122","datavalue":{"value":{"amount":"+0.7831849455833435","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":"Q1611250$0929CD26-45C1-444D-BAD7-08A8E7D99953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364c23bef562af4ae82c66e82eb26482697a9593","datavalue":{"value":{"entity-type":"item","numeric-id":3543575,"id":"Q3543575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed16c2c1bc77cde1536248c2c7226fe5c4224c2","datavalue":{"value":{"amount":"+0.7765520811080933","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":"Q1611250$DD9D29CC-FC3F-4DB6-A411-D17BC9664F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2d9e50efa0bfadb50d957b0bb8469ee628ee0c","datavalue":{"value":{"entity-type":"item","numeric-id":1604802,"id":"Q1604802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ca7f7907406ebf1c78268ebb288479bf865e01","datavalue":{"value":{"amount":"+0.7747171521186829","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":"Q1611250$037569A5-8366-40FB-A2C9-58B0FE59926B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb9dbbb461c08532e4ace659150f6735f8a997a","datavalue":{"value":{"entity-type":"item","numeric-id":2851835,"id":"Q2851835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ca7f7907406ebf1c78268ebb288479bf865e01","datavalue":{"value":{"amount":"+0.7747171521186829","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":"Q1611250$0D0D9676-BDF4-4405-BC15-DD8E74CBEBB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Disjunctive quantum logic in dynamic perspective","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Disjunctive_quantum_logic_in_dynamic_perspective"}}}}}