{"entities":{"Q361857":{"pageid":363624,"ns":120,"title":"Item:Q361857","lastrevid":61285974,"modified":"2026-04-10T22:22:52Z","type":"item","id":"Q361857","labels":{"en":{"language":"en","value":"Systems of quantum logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199435"}},"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":"Q361857$530CB802-75F1-4D1F-8DF4-B48194697D98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f36f51d9b15206e5498280fce6827d3a987f2027","datavalue":{"value":{"text":"Systems of quantum logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q361857$A05BDC02-6290-40EA-888F-A6D0E09C50A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ece54e66b98515bbe896c04b75878303261e510","datavalue":{"value":"1298.03116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361857$D0AD745F-DED7-4007-9300-9F16E6D487D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a444d6768b4d4bd87eadc8d3ed91106bd20b3d17","datavalue":{"value":{"entity-type":"item","numeric-id":361854,"id":"Q361854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361857$F7A44EF8-BF71-4B2D-AE63-313EA5789E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d5b82f7bb4eea60b14489644073aaf9178412c6","datavalue":{"value":{"entity-type":"item","numeric-id":361855,"id":"Q361855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361857$52AA4F97-2D4A-441E-860F-8465E9397D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7a9eae13b4a0d869e99b6675d8869074728fc09","datavalue":{"value":{"entity-type":"item","numeric-id":361856,"id":"Q361856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361857$AB56F085-D224-4499-98FA-F9FD3946D69F","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":"Q361857$FCD7D274-0016-42B9-9459-7D12EEC47309","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108ede7b32300394ff9a1f5dd35fef9c8cf60c54","datavalue":{"value":{"time":"+2013-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q361857$76660756-E055-43CB-BA72-A0EA1DB0CE6C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0cdbb273d5c2612555a47625f6cb4bbc7db4df6a","datavalue":{"value":"The paper follows the study of lattice-valued logic LL and quantum logic QL, as introduced in [\\textit{S. Titani}, Arch. Math. Logic 38, No. 6, 395--421 (1999; Zbl 0936.03048); in: Handbook of quantum logic and quantum structures. Quantum logic. Amsterdam: Elsevier/North-Holland. 661--702 (2009; Zbl 1273.03151)]. This approach is based on the \\textit{basic implication} \\(a\\to b=1\\) iff \\(a\\leq b\\), \\(0\\) otherwise. (This operation cannot be derived from the basic ortholattice operations.) As an alternative, the present paper defines a logic equivalent to QL, but using a lattice implication~\\(*\\) (in particular, the \\textit{Sasaki implication} \\(a*b=a'\\lor(a\\land b)\\)) and the modal operator \\(\\square a=1\\) iff \\(a=1\\), \\(0\\) otherwise. The correspondence to the previous approach is given by \\(a\\to b=\\square(a*b)\\), \\(\\square a=((a\\to a)\\to a)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q361857$7BAE8838-2230-4349-8D99-BE082905DF59","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":"Q361857$3561D0D0-18D4-4C7C-8E4E-7C8E2A3823C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361857$2CAF9CD6-9860-42D5-BC8F-8BBDF6EFB670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361857$4836EB9D-7197-4378-9E7D-C9C7AF5F4B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361857$0FE5BF1F-3434-4F73-9411-24AD9FEAF468","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5ad630a7b2cfef239bbec5ad1fa321967706ccd","datavalue":{"value":"6199435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361857$F7E066AA-43E9-4268-BDC4-66EE1D0D1681","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q361857$02BE1136-4380-45C2-A0B0-38575F7B2587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"146e2c2b99ff2eedbd0e20d81d70326f625f87ef","datavalue":{"value":"ortholattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q361857$2FEF2DB6-337B-4DCF-A19B-D35D2B1056EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4efd4e7e80fa16bf507d1a47385e8834ee9d245c","datavalue":{"value":"orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q361857$B4F2D1F7-1F4C-470E-A7EF-D4B3C3C10912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q361857$68932C7E-5FF2-4640-940D-7C5BFBE9E352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93bcd40cecb832d3577a8c84a0d4d42fafae2708","datavalue":{"value":"modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q361857$1DEA78F4-133A-4AD3-A119-506EEC7763FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b8489054765792b19aca3eddb9a91d7cd8ac021","datavalue":{"value":"Sasaki arrow","type":"string"},"datatype":"string"},"type":"statement","id":"Q361857$57D96F56-85F5-4A45-B604-DD6135443258","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":"Q361857$033AE4AE-B869-4660-88B7-1ED0C2A5A7B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1ac238c94d22a9778b0f0c54414b06d7c80a22a","datavalue":{"value":"https://doi.org/10.1007/s11225-011-9364-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q361857$957838D1-77FD-4799-8E78-60064011C02F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d5b6ddfba9e1972c4d8c76079531b0a601910c6","datavalue":{"value":"W2002188593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361857$60840DEA-AE8C-4A08-92FD-CDCD5E4C412F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f99f0da2cdfa975b7c4fb87c5284e9477b25300","datavalue":{"value":{"entity-type":"item","numeric-id":4100556,"id":"Q4100556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361857$54D29899-08C1-4C53-8B92-6080860530EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb10df7fd10c33cabec7cef279c46c56040ebe17","datavalue":{"value":{"entity-type":"item","numeric-id":1407553,"id":"Q1407553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361857$A5C56758-2297-4BD9-910B-9B9A0335C93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0d374a436b3eff4a0fc4a6b0d2d906601e7f54","datavalue":{"value":{"entity-type":"item","numeric-id":4175544,"id":"Q4175544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361857$90490981-866A-4796-AD04-3A9D9C2841BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072f68e64dc0b41e2dc78af32ade621652bf6f20","datavalue":{"value":{"entity-type":"item","numeric-id":1306800,"id":"Q1306800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361857$45AA349C-1595-4818-BDF2-0B23C6EC6387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89345ad8f3bc4286af7c19e48906ac4c3673c54","datavalue":{"value":{"entity-type":"item","numeric-id":2851808,"id":"Q2851808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361857$5BBF3B29-1A73-4E43-98D0-131EC7D77E3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41087eb88f65566cd3d308fa2ba8b9052edc2495","datavalue":{"value":"10.1007/S11225-011-9364-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361857$A6321682-4C62-48E3-B2C5-D244BB7418AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ea2680c835180e1ab96e6c0c76d02804370e9bd","datavalue":{"value":{"entity-type":"item","numeric-id":2979435,"id":"Q2979435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1de159ce9283a3b3a88ac4fdc9925344249b18","datavalue":{"value":{"amount":"+0.7820044755935669","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":"Q361857$1CEE511B-0310-4180-A4F4-CEF3540C5438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902b69e18de32598dd901a77d7c6a1d41adb9ab2","datavalue":{"value":{"entity-type":"item","numeric-id":472714,"id":"Q472714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbba2898eee084c312111f298b9cb421f91da96e","datavalue":{"value":{"amount":"+0.7789457440376282","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":"Q361857$427DD280-8BD4-4FB7-9126-6D9BC0178CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91cdf7832a223772b20424def0016d7052d893cf","datavalue":{"value":{"entity-type":"item","numeric-id":4703140,"id":"Q4703140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0864896884fd743e60f7d251afb3f3b3f0d63d12","datavalue":{"value":{"amount":"+0.7746014595031738","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":"Q361857$AE748F3C-CCFA-4AD2-8A24-6B082A8CC9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"341baaf42f86b83dfefecdcb02f6047202abd0e5","datavalue":{"value":{"entity-type":"item","numeric-id":1330093,"id":"Q1330093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0864896884fd743e60f7d251afb3f3b3f0d63d12","datavalue":{"value":{"amount":"+0.7746014595031738","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":"Q361857$0D9B25EC-2703-4D26-BD8F-3578316D92D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b892503c9b83f1a0f09bbb7455a2c8dfb8886c1","datavalue":{"value":{"entity-type":"item","numeric-id":2372526,"id":"Q2372526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd639e3d1012173a1fafe041db53ec922f19a3d","datavalue":{"value":{"amount":"+0.7691249251365662","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":"Q361857$2AA52609-6527-40F2-9BA8-E0A0419F1BCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Systems of quantum logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Systems_of_quantum_logic"}}}}}