{"entities":{"Q676184":{"pageid":678033,"ns":120,"title":"Item:Q676184","lastrevid":63501201,"modified":"2026-04-11T13:35:05Z","type":"item","id":"Q676184","labels":{"en":{"language":"en","value":"A double deduction system for quantum logic based on natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 992038"}},"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":"Q676184$56668A68-ED5D-472C-8B90-0E6EBB830C57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0db29e11689093e24e57debdaeaa888677b3a7a","datavalue":{"value":{"text":"A double deduction system for quantum logic based on natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q676184$2C4ACD19-4157-4522-B407-571A59994D88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd9a4c008d5b720aaf3cc6bf4a5158f6d22852b4","datavalue":{"value":"0868.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676184$B24F1104-C771-4237-8F27-ADFFEBA77298","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e8de04841b54f569d2fd16a4bec430dad044b8c","datavalue":{"value":"10.1023/A:1017941704456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676184$0883CB31-6EB5-48C4-8033-99B72031A5EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43c4d4997f55bba326b467918c353a1d48267bd7","datavalue":{"value":{"entity-type":"item","numeric-id":676183,"id":"Q676183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676184$2F2C1B02-EA4D-4F25-8C7E-8BE0FA6E768C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676184$5322D253-5EB9-4531-9C07-04C8F661C2C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b34f93578f34bf813eb265da2a0d58fb3d8dd5ea","datavalue":{"value":{"time":"+1997-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q676184$A553A21A-D557-46F8-8C0D-A33D49325F68","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a1636d1c248206ea36643f5d05483d3f7d1593e","datavalue":{"value":"The projection operation \\(\\circ\\) on an orthomodular lattice \\(L\\) is defined by \\(b \\circ a = b \\land (\\neg b \\lor a)\\). Elements \\(a\\) and \\(b\\) of \\(L\\) are said to be compatible if the mutually equivalent conditions \\(a \\circ b = b \\circ a\\), \\(a \\circ b = a \\land b\\) and \\(a \\circ b \\leq b\\) are fulfilled. The author presents a system of natural deduction, \\textbf{QND-Prop}, for propositional quantum logic that includes rules based on the compatibility relation; it reduces to a classical system if all propositions are assumed to be mutually compatible. On the other hand, it seems that presence of this relation makes any cut elimination procedure for \\textbf{QND-Prop} impossible. The system is shown to be both sound and complete w.r.t. the natural algebraic semantics -- the class of orthomodular lattices endowed with the compatibility relation. Some undesirable features of the logic proposed by \\textit{P. Gibbins} [Logique Anal., Nouv. S\u00e9r. 28, 353-362 (1985; Zbl 0589.03039)] are eliminated in \\textbf{QND-Prop}. The system is used to prove the following metatheorem: If \\( \\varphi[p_1,\\ldots,p_n] \\vdash \\psi[p_1,\\ldots,p_n] \\) in classical logic, and if \\(a_1, \\ldots, a_n\\) are mutually compatible propositions of quantum logic, then \\( \\varphi[a_1,\\ldots,a_n] \\vdash \\psi[a_1,\\ldots,a_n] \\) in quantum logic. Semantically, compatible elements of an orthomodular lattice generate a Boolean subalgebra. The author claims that it is more difficult to state, and prove, this result in other systems of quantum logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q676184$85F6C419-2285-436A-A841-854B28679ED9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676184$ABBED99D-0EEB-41CB-AC28-3ED6BFD3098B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676184$625F231D-7CF2-483B-B73D-F2E6C9F9BBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676184$BCEE62E6-10FC-43C6-8ED8-73BE6B3C0368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676184$D26AA07A-6443-474B-BBFC-7292110F7B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676184$34BD6F6F-6D4E-4BE3-9808-3B4075C6C09F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2b29676932d1b3b7651e5b8a5c73f096a41b42d","datavalue":{"value":"992038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676184$79DE6279-9C58-4D4D-8D2E-F8248BD0715C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1b033af5f654964d3cad77234b32d7ff64bfb81","datavalue":{"value":"projection operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q676184$09CE1D5C-4ED7-4AA2-814E-125D3313B192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4efd4e7e80fa16bf507d1a47385e8834ee9d245c","datavalue":{"value":"orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q676184$24EC50D4-E955-4FE5-AA75-EA2460C17FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q676184$384A5370-F8AA-4B2C-B8FE-ACC91160F5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9867fc0e87112a5c5d261456b22f73cb949f2a01","datavalue":{"value":"propositional quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q676184$C7D97FCB-4D81-49BF-B5FF-1C03F5830C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c81bcb66af213e97074519e81efa8116b63081a","datavalue":{"value":"compatibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q676184$B8768335-0B32-42BE-96F9-47776C50F780","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":"Q676184$946F0320-0170-464F-91E0-41A0CB2D0BFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ea96e0eef7ec43602077899dd74e624fab0591","datavalue":{"value":{"entity-type":"item","numeric-id":3666849,"id":"Q3666849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676184$04F52775-2F2F-430F-A8A5-B54A9DBE69C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d70cd54379f2ae0f5798384aaa958372602a7b03","datavalue":{"value":{"entity-type":"item","numeric-id":3717046,"id":"Q3717046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676184$03C65AE0-D7F3-4207-A003-056EB5582A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676184$A536F318-23B9-478A-BC66-EB5A94684960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf178a24382e999f4d53ad9f3171e61e18cf494","datavalue":{"value":{"entity-type":"item","numeric-id":5516132,"id":"Q5516132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q676184$9282DEED-7596-4AAF-ADD2-171FC333DE7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a7b86e1b4806e770a51e7bad13ba61e59475ef8","datavalue":{"value":"https://doi.org/10.1023/a:1017941704456","type":"string"},"datatype":"url"},"type":"statement","id":"Q676184$1E9B4FBC-6522-4A81-B4DC-C468105131EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"389fc6f5c018b88e8192464c8b14f37c35cfbad8","datavalue":{"value":"W2026959545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q676184$4D10EB61-8C61-4703-AAB9-98787916DFBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07c5fc7529da8824d592e8144b0d4d37d2ef0e35","datavalue":{"value":{"entity-type":"item","numeric-id":3717046,"id":"Q3717046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d001263bc09d035cb12c97862bc63d6b2526739a","datavalue":{"value":{"amount":"+0.8818001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676184$3FAD2C04-FEE8-4E80-A27D-11B95433903E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f02bf9dc9f7ceb91cefddab86b53025713040b63","datavalue":{"value":{"entity-type":"item","numeric-id":504691,"id":"Q504691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9525a6ccb5c2cb45640ff33b4e8623797acd74ad","datavalue":{"value":{"amount":"+0.84675825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676184$EEBB506F-9163-4E34-9F66-909F7D02EAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb10c7f65479bc83ba7408912f784fbf9debfb9","datavalue":{"value":{"entity-type":"item","numeric-id":4549874,"id":"Q4549874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a3a1abe997d30cbd58c8f0179e440808add9dd","datavalue":{"value":{"amount":"+0.8309844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676184$F9BCC913-F191-40F8-B54A-724389393550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a076c5706bc5ded70b1bc6f302e809d8bcd717","datavalue":{"value":{"entity-type":"item","numeric-id":1325671,"id":"Q1325671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"accb04681844fef2b2e0dffa7e28f226f21dee77","datavalue":{"value":{"amount":"+0.83010936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676184$2797E926-0614-43BD-ADF4-05C5F82FD3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"120ae823d9fd18955867ef4b39b3085ca929f2e3","datavalue":{"value":{"entity-type":"item","numeric-id":3718714,"id":"Q3718714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9dbd77b9856518ab6e8c1a7ac7845f7ecc5c8e","datavalue":{"value":{"amount":"+0.829138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676184$AC5A0271-9A5C-40AB-92D6-0FD7457131FE","rank":"normal"},{"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":"8f74119f8b010f190451f7f4c50fae56fe0f3265","datavalue":{"value":{"amount":"+0.8206499","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676184$5EF4EA16-91FE-4E7D-9A6A-BAFD26514AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f011f38e4549ed4516317723aa04ed8d40f968","datavalue":{"value":{"entity-type":"item","numeric-id":1075324,"id":"Q1075324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f643b7f7090fc7b1e3578cc8f10ad97a142b3cea","datavalue":{"value":{"amount":"+0.81677216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676184$D1856EC3-7278-4B06-8D8A-92475E71BB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"765151c0294a69ff6716675c0a49755112c09635","datavalue":{"value":{"entity-type":"item","numeric-id":4887979,"id":"Q4887979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7bd63ecddb92a79a35fd30adf6300d4b53ebc9b","datavalue":{"value":{"amount":"+0.81436205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676184$70CAE65F-7555-44FB-8687-D28F71B3EDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25c81c85c5dcac3b6b6fcaec7258afa0ccaebfe","datavalue":{"value":{"entity-type":"item","numeric-id":1096629,"id":"Q1096629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5ab661ac2ab5391dafb932c275ce040fabdb55","datavalue":{"value":{"amount":"+0.8135889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676184$BCD4B778-B568-4E01-872A-37FE5E103275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f1d77703e4c065816b985b6e749ce2970bbb451","datavalue":{"value":{"entity-type":"item","numeric-id":1325670,"id":"Q1325670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c050efc85ae2b287d6dcb84a398f158cf74b5eb","datavalue":{"value":{"amount":"+0.8093898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q676184$6E747B45-C312-4826-999F-5DC5F4FCFE09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A double deduction system for quantum logic based on natural deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_double_deduction_system_for_quantum_logic_based_on_natural_deduction"}}}}}