{"entities":{"Q5954708":{"pageid":8131510,"ns":120,"title":"Item:Q5954708","lastrevid":47737789,"modified":"2026-01-02T13:55:31Z","type":"item","id":"Q5954708","labels":{"en":{"language":"en","value":"A Kripke semantics for the logic of Gelfand quantales"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1701687"}},"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":"Q5954708$0C750DD6-8091-4E3C-BB64-A3ACA5C13A84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96d1231aaf1327cd545e4265ee433c792276c440","datavalue":{"value":{"text":"A Kripke semantics for the logic of Gelfand quantales","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5954708$A5F15224-9390-431D-A430-8D698B9F45A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f4df549516373e2eb73d2c278b9ca63560b3fd1","datavalue":{"value":"0992.03080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954708$043227AF-AABC-427D-BFE6-F2A5ECF086B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"700f4025fd12bb8cc99dd26ce6d5d1a5b0d18fd6","datavalue":{"value":"10.1023/A:1012495106338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954708$B09A67FB-28DE-4369-B158-9192726A7989","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a99e140463feef29a3990f0935b0b5e2887b7ec","datavalue":{"value":{"entity-type":"item","numeric-id":227765,"id":"Q227765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954708$10A1A701-4D36-4985-BBB9-3446FB35673F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a3a19e5951e9c43e667436e7cc0790d99ea306","datavalue":{"value":{"entity-type":"item","numeric-id":227766,"id":"Q227766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954708$F3D49881-504A-4F46-8F6A-12127D514446","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":"Q5954708$0EA92138-D991-4167-9E30-FA299350E1BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f309e4e3309c7641e0998c270afe2b333805b60f","datavalue":{"value":{"time":"+2002-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5954708$33A069BB-3A66-4605-9189-8E0323FE7462","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a6cbb180300bff5aa6d6b1c57835dfc0e28b244e","datavalue":{"value":"The concept of a quantale was introduced by Mulvey in connection with his work in the foundations of constructive mechanics.   Gelfand quantales are complete unital quantales with an involution, *, satisfying the property that for any element \\(a\\), if \\(a\\odot b\\leq a\\) for all \\(b\\), then \\(a\\odot a^*\\odot a= a\\).   In this paper a Hilbert-style axiom system is given for a propositional logic, called Gelfand logic, which is sound and complete with respect to Gelfand quantales.   A Kripke semantics is presented with respect to which the soundness and completeness of Gelfand logic is shown. The completeness theorem relies on a Stone-style representation theorem for complete lattices.   A Rasiowa/Sikorski-style semantic tableau system is also presented, with the property that if all branches of a tableau are closed then the formula in question is a theorem of Gelfand logic.   An open branch in a completed tableau guarantees the existence of a Kripke model in which the formula is not valid; hence it is not a theorem of Gelfand logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954708$922BD076-6291-4BD8-8688-45DF533ABEE9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5954708$9235CC86-0486-415E-81F3-CF2064325D40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954708$4AFAE57B-D9A3-4D24-923A-0182B24B07A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d288a69107e543ad02bf89fe7b5f6e3ec2021571","datavalue":{"value":"06F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954708$98EE88D6-3A18-4764-B053-9ABE91C5C602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954708$AAE71A83-F679-46CA-8544-AEAD002B42D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954708$ABAC697B-BB10-4AF8-9443-2177CFB908EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954708$60DCADBA-48EC-418C-A7E0-2A991EA75BC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adcdcd2ac8ecdfc2a3a6ae7d89049e71cd37874b","datavalue":{"value":"1701687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954708$3F43F3D4-0EDB-4498-89DE-B9A8A511E0CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d5d953eccedd19c3f5d20b439befa6951428e7b","datavalue":{"value":"lattice representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954708$CB8D6A7A-5D1B-4100-9582-D1FB7926F88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f34eed909bc359581cb5f08cf69f237f3bc106","datavalue":{"value":"frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954708$34D7F09C-18AF-4370-8BC0-EE497C430BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fadf8392fdfaf478b7fab9f8a8ac5daf0ca236c8","datavalue":{"value":"Gelfand quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954708$45F34F81-38E2-4D9C-A760-30CDAEE24BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95fb03b83ee392ddea3a48e5272a04c53eb091ba","datavalue":{"value":"Gelfand logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954708$589E7C90-3358-4377-A3F2-B2802AC2D730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954708$4CA49679-8913-4CF6-A4DB-B6F4B64944E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8d63bd162dbdb7e6310553fa4e73e95ac8f4ba9","datavalue":{"value":"complete lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954708$42F8F066-EDAF-49BC-8795-C5EE65A34B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1154851f0e28c7d9cb512b4ee18b47c18a3e77ab","datavalue":{"value":"semantic tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q5954708$41582044-FF26-43D2-8721-7B842B3BAA48","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":"Q5954708$442B56A1-FE85-42B4-8532-A5C314A41D95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"836626e0c6597e85f79d1812d2d8f477778c88d2","datavalue":{"value":"https://doi.org/10.1023/a:1012495106338","type":"string"},"datatype":"url"},"type":"statement","id":"Q5954708$25C9C499-6FF0-4AFC-BED6-1E7C9E0ADB39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed5bfdac26899e6a06e1c23ce6fa5c5d9e81322f","datavalue":{"value":"W1529894088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5954708$31B8EB9B-5811-4CB1-B330-4CC944E23848","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d640d640f2c22f48ddcfa3a994d0132ee9699026","datavalue":{"value":{"entity-type":"item","numeric-id":3509054,"id":"Q3509054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab7b852335e28d77c68119ef6985a53102a13ab4","datavalue":{"value":{"amount":"+0.7828018069267273","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":"Q5954708$7B5AC552-0A26-4B02-BE59-5EDF247F184D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48c36add58519433ad999f91a60cb11d55569c0","datavalue":{"value":{"entity-type":"item","numeric-id":3542104,"id":"Q3542104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c304984b480902fa68035642bd44577f9acd1c8","datavalue":{"value":{"amount":"+0.7754250168800354","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":"Q5954708$8A29E5D0-5277-469F-8733-63381F34EBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ea2ae336dfe506bbe20e36d907fcc5cfbc8fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3197878,"id":"Q3197878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e4a7c9fd343f22a75a796cdf473e955b0ebe48c","datavalue":{"value":{"amount":"+0.7668892741203308","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":"Q5954708$D2F8A1DB-4A8F-435F-8BCD-ED22888FC7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6a57d778aea3d061eb63804ac2a46495011daf","datavalue":{"value":{"entity-type":"item","numeric-id":1372652,"id":"Q1372652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9784b974a39879de0e53b946fc75580f47bb856","datavalue":{"value":{"amount":"+0.7480702996253967","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":"Q5954708$E86FF873-CD73-4E96-8724-1B12EE46DC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"341baaf42f86b83dfefecdcb02f6047202abd0e5","datavalue":{"value":{"entity-type":"item","numeric-id":1330093,"id":"Q1330093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eee803b5a0ff9b59791083c82c69b2d141ba8d77","datavalue":{"value":{"amount":"+0.74778813123703","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":"Q5954708$0C739928-6E6A-4CF8-B3F1-8F39C91B2B9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5954708","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5954708"}}}}}