{"entities":{"Q1689568":{"pageid":1700309,"ns":120,"title":"Item:Q1689568","lastrevid":52992374,"modified":"2026-01-23T23:49:37Z","type":"item","id":"Q1689568","labels":{"en":{"language":"en","value":"Natural deduction for Fitting's four-valued generalizations of Kleene's logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6825511"}},"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":"Q1689568$46977B28-A9D6-48D3-8964-F5255E89E274","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac63110c1e2166dadd83df7519b0b48c733076b3","datavalue":{"value":{"text":"Natural deduction for Fitting's four-valued generalizations of Kleene's logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1689568$75833FF5-1DDF-446D-BD1D-8E8B7CC22EE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32a099eb23344a823f32e3424a4d48d4bf408911","datavalue":{"value":"1385.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689568$782D07F5-6230-44E9-8220-9CCD409AF6F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"669cdb901f5adc2391e652d6dfa8ffc64eb0addc","datavalue":{"value":{"entity-type":"item","numeric-id":1689567,"id":"Q1689567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689568$EADFEE68-8108-4BE2-978E-543839166A47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689568$AC158D82-CFB1-4B6B-8441-5000B28C254A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7715282d0e47f132d02fb834b8feb7eb3b738e4e","datavalue":{"value":{"time":"+2018-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1689568$53F468EF-199A-473C-943A-FCA1681B88C5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f932f1d81b9221969b75280d25e1678148f58c2","datavalue":{"value":"In [Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 20, No. 1--3, 113--131 (1994; Zbl 0804.03016)] \\textit{M. Fitting} studied some four-valued generalizations of the three-valued logics introduced by \\textit{S. C. Kleene} [Introduction to metamathematics. Amsterdam: North-Holland Publishing Co.; Groningen: P. Noordhoff N. V., (1952; Zbl 0047.00703)].  The aim of the article under review is to present natural deduction systems, as well as completeness theorems, for some of these four-valued logics. In particular \\(\\mathbf{FDE}^\\rightarrow\\), \\(\\mathbf{FDE}^\\leftrightarrow\\), plus a new logic introduced in the present paper, called \\(\\mathbf{FDE}^\\leftarrow\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1689568$CAB06346-AD37-4AF5-B44E-3EC150572331","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689568$31116BFE-58C3-4462-8663-CDDF3A8577D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689568$4ABE55D3-2700-4C5D-A466-A22848A8B581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689568$42EA8930-7235-45FA-BE09-6F6797A6A34F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42ea537973a6a744164ff25ca7d891b9a052f337","datavalue":{"value":"6825511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689568$71C663FD-CF79-418A-84EE-FA8EB992B8B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b8e5419d1d436e8c9722e710f5f4dda950d6a5a","datavalue":{"value":"Kleene's logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1689568$A2E51FB8-7C10-40CB-AE75-B429E5E4001D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75ecb7f195e719501567f01a005e59394f7c5096","datavalue":{"value":"four-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1689568$0F887CDB-233D-4820-B08C-432DF8DABD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3d855058cd0bf9e0b654a9d7d73edc478bb262","datavalue":{"value":"natural deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1689568$24B120F5-03F7-446C-A3AE-0FCA59CF12FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a0ff8c32958866c8802a26e0ad8674cbda54a8","datavalue":{"value":"three-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1689568$EE8A0F22-1EB2-4847-AB21-6B5C5C6D5D28","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":"Q1689568$212E58FC-5D1C-4C55-987E-CEFBA4C8D35C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ecf3901eace97d3996c8929ffd727edecbb0501","datavalue":{"value":"https://doi.org/10.1007/s11787-017-0169-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1689568$89B1AD25-0E91-4FE1-9D4B-7086A8608763","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e9da93b0d45a54b7f62d594c740e9787cd79b84","datavalue":{"value":"W2612676125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689568$69539196-762D-41E3-89ED-00727B95A24A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32331d054e29631acb5d82079c0154719c221f20","datavalue":{"value":{"entity-type":"item","numeric-id":2523722,"id":"Q2523722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689568$0B1DDB90-C9D0-48B1-8BB9-853BFBCE604E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a223050e719182e6bf855fc696c5aa1e87c42b9","datavalue":{"value":{"entity-type":"item","numeric-id":2981255,"id":"Q2981255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689568$B59BC4D8-281B-4F36-A015-91822FEDAD0C","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":"Q1689568$0D6BF7A0-9D08-4F13-B29B-2847A4DCBA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43778aafd8f0486321ccd72930d3c8a8a3967e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3567773,"id":"Q3567773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689568$ED3C4DDF-BEF7-466C-9668-9E32769FE769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca78335e7d64e072ca542079ca2fa130778e237","datavalue":{"value":{"entity-type":"item","numeric-id":4750621,"id":"Q4750621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689568$22CBEB8E-93D6-4464-A95A-325A6B8D59F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdb02a8cbc0c6812de30af50942e4a7fe81b51d","datavalue":{"value":{"entity-type":"item","numeric-id":526733,"id":"Q526733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689568$35D91014-38E3-4616-88C2-CB1A516C04FA","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":"Q1689568$F6B53841-3BEF-430B-A56C-DFFB883243F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f818d5972bc81625313e62066a739a8ffd9bff0","datavalue":{"value":{"entity-type":"item","numeric-id":3988058,"id":"Q3988058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689568$2DB4C04C-848C-42F4-B34C-984FD107040F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc672e5f9b23734cc80461d8e39de973dffb302","datavalue":{"value":{"entity-type":"item","numeric-id":4296301,"id":"Q4296301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689568$A67BE6AF-4895-4902-AB90-C47424E8898B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553e5be152c189af4d114498bc84cff5e95b5d78","datavalue":{"value":{"entity-type":"item","numeric-id":3204031,"id":"Q3204031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689568$E69CD71B-AFB0-4C48-A6B3-94FA2E24B67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e4aa9fefd25f1f34eeb6bfa44170e419f3416f","datavalue":{"value":{"entity-type":"item","numeric-id":5800353,"id":"Q5800353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689568$9893A072-A2E0-4BFC-9A6E-C376901C1A28","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":"Q1689568$C96A57FD-54D8-4345-9E54-F3760B517B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689568$F43796FC-42F8-443A-9CBE-0EFA7842A923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81e1b0f30d98dc7fd47e890c9c3ab37dbb99c13","datavalue":{"value":{"entity-type":"item","numeric-id":3567765,"id":"Q3567765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689568$FBB22F62-A4ED-43B3-9D99-CB036A3C54ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6baf185b0f9f31d195844d6e2371ab310c19a9","datavalue":{"value":{"entity-type":"item","numeric-id":4899968,"id":"Q4899968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689568$6848BCC0-E7EC-4C5A-924C-E78471009AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689568$E1EFB6AB-BA6B-4E42-A19C-79494D4136AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed247cfaa9f806167217df5f2ac409bdf00e763","datavalue":{"value":{"entity-type":"item","numeric-id":4982110,"id":"Q4982110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689568$D2C723A6-F82E-4EA7-B86D-1A9D1A5BDF73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d572ca32812c20040c11498fef30abad98cbcf91","datavalue":{"value":"10.1007/S11787-017-0169-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689568$1E93BBC9-1D23-4C6D-9C95-0161DB6C1340","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41768887760c21f7ab48d03564e483ba97338515","datavalue":{"value":{"entity-type":"item","numeric-id":4999723,"id":"Q4999723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f86b0ecb32411abfe3587f29a554cbe8b94bf753","datavalue":{"value":{"amount":"+0.8715940713882446","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":"Q1689568$E73C5488-9F6C-4DF4-A024-1066CA8190FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cdd2feba569f154bc50d7455ae7958c2d1718c1","datavalue":{"value":{"entity-type":"item","numeric-id":4683216,"id":"Q4683216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9a9d314ed888bb369bad4cc4f502b63b36c104","datavalue":{"value":{"amount":"+0.8262805938720703","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":"Q1689568$1DC83FC9-21BE-4855-8AC4-819D8521B333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58e15df1155baf6a188ffd4b79cb693403c3af0","datavalue":{"value":{"entity-type":"item","numeric-id":4683206,"id":"Q4683206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4df366271dfcaa0abc57233aba374c94686aa405","datavalue":{"value":{"amount":"+0.8174252510070801","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":"Q1689568$66975A37-EE86-473C-B832-D76E02A1E6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a813664f4a19b295f60be8e770b0171bd75d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3305619,"id":"Q3305619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd8f25139caec131a35788ce39d4aba5a30a2bc1","datavalue":{"value":{"amount":"+0.8012416958808899","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":"Q1689568$5369849B-E3D7-4E78-9784-8D48B1E71D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbdfdfac758ed1d954834907a9396c2dda4607ec","datavalue":{"value":{"entity-type":"item","numeric-id":5240589,"id":"Q5240589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce6e5d8382daeb0a9731d0093459356fb04be6a","datavalue":{"value":{"amount":"+0.7898281216621399","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":"Q1689568$C4660259-412C-4E32-A993-E0F217480895","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1689568","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1689568"}}}}}