{"entities":{"Q1123891":{"pageid":1134640,"ns":120,"title":"Item:Q1123891","lastrevid":49298701,"modified":"2026-01-06T22:28:37Z","type":"item","id":"Q1123891","labels":{"en":{"language":"en","value":"Bilattices and the theory of truth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4110687"}},"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":"Q1123891$FCA17B85-5EFF-4363-93BD-134E1FEDDD56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da6fe170828cde4639024b069d24b3858b3a055d","datavalue":{"value":{"text":"Bilattices and the theory of truth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1123891$B1D4A6C5-F3AC-4F02-B8C8-589E654AF618","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05a6f8ccbe0211e217a28cfcaa04c3d6e4ebee6a","datavalue":{"value":"0678.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123891$3229A1F4-0F85-4572-958B-2453453EF790","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e386cdb7d1e6bccd17bc6d45233c4d04670d750","datavalue":{"value":"10.1007/BF00274066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123891$27661CA8-A4ED-406C-8E56-8A9BB773325D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123891$BE39D90C-0C4B-4E11-A7E4-F66B20D07CA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123891$81010D9B-FAED-4055-86EC-EC156217F3A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1123891$DF7CB832-A663-4A3A-90AD-81B5F2DB4A84","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e442425e7d95ae8380f551b6702b38f86b04ca3e","datavalue":{"value":"A structure \\(<B,\\wedge,\\vee,+,\\times >\\) is a bilattice if i) \\(<B,\\wedge,\\vee >\\) and \\(<B,+,\\times >\\) are both lattices; and ii) the meet and join operations of each lattice are monotone with respect to the order relation of the other lattice. Bilattices were introduced in computer science by \\textit{M. L. Ginsberg} [Multi-valued logics, Proc. AAAI-86, Morgan Kaufmann, 243-247 (1986)]. This paper shows that bilattices are natural generalisations of structures to be found in the semantics of First Degree Entailment (due to Dunn and Belnap), in the semantics of languages with a partial truth predicate (due to Woodruff, Kripke et al.) and elsewhere. This allows many known features of these semantics to be seen as special cases of more general theorems, and also delivers some novel results, e.g., concerning the relationships between various fixed points.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123891$286E1BE9-A8E7-4F49-89AD-7290E2BB97A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123891$35E03FD7-F276-457A-BC9E-CC23DB8073F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123891$C5D525F7-5F2D-42BD-9C96-505057C5997F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c0cd5ff390aa53fb4ce9c2ee33267078febf393","datavalue":{"value":"4110687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123891$BAA53871-935E-4F04-8B73-DB182AB1FAE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c04d75c878bbf8500dd83407319fa6cacf5096","datavalue":{"value":"truth-value gaps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123891$D53202E3-F841-4164-843C-96222E205BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2c8bb0683a4413c5d8acde77884a82d8753e880","datavalue":{"value":"bilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123891$DCEC2790-6A60-4268-81F8-23470E641B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6456a86f7d1a2ff87de88df8ff1c04a07d06835","datavalue":{"value":"semantics of First Degree Entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123891$C7FB1721-C49C-4B0F-8EC3-91D86F0965B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ff21d517cccb257c268c4436f341807dbcb2f7f","datavalue":{"value":"partial truth predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123891$09D079B5-47B9-435C-A47B-6C74D94919D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123891$E38A5BFA-CF99-4C15-BF84-22CFAC2A3DEF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a8775a791b699bfd3cf73592d2f327da9f87e5a","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123891$97D54FD5-93EE-48A0-ABB0-D7167CF66598","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":"Q1123891$5BDCAD19-959F-464D-B3D9-C032ABA7E6D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123891$B55B16C2-93D8-4823-A187-8E91D7C5A014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123891$8F6F1691-D9AA-4BB9-A4C7-315945508481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123891$8F8EB7CA-FDEB-417B-B0E5-5BA95AB28A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556069223dbc86b890fdc58bc911b9fecf43d6cc","datavalue":{"value":{"entity-type":"item","numeric-id":1073007,"id":"Q1073007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123891$DB410149-23DE-4E09-B7CA-FFCB7D6D83C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69a1b0696d3d19ee0dc3aad945f1b6fcdf0a0b7","datavalue":{"value":{"entity-type":"item","numeric-id":3792274,"id":"Q3792274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123891$52A9F9C5-9198-4D84-A5D7-C463DD8BF82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903f9f52eef04d94cfa524ca594f47f356bcbc56","datavalue":{"value":{"entity-type":"item","numeric-id":3983121,"id":"Q3983121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123891$547C40B0-294A-4A85-8C75-38C715BBF5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123891$0308B241-1F6C-4A9B-84C1-03672D91C511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123891$5503118C-2EDC-40C0-B13F-3AE38B94646B","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":"Q1123891$A15E0286-425B-40B8-AB4D-3D4A80B54435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123891$C5AA1D5B-DDA1-475E-A6E7-B8E64968D145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123891$FEF094FC-B9E0-4852-8F8E-507CD56C3257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7bf5fb6d0b1e7c672741e0cf2ec67ce93d26700","datavalue":{"value":{"entity-type":"item","numeric-id":798313,"id":"Q798313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123891$2D8AEEDB-192D-4297-B495-CB59EC1AA63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b07e7db840b5f2d1244c855bc617201462b5fc","datavalue":{"value":{"entity-type":"item","numeric-id":798312,"id":"Q798312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123891$B446071D-DE57-400A-B12F-BD5B51C0604C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c8763baa015b8b932ff79370f8cc234b803752","datavalue":{"value":{"entity-type":"item","numeric-id":3979198,"id":"Q3979198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8dae1eeb66802d6c81fad6b2af7480198845f12","datavalue":{"value":{"amount":"+0.8514302372932434","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":"Q1123891$02C466C5-1577-441E-ACD7-F07E7506DF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdabddd37634529ed1e090422c55fee968c5bd60","datavalue":{"value":{"entity-type":"item","numeric-id":4443414,"id":"Q4443414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8dae1eeb66802d6c81fad6b2af7480198845f12","datavalue":{"value":{"amount":"+0.8514302372932434","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":"Q1123891$07913BD2-99CA-4B19-B388-89C2EEB772D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9904eef3e98f21c62a3c616cc2550b2878e4976e","datavalue":{"value":{"entity-type":"item","numeric-id":4862766,"id":"Q4862766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451c2943b81a9e1fe38d3a7d9219c20596df22bd","datavalue":{"value":{"amount":"+0.8483768105506897","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":"Q1123891$06583C76-DF44-4453-83B3-D7274A60A93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38643519c6cacd17c459d3a5dcf6cfa54a243598","datavalue":{"value":{"entity-type":"item","numeric-id":3604278,"id":"Q3604278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ad37464113cfc24799e2e5447671ee1ac0f275","datavalue":{"value":{"amount":"+0.831303060054779","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":"Q1123891$806E62E8-4D00-4F18-8B8F-9FD9F6C9E243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60396183932aef868077264410e6272237efad7a","datavalue":{"value":{"entity-type":"item","numeric-id":2510765,"id":"Q2510765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d4804ddc424f1967ef7685cf0e53c6264f37eb0","datavalue":{"value":{"amount":"+0.8295955657958984","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":"Q1123891$3477A35E-6339-4F44-84D2-EF5A1BE981D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1123891","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1123891"}}}}}