{"entities":{"Q1344440":{"pageid":1355179,"ns":120,"title":"Item:Q1344440","lastrevid":67194615,"modified":"2026-04-12T15:58:11Z","type":"item","id":"Q1344440","labels":{"en":{"language":"en","value":"Modalities in vector logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 721968"}},"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":"Q1344440$662F4CA9-1413-419D-81EB-DA942EA80C25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0feef1737427118a1cd72bd4c9cc013cbe1d3e2","datavalue":{"value":{"text":"Modalities in vector logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344440$CAD2E6EF-383D-4049-ACE3-985803A0E377","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ce284ddf4052a5f4e401df5e98e7c8a1787a5a6","datavalue":{"value":"0819.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344440$D8A1BA56-36F2-4758-B33E-226D0F73BED7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebf25465cad6aa6c71b79e01389f7d52ad1126be","datavalue":{"value":{"entity-type":"item","numeric-id":535581,"id":"Q535581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344440$6271DEC2-DDEA-4030-99D4-66883DBDAE1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344440$ADD8F397-5B75-4D41-AAD2-4809526DE3AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"130e39adf7d31aeb394dfacb8a12a0f0ed2af467","datavalue":{"value":{"time":"+1995-08-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":"Q1344440$F18A372D-8979-4ACE-B1C4-48D312F01502","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5082534311fc429fa5a6952b276aa3aa1c16fece","datavalue":{"value":"The core idea of vector logic is to represent the classical truth values \\(W\\), \\(F\\) as two linearly independent vectors \\(a_ 1\\), \\(a_ 2\\) of some real vector space, and to represent truth functions by matrices. This idea is first extended to the many-valued case in taking the convex hull of \\(\\{a_ 1, a_ 2\\}\\) as set of truth degrees. On this basis, secondly, the old idea of \u0141ukasiewicz and Tarski, to define \\(\\lozenge p=_{\\text{def}}\\neg p\\to p\\) in a 3-valued logic, is adapted in such a way that \\(\\lozenge p\\) is defined truth-functionally as the limit of a suitable sequence of vectors.    There is no discussion concerning the existence of these limits. But there is proven a sequence of formulas which also hold true in the standard systems of modal logic. Nevertheless, the meaning of this reformulation remains unclear.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344440$9B246C23-F5F3-484A-BA57-BA143BC07551","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344440$F9667302-2BFB-45FC-80DC-41855704E79B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344440$309D9E43-AE6A-43D9-A322-1D376BC12E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344440$006D15D1-97CE-4A5E-BFCA-6B7A239DCC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344440$6765EED4-C3F1-490A-AE02-CFEDE29738B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ffb4ddbc38cc168ea17f09df5dec165407ddc4f","datavalue":{"value":"721968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344440$3051C2F5-F6AA-4FC5-A88D-BC25A30794C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19bb20cef3706b835ed840cd0b9d0d4be793cbac","datavalue":{"value":"modelling standard connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344440$D29B0723-CF86-4A16-B062-8D7E0D40C57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344440$C7254BAC-2146-46B5-A820-E42EB70A3462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7c7606dba0104306b29e173f01f06d4da85a2a","datavalue":{"value":"vector-based semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344440$CD7DC7F4-794D-4662-94B4-AE698D816EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d2c1412b34e7dec8754a160669b8f563058345","datavalue":{"value":"representation of truth-functions by matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344440$42E1BDF3-CD66-453B-989F-C1ADD562433E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0972dfb19682c40c25715d4de411ae3d6be9b76a","datavalue":{"value":"vector logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344440$61C36AC5-D685-49AC-8630-82035BFD9FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a5acf583a56fd574228f777691df86f623717b7","datavalue":{"value":"truth degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344440$779B798B-6F03-4702-B83B-C3F894909016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344440$B3B3D741-2422-4EF9-ACC8-021ADE07F30A","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":"Q1344440$0B14F2F8-1B45-4203-9E78-CD9DF648FE45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63bdb150f04ad1d645fb28cc303bf18e5e59c256","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1094061864","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344440$A33524CC-59C3-4827-A9CE-9DCB73F424E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f5521252f34fadc59d51d09aff5fae48b1882ce","datavalue":{"value":"W2057264146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344440$0E8B9163-3937-48F1-BAE8-3716240BC770","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d07f19302731ca942584ac0d5b8a0187c546eec4","datavalue":{"value":"10.1305/NDJFL/1094061864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344440$FB8F1692-6B6F-47DD-B5C7-7C98BA66E3FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6ef170e6be6e184cd3a7057a0fd3fbc12180bbd","datavalue":{"value":{"entity-type":"item","numeric-id":5450570,"id":"Q5450570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12fc603b1ddc7a0ec447764c14d6e106c30da72c","datavalue":{"value":{"amount":"+0.7373030781745911","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":"Q1344440$8AEFD491-F8EF-4CF5-ABD0-BA248817F6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4d90208b0e9616abe245e80ab9dde2992c6393","datavalue":{"value":{"entity-type":"item","numeric-id":2858428,"id":"Q2858428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13ef0c7d5d4770b263eb82d3434c1a9f40d5d5df","datavalue":{"value":{"amount":"+0.7127687931060791","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":"Q1344440$7680B849-4303-43EC-B5FB-AE13A403BAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3ce76ecde16e20454f9d1097ac362bf46840711","datavalue":{"value":{"entity-type":"item","numeric-id":3143141,"id":"Q3143141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9983b1098d155aa9514a11c5ab757eacbbf5464","datavalue":{"value":{"amount":"+0.6985969543457031","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":"Q1344440$BA53F38E-5B86-417F-AC48-FC37233C9495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38fed1b79d76a903e17996ea3f6660f224daee8","datavalue":{"value":{"entity-type":"item","numeric-id":4706124,"id":"Q4706124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b539dbe6d035267c41673d7a944dda3a64a980a2","datavalue":{"value":{"amount":"+0.6985033750534058","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":"Q1344440$E9B9A95F-71D1-4AE0-8F98-DE7B5DE7D1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e2572d8fffad54830ab530113019f4dd54369c5","datavalue":{"value":{"entity-type":"item","numeric-id":4835628,"id":"Q4835628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec297d5dd55cf3c1dc927247aa2ed90e56dbcbab","datavalue":{"value":{"amount":"+0.6836003065109253","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":"Q1344440$0D2E3584-37C8-4593-8D38-9F514A4DDE59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modalities in vector logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modalities_in_vector_logic"}}}}}