{"entities":{"Q1812126":{"pageid":1822868,"ns":120,"title":"Item:Q1812126","lastrevid":69195807,"modified":"2026-04-13T05:24:33Z","type":"item","id":"Q1812126","labels":{"en":{"language":"en","value":"Quantum computational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1930266"}},"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":"Q1812126$8CF568AB-7F8D-41DA-B582-ED46241A3B5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61a0efec962be6e43d93bc5ff00f39152dab38e6","datavalue":{"value":{"text":"Quantum computational logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1812126$A1AB8FD3-524E-472E-818D-107961347AEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40d6b766eab71eb9eb4cd1ca53d13f1c115f9075","datavalue":{"value":"1036.81003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812126$DB9CE376-3DC9-4C8A-B8B5-DFD99D77C851","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b2c3d8293911bd6b01f42c77a4938107d765302","datavalue":{"value":"10.1023/A:1023327005274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812126$2A5EA733-D587-4C30-A078-3265F9FF845A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82a3be88549eb59571e2dd1afecf617032b59ace","datavalue":{"value":{"entity-type":"item","numeric-id":168494,"id":"Q168494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812126$63F7151A-F6C3-45F6-B56B-EBF5184F9ACD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"037912fcd154cc3cb9ccc112c8bdc2657e26745b","datavalue":{"value":{"time":"+2003-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1812126$54AFC6BC-47C5-4DD0-BDB1-ED5BD26AD07A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ce1e2318863accd0c9f4968da2f6b7a0233b718a","datavalue":{"value":"In [\\textit{G. Cattaneo, M. Dalla Chiara, R. Giuntini} and \\textit{R. Leporini}, An unsharp logic from quantum computation. Int. J. Theor. Phys. (in press)], the authors developed a new form of quantum logic (called \\textit{quantum computational logic}) based on the theory of quantum computation. The present paper generalizes this work and expresses the semantics in terms of pure states on a commutative sequential effect algebra. This is an effect algebra \\((E,0,1,\\oplus)\\) with a commutative associative operation \\(\\circ\\) such that \\(1\\) is the neutral element of \\(\\circ\\) and \\(b\\perp c\\) implies \\(a\\circ(b\\oplus c)=(a\\circ b)\\oplus(a\\circ c)\\). The author proves that the quantum computational logic is isomorphic to the standard commutative sequential effect algebra, i.e., to the real unit interval \\([0,1]\\), where \\(\\circ\\) is the product and \\(a\\oplus b=a+b\\) whenever \\(a+b\\leq1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812126$C8B7B6DA-3A4C-4518-AC02-A948312B1047","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":"Q1812126$F58639FE-1FB6-4875-8890-FE6CE9408DC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812126$F4F76334-AE28-484B-AFB6-28D8E62367EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812126$A2BCEBAE-621E-4728-8014-913728C063A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812126$23AF895A-9D7E-47E8-9763-D417FCE72B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812126$30F18F47-BA74-4E23-B902-33C044A6CE4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3b057169a5aef00029754509b693520aff6a882","datavalue":{"value":"1930266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812126$2C2E5C5C-AFE5-4BBD-BF9F-A1E6CE4E5426","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd29b36a3a1f528adaf55442741f0c733d2cd38a","datavalue":{"value":"effect algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812126$577206D2-0FF1-41F2-8022-BB8FE71466BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1c3a27d765a8770fe6681a92c562b9d0b09add5","datavalue":{"value":"sequential product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812126$C5DC4561-20A4-4123-8EEE-2F8538BA4D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0a85fc687d5a2030ca309942325a5872eec67b","datavalue":{"value":"quantum computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812126$D0207E91-F38C-404D-9C41-151D5DCBBB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812126$CBEDB4E8-0C26-455A-B1E6-6A0593FDF32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e4ce7ac77bc1e73bc3136c3352d49df26f7626a","datavalue":{"value":"quantum gates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812126$63832C57-BD81-45AA-BB70-EB451C95D11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c5f585079e3d7c3ae2f79c8e89a52b221b8118","datavalue":{"value":"fuzzy set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812126$E8B983B2-8946-458D-848C-F5C252938872","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f256d313fb0a6984a8869d73015aba0265ebbcd","datavalue":{"value":{"entity-type":"item","numeric-id":657749,"id":"Q657749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812126$903A2326-2659-401D-9650-277108006EE1","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":"Q1812126$16A8D965-C205-454E-A0FB-75E9D9B0FAEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c16d8ec7b8b55414aa8cbfe080e78326a2263218","datavalue":{"value":{"entity-type":"item","numeric-id":5710790,"id":"Q5710790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e9b1dc3cf625ab85311d048477e913bf96cfb6","datavalue":{"value":{"amount":"+0.8151894211769104","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":"Q1812126$3C8AAD4D-49D7-42C0-88BC-82A7271D22BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b79eab0dbc282a86f59517c3e6acdf775276e1","datavalue":{"value":{"entity-type":"item","numeric-id":4463934,"id":"Q4463934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"258d8eefe73c54b38a882b0768138a77ff268ba8","datavalue":{"value":{"amount":"+0.806143581867218","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":"Q1812126$43504F53-C692-437E-8E03-CED8EDD92D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024c645e328cc7aaefe72e9fe810a4323680cb88","datavalue":{"value":{"entity-type":"item","numeric-id":616819,"id":"Q616819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f165e57f1e604196f1f244b25dc9a3e55749e499","datavalue":{"value":{"amount":"+0.7975783348083496","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":"Q1812126$07C171AB-800F-417A-94BB-A2B2544DFF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e4caed0e0407f601f63a8050789acc5a9887891","datavalue":{"value":{"entity-type":"item","numeric-id":1768735,"id":"Q1768735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2d99d012d0ce93c2418d9426ed52c67cf511cd","datavalue":{"value":{"amount":"+0.7931685447692871","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":"Q1812126$B2F95485-02A2-47E8-A9E1-4B4E1D424256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"781d46244d1f506e7430f03fd5fd6c64bdd11eb7","datavalue":{"value":{"entity-type":"item","numeric-id":630175,"id":"Q630175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2ffb35df54dc0239c9dff3e8b338c065778e62","datavalue":{"value":{"amount":"+0.7900822162628174","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":"Q1812126$02E9A5D5-A799-4AE7-9DEB-14DF5AB7C180","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantum computational logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantum_computational_logic"}}}}}