{"entities":{"Q1893127":{"pageid":1903869,"ns":120,"title":"Item:Q1893127","lastrevid":71087076,"modified":"2026-04-13T19:23:43Z","type":"item","id":"Q1893127","labels":{"en":{"language":"en","value":"A complete minimal logic of the propositional contents of thought"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 769072"}},"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":"Q1893127$AF07AF2C-85EA-4DD3-B24B-22C7C91CA504","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3535392ec55ea05d0796dc2012d312f8b3b4ca52","datavalue":{"value":{"text":"A complete minimal logic of the propositional contents of thought","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1893127$7EEAF96A-5B07-43EE-802E-F293D33D2CF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fe2c43022f75894a37c97fc395c372d5f1d164f","datavalue":{"value":"0836.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893127$2736CC83-DDB5-48D7-8294-F532B4D2ABAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29ec09434b2f98ccc3538d1769f48e66c5e3effe","datavalue":{"value":"10.1007/BF01053006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893127$99989251-5E35-4758-BD65-A293EBAA212A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3ee11db5c99875c3a17ae45bbe2be09ae6b238f","datavalue":{"value":{"entity-type":"item","numeric-id":1893125,"id":"Q1893125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893127$98CBB9C5-9435-4041-ABA9-FF3E05263568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1321e01ab330ead9423fcadcc56c7a0772f3024e","datavalue":{"value":{"entity-type":"item","numeric-id":1237776,"id":"Q1237776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893127$E53778B2-B6DD-4236-ADB3-CDB89ED6388E","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":"Q1893127$C97A3FD5-127A-4DAF-B595-980DE06ED2C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5234c3c3eec5889ee0b52a7482e82bd6b7ddaa49","datavalue":{"value":{"time":"+1996-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1893127$21C13C2A-A47C-4692-9C23-DFC131D0CED5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cdbe3d35ba8c938e718e0386368c60a764a6b234","datavalue":{"value":"The aim of the paper is to formulate a logic that takes into account not only the property of propositions of having a truth value, but also the property of having a content. Syntactically this is done by the introduction of special properties of propositions (creating thereby the elementary sentences of the calculus): of propositions one may say that they are true, or tautological; and a pair of propositions may be such that the content of the latter is included in the content of the former. Semantically, content (or meaning) inclusion is realized by claiming conditions on the occurrence of atomic propositions, and the semantic value of a sentence is a pair consisting of a set of propositional constituents and classical truth conditions. The logic is axiomatized and its completeness is proven in the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893127$4B9F7963-FC44-476D-BA08-7D249B87FDC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893127$3963EE2C-23C7-4634-AE00-BFF9082407C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893127$0595B8F5-94A7-4193-BB5B-58FF04AD4B7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba4574fb75394f291b72754d9be252c0d917a03d","datavalue":{"value":"769072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893127$BA17A141-9795-4D07-8B41-3E9E4E009EEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893127$B223C9C6-C7C7-4DE2-BA70-C10F23240BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdcfbe8848daa5d8fc10089f1d59bf27c0b4809b","datavalue":{"value":"contents of propositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1893127$7B06E891-7CD4-46BE-A775-47D8A958600C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3e436490379ff48a2ad372f72fab79122905c571","datavalue":{"value":{"entity-type":"item","numeric-id":1293001,"id":"Q1293001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893127$A53E72B8-2636-4008-A274-DCFEEDC50F2E","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":"Q1893127$19D11403-2C29-4B68-85E4-17AD7B13ECBF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b21225b3c93355a1edbef9af76d5006098edd92","datavalue":{"value":{"entity-type":"item","numeric-id":1217694,"id":"Q1217694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893127$20CC548F-ECA0-4BCE-B8E2-A2BB932ED012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228c509a8dc9a903288a34bf165ef85f8cae5a2f","datavalue":{"value":{"entity-type":"item","numeric-id":1090323,"id":"Q1090323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893127$5D741D8D-7003-473D-9151-974135CCF74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8dc8a34d450ddf2b7280158b741e65d7cf2e258","datavalue":{"value":{"entity-type":"item","numeric-id":599801,"id":"Q599801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893127$4B54C35D-B5C2-43C6-9940-2AE63B4D1DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893127$FCCA926D-27C5-46AC-92C9-39882EF60C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e12e29008f2beae77bc18031a639c09c8da8a5","datavalue":{"value":{"entity-type":"item","numeric-id":3698782,"id":"Q3698782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1893127$3845A3CE-732A-4BC3-87F8-62B4D97D59E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"182265889b3874d491f9e66c9c858b965731717f","datavalue":{"value":"https://doi.org/10.1007/bf01053006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1893127$881AD7B3-6568-4361-BB4F-CE9B301FDF51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"918bff34056bc94610e9f00389cc1160c1b86bde","datavalue":{"value":"W1970137193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1893127$0D310ABD-5D17-4EFC-A78D-921B0EBB19FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7bf4b07ec24103c20d5d39aa3eeab2d9c0ae3d","datavalue":{"value":{"entity-type":"item","numeric-id":1368756,"id":"Q1368756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dc95d5a1f46792feb039141f6e717ab447bdb68","datavalue":{"value":{"amount":"+0.7481759190559387","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":"Q1893127$A4402C17-13A6-48D8-B95A-B92F1B206EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b91651aebb88db5251d2d52ccfb302a66c6f5a","datavalue":{"value":{"entity-type":"item","numeric-id":3643261,"id":"Q3643261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a31f018611b67fc7c8994d760a1fb6632dda71b5","datavalue":{"value":{"amount":"+0.7430233359336853","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":"Q1893127$8E6C7C62-5DDB-4FF3-8F0E-016C826CB8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49c182361586ec210cf9fe8da98f3d6664c50124","datavalue":{"value":{"entity-type":"item","numeric-id":1903590,"id":"Q1903590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d64eef0fdd91911de34dd9aebb2bc4e9c1a50e39","datavalue":{"value":{"amount":"+0.7258080840110779","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":"Q1893127$AD7ED677-A615-44FE-A508-84A2EE141AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97fd557a071b11e942153cb36313273a1baea404","datavalue":{"value":{"entity-type":"item","numeric-id":3995890,"id":"Q3995890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d21237c945178ee4025c89623002df92639fbf9f","datavalue":{"value":{"amount":"+0.7251253128051758","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":"Q1893127$EBE7BCA2-9044-4EAD-95E7-09DA6D9B337F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete minimal logic of the propositional contents of thought","badges":[]}}}}}