{"entities":{"Q1840652":{"pageid":1851394,"ns":120,"title":"Item:Q1840652","lastrevid":47571652,"modified":"2026-01-02T02:51:22Z","type":"item","id":"Q1840652","labels":{"en":{"language":"en","value":"Partial monotonic protothetics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1563239"}},"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":"Q1840652$65DD1946-F945-4348-866E-7795F15F4A17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b851cfea8a1c6cb6b205288be9970dc381b230f","datavalue":{"value":{"text":"Partial monotonic protothetics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1840652$176D5D33-AB2D-4C7F-B93F-ED9131F0E8FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"807238140b71c457dfc493feedb88c2ea4c3ade9","datavalue":{"value":"0972.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840652$0F08E551-20DA-46AA-85EC-D9D275B43246","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9269c48bb82302b0b34b20e7bfc711939ad16d34","datavalue":{"value":"10.1023/A:1026705214659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840652$A8CC0F70-2A1A-48E5-90B3-20966BCDD0F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"839b2eaf1a6c137e43e0a3941c8b44efcd4f7bbf","datavalue":{"value":{"entity-type":"item","numeric-id":346767,"id":"Q346767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1840652$5C71D1BA-5F3E-4B79-854A-5CC553663E8A","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":"Q1840652$8BE80BBE-2862-48A0-B23B-8D98170DD055","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb718e2cdac7bb2fbda2153529198f7b2bbf7b67","datavalue":{"value":{"time":"+2001-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1840652$5B2BF7ED-7DFD-4268-8DDC-F9EBACCE7C74","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf6c7c116cd4a971a4aad0e40abfef404244e8be","datavalue":{"value":"By protothetic the author means not the original Le\u015bniewski system [\\textit{S. Le\u015bniewski}, Collected Works, Vol. 2, 410-605 (1992; Zbl 0765.03002)] (neither any of its latter versions), but Henkin's theory of propositional types [\\textit{L. Henkin}, Fundam. Math. 52, 323-344 (1963; Zbl 0127.00609)], which is presented, in short, in the first section of the paper under review. Then a hierarchy of partial propositional functions is introduced, starting with the domain \\(\\{0,1,\\bot\\}\\) of the basic type; here \\(\\bot\\) means, as usual, `undefined'. This hierarchy underlies the concept of a partial interpretation of protothetics. The system of partial protothetic, consisting of 29 rules, is presented, and a Henkin-style completeness proof for it with respect to this ``partial'' semantics is given. In conclusion, the author notes that his metod of providing a complete partial type theory can be extended to general theory with a finite domain of individuals, and that it does not work if the number of individuals is infinite. Unlike Henkin's system, the presented theory does not contain a strong identity relation, and it is explained why it might be thought of as a kind of epistemic logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840652$2D116659-547C-417D-9BAA-8872A97CAF2D","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":"Q1840652$4D7E2DC5-DC42-48B7-B0E0-7612F11B2F2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840652$268FD85C-B8AC-4060-8FF5-09F8A230A497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840652$62EE54A5-8042-48E0-874A-65EBFA754F87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1f81df5408116da83caa889d1982a6e1d9e7461","datavalue":{"value":"1563239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1840652$D35CDE4E-1F97-4C5B-A0E4-4A14A13CF7B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840652$D595C762-3B46-445E-B501-34F0D118DA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7d01c578536c460a09e6ca892944d830c34fae","datavalue":{"value":"partial interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840652$E958F781-DCB5-4D55-A3CB-AC93F42FA9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"288c5566443c1916f551114e1fa3757f8e951e0b","datavalue":{"value":"propositional types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840652$0F9F324D-150B-407F-A968-08C77398FAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f2fc0faf056d3ad04647a8fa0bda0c5fb27f44c","datavalue":{"value":"protothetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840652$C138847C-E93A-4128-9505-9D5B051A1A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a573f1a22f5c07dc862364b76edb1bd58326a91c","datavalue":{"value":"saturated sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1840652$0F80705F-0D00-495B-8A45-6E18AA541633","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":"Q1840652$58CA0C1C-B897-41D7-B8AC-F9406347708D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b99a80742800b79a666c5ebf41adac3ea0832f","datavalue":{"value":{"entity-type":"item","numeric-id":4531955,"id":"Q4531955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80492be52b324048a385b19859fd6daa9160c431","datavalue":{"value":{"amount":"+0.7759369015693665","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":"Q1840652$BB4A966C-402C-468C-8C6B-08009AB09E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb3e52d9eba4ead76fc3d38f26751372998aa37","datavalue":{"value":{"entity-type":"item","numeric-id":1653651,"id":"Q1653651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d2576bb5b0b572b74858844cf9de1f7784a6f4","datavalue":{"value":{"amount":"+0.7756712436676025","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":"Q1840652$01527E01-C1C6-4070-BA23-6ECC830CD68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056d99038d1d8ddb4ba7029279836f5f7c947374","datavalue":{"value":{"entity-type":"item","numeric-id":5753924,"id":"Q5753924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d310f94ca1a492809d9c4ec1da93abbd160a486d","datavalue":{"value":{"amount":"+0.753684937953949","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":"Q1840652$A00178CE-FF47-4F72-97F0-CBAD3673C693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c822bfcfd4d27cf20d406c3b19d2c798a4fd1fa3","datavalue":{"value":{"entity-type":"item","numeric-id":4395141,"id":"Q4395141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a688a2b62dda08b2c580ddddc01230cc4c5e15d7","datavalue":{"value":{"amount":"+0.7499234676361084","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":"Q1840652$2908D6BD-421F-429D-A6F2-F2848E9F5EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4cc52a4c854ce44cc381e2f8dd6f34e196c81e3","datavalue":{"value":{"entity-type":"item","numeric-id":4943268,"id":"Q4943268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e4e2db6f5904e702ff67ac3d8d483f65aa0f23","datavalue":{"value":{"amount":"+0.7457149624824524","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":"Q1840652$23A8958F-31B7-447E-913D-F30AEE24FC62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1840652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1840652"}}}}}