{"entities":{"Q1061118":{"pageid":1071870,"ns":120,"title":"Item:Q1061118","lastrevid":69539082,"modified":"2026-04-13T07:41:29Z","type":"item","id":"Q1061118","labels":{"en":{"language":"en","value":"On the degree of complexity of sentential logics. II: An example of the logic with semi-negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3908415"}},"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":"Q1061118$86A1927E-15B8-46B4-9AE2-81180A4A3D5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c9fa52b83e3a4b2dd9fb7bb8b64bf2c51c4f224","datavalue":{"value":{"text":"On the degree of complexity of sentential logics. II: An example of the logic with semi-negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1061118$722EEC15-2228-4B78-B0B0-FB750AED6DF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36bf77e5c2384053a552ca102ef63e3b4a8afb9f","datavalue":{"value":"0569.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061118$88397730-A526-4C9E-A170-E4E923E6CED9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2ce66540ec39e9fd4d03ef76e41ce98365d8ac4","datavalue":{"value":"10.1007/BF00370510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061118$F3492B98-CC16-42DD-8AB9-43E4BD3D6C4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"859b5a1788ac75611622effb8963b1053aea52c8","datavalue":{"value":{"entity-type":"item","numeric-id":1061117,"id":"Q1061117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061118$64D6ACC2-D076-4D88-9745-53ED09A8999F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"063141b999662f6707da44c384e3cb2f6730899f","datavalue":{"value":{"entity-type":"item","numeric-id":913781,"id":"Q913781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061118$759ED95B-57D1-40ED-B7E9-038BF4F18429","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":"Q1061118$EE85E63A-C585-4E4B-BA87-0EBAA5A178CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1061118$124C037E-792A-4341-97FE-9FD4B369EB9E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"161115e0e958381e2694b925f8573b8b20c8090f","datavalue":{"value":"In this paper, being a sequel to Part I [ibid. 40, 141-153 (1981; Zbl 0484.03011)], the logic with semi-negation is chosen as an example to elucidate some basic notions of the semantics for sentential calculi. E.g., there are shown some links between the Post number and the degree of complexity of a sentential logic, and it is proved that the degree of complexity of the sentential logic with semi-negation is \\(2^{\\aleph_ 0}\\). This is the first known example of a logic with such a degree of complexity. The results of the final part of the paper cast a new light on the scope of the Kripke-style semantics in comparison to the matrix semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061118$6446019F-986E-48C3-82B9-9F4995CD0A27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061118$303B382C-A132-4E70-A64B-0996BEBD4E89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"132d52a279999c98cd02079f41e6f8c2443d909c","datavalue":{"value":"3908415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061118$70B1D89E-F6A0-47C4-BBAD-287FA31B0F1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061118$B0E37A5D-7416-4D61-92DC-5BF9FB1E065A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"921f8e7300bf7792752dfe144dc11b5d8a0f3bab","datavalue":{"value":"sentential calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061118$805AAC9C-2634-4D12-AB50-585C2C6F34B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8010f3d3c4a08c5b53aa882d7af721fb151e2b1c","datavalue":{"value":"Post number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061118$42AB4175-10C4-47E6-AA27-F1C40C587DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6a08f0c8091662f6e22177d7f6d7723da40f4c9","datavalue":{"value":"sentential logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061118$CADBD85B-12B9-453F-8B60-6935FCBF684C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e91df4757336448cae2018cb12daa6bd869e9f0c","datavalue":{"value":"Kripke- style semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061118$B0286E03-81E4-4FF0-8CF0-740BC89F0ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebeb23c62c94fea27126b416e04594b40c537ac","datavalue":{"value":"matrix semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061118$0695F88C-A565-44F9-AB51-7296CB5571E1","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":"Q1061118$D53791C0-47B4-4295-B833-5C3A51AC3172","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67c20b572d6e6cca3f91de32a62a3d9470db38f","datavalue":{"value":{"entity-type":"item","numeric-id":1163542,"id":"Q1163542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061118$F17422FF-F773-4182-A980-5E85FBDCA051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061118$56D77AE6-0287-4F19-B354-528F22C20D73","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":"Q1061118$904ABE34-EA52-4B70-8B6C-44304AC350D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3f379af3e3316d3653572b177a63288cc8b824","datavalue":{"value":{"entity-type":"item","numeric-id":4189254,"id":"Q4189254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061118$7CBCBD4A-F55B-4D14-9725-ADB16059DEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e65e2101af42b1ef80b18c25d129b0681d2ee6c","datavalue":{"value":{"entity-type":"item","numeric-id":1133535,"id":"Q1133535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061118$231C95E2-E215-4D8C-870C-FFF56610E1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f31b46f2d3e184e0ce2f4ab0cd192d06ae329400","datavalue":{"value":{"entity-type":"item","numeric-id":5606564,"id":"Q5606564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061118$9CBBF291-A1E7-40B4-9C6B-EF69BEA7AA27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424b0f6a9d699a8a1a69eda02350a485b1a3bfb8","datavalue":{"value":{"entity-type":"item","numeric-id":4723713,"id":"Q4723713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ecaefccaf238af64d442df6e1ce8997ca0dd3e","datavalue":{"value":{"amount":"+0.7558494210243225","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":"Q1061118$6B0F1C61-A2BA-48BC-A3BC-BDEC589E0FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5272440eae3a6f63633e6e09a3cfeb3ea43fe6e4","datavalue":{"value":{"entity-type":"item","numeric-id":1743996,"id":"Q1743996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b0625672cfca85752db29b23fed8a89af32d6b","datavalue":{"value":{"amount":"+0.7474773526191711","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":"Q1061118$063581D7-FD82-4ABA-AEDD-993B79458906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245531572b80f642e9e8e6b6150312827c7299a8","datavalue":{"value":{"entity-type":"item","numeric-id":3781076,"id":"Q3781076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c662589ad462ccb31af080edc657ec541da2c2","datavalue":{"value":{"amount":"+0.7466158866882324","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":"Q1061118$CFEF5A9B-9F81-49BF-A7AF-9596A4802021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5829b7de121a6f9ef66d4ece37faeebd9f264e61","datavalue":{"value":{"entity-type":"item","numeric-id":1097873,"id":"Q1097873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d3729ea6cb5aaae35cff6a587624563140d8d85","datavalue":{"value":{"amount":"+0.731324315071106","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":"Q1061118$2E8D94EF-2993-44CB-9CB7-5BE3DC875F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e8dded0273f7f735b101d355629b295849c0fe5","datavalue":{"value":{"entity-type":"item","numeric-id":3222159,"id":"Q3222159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04eaeb29323443192f39fbf810fd8d31761194a5","datavalue":{"value":{"amount":"+0.7284401059150696","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":"Q1061118$2CEF0B83-BACB-4E4F-89DD-F7DB072BFD96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the degree of complexity of sentential logics. II: An example of the logic with semi-negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_degree_of_complexity_of_sentential_logics._II:_An_example_of_the_logic_with_semi-negation"}}}}}