{"entities":{"Q1194110":{"pageid":1204859,"ns":120,"title":"Item:Q1194110","lastrevid":69862113,"modified":"2026-04-13T10:50:29Z","type":"item","id":"Q1194110","labels":{"en":{"language":"en","value":"Strong versus weak quantum consequence operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 63836"}},"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":"Q1194110$5A11FD9A-9900-43E0-828A-F16F0A206041","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07984a53564a9a0b6f20c28f4d10ee6657ceec57","datavalue":{"value":{"text":"Strong versus weak quantum consequence operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1194110$FB557DF0-7C92-43FC-A3FD-2B434971BD52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3330021f741d8f8653e5a51475f0c6a019387169","datavalue":{"value":"0772.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194110$08E1E456-F7B5-4D11-BA47-2B7AAEF09840","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e30d404884eac18288e698349053c2e1b8df9a52","datavalue":{"value":"10.1007/BF00370334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194110$117C0C2A-CEA1-4BA2-90DD-6E758A2ADB79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71fbe5ab4b453ba166f21b8f079a2dcc353930af","datavalue":{"value":{"entity-type":"item","numeric-id":1194109,"id":"Q1194109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194110$F8721E17-3691-4393-8846-E85FCF299330","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":"Q1194110$4056101F-D89B-4DD0-A01F-9F72116702BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1194110$1AC37AF7-464F-4B8E-AA1C-DF4ECB4072B4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6383783c5282395e4e907a7dd66aeaf7b126129e","datavalue":{"value":"The question of consequence operations determined by (classes of) ortholattices is considered. The two logics go back to \\textit{R. Goldblatt} [J. Philos. Log. 3, 19-35 (1974; Zbl 0278.02023)] and \\textit{G. Kalmbach} [Z. Math. Log. Grundlagen Math. 20, 395-406 (1974; Zbl 0373.02030)] respectively; the attributes `strong' and `weak' are due to \\textit{M. L. Dalla Chiara} [Handbook of Philosophical Logic, Vol. III, 427-469 (1985; Zbl 0603.03001)]. Here it is proved that some of the properties usually considered as desirable for a logic, force any strong orthologic to be classical; this result has no full counterparts for weak logics. The necessary preliminaries are carefully explained in the first half of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194110$B1BA861A-F60B-4CA0-B301-CBC7240606B2","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":"Q1194110$FC44CF86-1557-4980-8FEB-6EA82307792A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194110$51ACBB7B-7F25-41D2-A87F-54F827040962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194110$FDB14EF9-AF09-4909-A693-F5ADC91B775C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194110$36A554AA-3B9C-48D6-9231-5583CAA0B346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194110$54280975-4527-44B7-81D8-86F6B077843D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2166a390646373d80b9b89ce73194c26f4ec09b6","datavalue":{"value":"63836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1194110$C1B2DBB8-D88C-4596-9230-849A63042BDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194110$61111151-D58B-405B-AD40-FCBD851EE6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c70019492f66aee549ef2dc333d10d3eda7d80","datavalue":{"value":"equivalential logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194110$40D47F4F-BFB1-4D35-A8EB-39261AB65424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194110$B9F20780-10AC-451B-8D71-BDEE4740FD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a6e62e9e7f7d9e06dd4fc5694547dc4ff1ce72","datavalue":{"value":"logical matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194110$AA5BC4E6-2BEC-4DEA-AF15-648CC277BA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d348cbbcf9c40358139e430a469610586a71c4e","datavalue":{"value":"consequence operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194110$046C2D1C-D2D6-485D-9D7E-066B4FE682FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7c3745877244ac47678da16219046619d216ad","datavalue":{"value":"ortholattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1194110$7CA2B73E-008F-41D6-B881-4C9BC7B0F976","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":"Q1194110$96F8267E-1EB5-42C8-8238-BED7F0A6C2E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8426399063b747f6e6f31d06a38536b5fd60b22a","datavalue":{"value":{"entity-type":"item","numeric-id":3222894,"id":"Q3222894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194110$B647EE53-45EA-4B3A-8292-BA7E83345650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50369845a7a4e8b8d5b886982f2bd602edbce708","datavalue":{"value":{"entity-type":"item","numeric-id":1145134,"id":"Q1145134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194110$3BE47A55-F985-4057-A477-1F956297C981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e76dbdde1f6c0140c066a99f1add9b458d496b","datavalue":{"value":{"entity-type":"item","numeric-id":1159628,"id":"Q1159628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194110$7E30B0CB-D51B-481D-9EE0-3FC40D6E66E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9a623e15ff9e54bb042d69535ff85ecca1383d","datavalue":{"value":{"entity-type":"item","numeric-id":1087867,"id":"Q1087867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194110$05025FAA-7BB6-452B-8A5F-E4F6941316A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a5361233752e5f0097b04802f15336b8f8dbe6","datavalue":{"value":{"entity-type":"item","numeric-id":2562777,"id":"Q2562777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194110$5B254D7B-8C91-4C62-B873-0DEB3CFDAE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2184bd98233504b982c4d0862fc1a2622c315ca","datavalue":{"value":{"entity-type":"item","numeric-id":1394336,"id":"Q1394336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194110$0626C457-1F7C-4922-8D93-8AD9CC946290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74457de1370629884cec8b289b6d5a25cbf010d1","datavalue":{"value":{"entity-type":"item","numeric-id":4342085,"id":"Q4342085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194110$F0302458-B225-46B7-9E3C-B0783A06F761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d758b5893a0cab03c5db331c2c711eeaf6df1c8","datavalue":{"value":{"entity-type":"item","numeric-id":1096629,"id":"Q1096629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194110$A39B69DB-4A31-4473-A956-C5176A514AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0924fe5b703b43d0c6e622ab0c031e7b97409c1","datavalue":{"value":{"entity-type":"item","numeric-id":4149443,"id":"Q4149443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194110$49C14434-9300-4DF8-94B6-02E07D3763D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4293874795ac709ce4d112763a0625a4794d25","datavalue":{"value":{"entity-type":"item","numeric-id":4750696,"id":"Q4750696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194110$0AA3CB11-311C-4684-8E43-F47805FADA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa9a153abf00a9cb4ddf59c716d791180fbeb1e","datavalue":{"value":{"entity-type":"item","numeric-id":3480040,"id":"Q3480040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194110$7D344815-CB10-4E45-96C1-1AED416F3AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194110$20970630-9EE7-40B2-8E9C-A337EFF0925F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308073133a440bc56451dfd8bd89c90c2af65f65","datavalue":{"value":{"entity-type":"item","numeric-id":1229698,"id":"Q1229698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1194110$57A60DEB-DDF3-4CAF-ABF0-A99497EEAB79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b047be4a374511f7dfaae246eb50c013eb47b0","datavalue":{"value":{"entity-type":"item","numeric-id":5566506,"id":"Q5566506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b891c80efaecf143c32de67778e4b015a3a7c9","datavalue":{"value":{"amount":"+0.7980993390083313","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":"Q1194110$9E8E518C-386B-465D-878E-A9D95F28ED29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de4fefe2448f280dbc4545923bc9dd4b40eda94","datavalue":{"value":{"entity-type":"item","numeric-id":3801548,"id":"Q3801548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab458edaa525bb43afeb5f2e5650f3ae688e1b5","datavalue":{"value":{"amount":"+0.7566154599189758","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":"Q1194110$5CD8D7F2-8F03-4DB4-96AA-36EFD103BFE8","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":"ef0bcbb326205c4d1ddcffe99dab0854c824b631","datavalue":{"value":{"amount":"+0.7525638937950134","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":"Q1194110$7336A699-1181-4FC1-BA59-F12097DCB37E","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":"f2ad38991b3ac26c1d9f93c35921457cefe8f9ef","datavalue":{"value":{"amount":"+0.7496557831764221","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":"Q1194110$A790BB30-7846-4AB8-AD71-3A8683E6B43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce837ee6b8b02263a9dac499022c3762e14d911","datavalue":{"value":{"entity-type":"item","numeric-id":3480040,"id":"Q3480040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5137b815fcc23b3b03967ff82ee3e0aa71db58","datavalue":{"value":{"amount":"+0.743796706199646","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":"Q1194110$94F54959-C790-4615-8917-47904973B8BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong versus weak quantum consequence operations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_versus_weak_quantum_consequence_operations"}}}}}