{"entities":{"Q1981990":{"pageid":1992732,"ns":120,"title":"Item:Q1981990","lastrevid":57611811,"modified":"2026-03-31T15:03:09Z","type":"item","id":"Q1981990","labels":{"en":{"language":"en","value":"Four-valued logics of truth, nonfalsity, exact truth, and material equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7391961"}},"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":"Q1981990$14F721BD-1224-40BD-9E14-C6CAC4AA603B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"641ece2cbd1d748aeb4e29a0c328463747752c78","datavalue":{"value":{"text":"Four-valued logics of truth, nonfalsity, exact truth, and material equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1981990$F70CE8CE-092F-41E3-A614-CBF9C9955DDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa9b030b8583a9ff63fcf3419b62bac4d3506080","datavalue":{"value":"1489.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1981990$58E41364-6790-4F05-BB4D-51A39191981E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4005f0546e666f94502d9064a6d7c2df6f53e698","datavalue":{"value":"10.1215/00294527-2020-0025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1981990$80CDD814-890D-4EBA-870A-FEF687185314","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0579531bdb02a66b041694d6de10dba6a4f9707","datavalue":{"value":{"entity-type":"item","numeric-id":295912,"id":"Q295912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1981990$6F0816AF-517F-4F4A-B3CE-9864932DC718","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":"Q1981990$EFEB45BA-472B-4EDC-B320-5256E4E2520D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a092842a78445abe6eddf882d96533bd820ccb4","datavalue":{"value":{"time":"+2021-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1981990$4F56C5F1-0B2B-4D0B-8349-632553CD5F72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2044636a6cd8a1abf654ca8e08d4b3bb5412f771","datavalue":{"value":"https://arxiv.org/abs/2111.09978","type":"string"},"datatype":"url"},"type":"statement","id":"Q1981990$C7F8B0AA-2755-4BEE-BD19-FC3E05DC8799","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0966a23dc8f2386645aad2c7bc2ff53d62b184b1","datavalue":{"value":"The paper's main aim is to axiomatize various logics obtained expanding Belnap-Dunn logic's relational signature by the predicates ExTrue, NonFalse, True, and \\(\\approx\\) and to study the interaction between all the combinations of these predicates. Besides that, the author considers also the expansions of the signature of those logics by means of constants representing some of the elements \\(\\mathtt{t, f, n}\\), and \\(\\mathtt{b}\\) of the original Belnap-Dunn 4-valued logic.  After an introductory section, the author recalls in Section 2 various notions and results of abstract algebraic logic, De Morgan lattices and Belnap-Dunn logic. Then, in Section 3, he axiomatizes three logical systems arising from all of the combinations of the predicates True, ExTrue, and NonFalse. In Section 4, he extends these logics by the equality predicate and, in Section 5, he axiomatizes the multiple-conclusion versions of those logics, focusing mainly on the multiple-conclusion logic of ExTrue, which is the only non-trivial case.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1981990$D847570B-AE1B-418F-BDF3-065E2A5F0523","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"751c2917b8494d19c5dfee1c7c9b5c6f659e54eb","datavalue":{"value":{"entity-type":"item","numeric-id":679838,"id":"Q679838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1981990$F5A6AA6F-1B74-4758-8010-76DA64915B21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1981990$A9D5CEB6-1CC6-4EE8-AE88-41C3435152BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1981990$9579E95F-36FB-483C-9DFC-F19133D7D713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1981990$5FD237B2-79D4-46CB-9A53-98B2F04EA6D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e1e31194d5752703e9dc0256a736ecb92d70eef","datavalue":{"value":"7391961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1981990$FF085292-2824-478F-AF19-9CC92B98183A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed6be924b32c5ce81a354cf2a59c3a1900324a8","datavalue":{"value":"abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1981990$C62AE38A-2CC3-4F9A-A21C-12669F95BA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"085c84758bbd1865a829ab978366f9bd9dd1abdf","datavalue":{"value":"Belnap-Dunn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1981990$6C8465F9-BB28-446E-BF81-A53035B7014E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ffc607239d00f1f45125a1e5ce018fafe26f1b1","datavalue":{"value":"exactly true logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1981990$A564E9E8-E0A9-4DAB-90EB-198299F411F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9db4be20647e9159a9631c367d8dc94143508a","datavalue":{"value":"four-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1981990$2BFB532C-F7BB-4C98-AAD7-D117C66D6E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75628edfe18d9271975b72a8a7ded77f899517f2","datavalue":{"value":"nonclassical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1981990$AAB56279-58BD-4157-A8BC-49C060DBCB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1981990$F6C27510-4C6A-4C16-9507-967FD02D541B","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":"Q1981990$0403E3CA-1B3D-479A-A591-9B3D8CC7608E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5d7553fec37247b90e2f82acf7111f86942e2a6","datavalue":{"value":"W3117619566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1981990$B8DADEBF-882C-413A-A90A-4D6FFA878779","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1981990$38FF0ED6-27F0-417A-BDB8-33BABB8E8736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1981990$9AFC73F7-9D31-4AD2-AC05-50EB6B3251C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090d29ed1a3f239683df30cdd0098c384468eeb2","datavalue":{"value":{"entity-type":"item","numeric-id":3128471,"id":"Q3128471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1981990$6D27F839-C187-4164-8B10-E22AB996B823","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":"Q1981990$C528E759-6C0F-4E9C-BAD5-7AE0F8D3D9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd620d0008ba1f194a2223cc251ad2d22349c39","datavalue":{"value":{"entity-type":"item","numeric-id":4340541,"id":"Q4340541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1981990$C74D0356-3490-4E56-A0C3-22F83FBC65D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231c35167d2d6cb2de7e405681f0a9426aed9453","datavalue":{"value":{"entity-type":"item","numeric-id":3185647,"id":"Q3185647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1981990$EA6E9FD0-CA7C-4533-90F1-435419C140E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803c5ab38bb7fdc3e72ec717398acec4eff00b41","datavalue":{"value":{"entity-type":"item","numeric-id":5635480,"id":"Q5635480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1981990$DFBCB003-EAF3-4225-8FA3-67702A3BD592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ded9925b58af650b042dbc404445731b9b3d21a3","datavalue":{"value":{"entity-type":"item","numeric-id":4918415,"id":"Q4918415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1981990$77D25EE2-452D-4565-ADBC-EC030A853183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9c55587ddd5699a7963c16efecf058fd56ea87","datavalue":{"value":{"entity-type":"item","numeric-id":1947033,"id":"Q1947033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1981990$49A2BD50-DA05-4601-BFC9-F928E3AFB867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab46a93f4222678ef5ce8539f986265b37e9fa1","datavalue":{"value":{"entity-type":"item","numeric-id":4868229,"id":"Q4868229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1981990$5AF40D79-2CDA-4F29-8C83-DF361ABDBDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df3d63947cf7a8a7175ec2e00cd76505ef8b0435","datavalue":{"value":{"entity-type":"item","numeric-id":1301839,"id":"Q1301839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1981990$1C9CC819-71AA-4F84-9F6E-96EF667D49C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7adaed06255ddfc406449206fd4877f29aaa1e","datavalue":{"value":{"entity-type":"item","numeric-id":4583174,"id":"Q4583174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1981990$B0EB5B74-3C76-4B7F-83B4-D251D8C90E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44615b9577ce50f3d5119569c67718f02c3ff046","datavalue":{"value":{"entity-type":"item","numeric-id":2281312,"id":"Q2281312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1981990$55D17615-0DAE-472C-81DB-0DD5105FF3EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77eeeb36cb9d22e17c3985a7c435c81608fb9ab4","datavalue":{"value":{"entity-type":"item","numeric-id":4999460,"id":"Q4999460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b88ae15a18b45a9cd4809ae2f276f5d3dad201","datavalue":{"value":{"amount":"+0.8152670860290527","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":"Q1981990$3651FDED-3F53-46A1-A79C-25175859E008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b1afc192203ebb6a519b9c94a5975a5d206a87","datavalue":{"value":{"entity-type":"item","numeric-id":4443421,"id":"Q4443421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91cca1bccb88ccd3a9a8507cb222b7f02ae3a057","datavalue":{"value":{"amount":"+0.8065416216850281","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":"Q1981990$570CEDDA-2218-4D37-8138-A1FE8C1D9DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db6d50a34513de5699a6037dbd22e80828a8bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4608553,"id":"Q4608553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddcd570b170719e77bb65dd64dc30a26bbafd0da","datavalue":{"value":{"amount":"+0.8023817539215088","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":"Q1981990$69C9A5D8-076D-4BF7-9AB8-5D9440118EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daebde2299f3c680cf2ce99cf8409c63becbacfd","datavalue":{"value":{"entity-type":"item","numeric-id":495842,"id":"Q495842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee726fd56bf22272492b7441035dd6ea6d26b660","datavalue":{"value":{"amount":"+0.7948654294013977","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":"Q1981990$0B20EE63-025F-4E1B-A69F-5B3527FC2A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc570ed1b0bb3a5cf70c2cd589edacea8d7c7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":5061420,"id":"Q5061420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4e12f5ca0ab1c11dba9983f632cae8631b47f1","datavalue":{"value":{"amount":"+0.7812291383743286","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":"Q1981990$D6C71EF7-0E05-4FE1-B409-05212270176B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1981990","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1981990"}}}}}