{"entities":{"Q912092":{"pageid":913940,"ns":120,"title":"Item:Q912092","lastrevid":65297205,"modified":"2026-04-12T01:37:29Z","type":"item","id":"Q912092","labels":{"en":{"language":"en","value":"Truth table logic, with a survey of embeddability results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4143972"}},"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":"Q912092$1BA1A41E-7F98-4435-A0D2-5340BD91D545","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd5fc6bbe287db5adec7b656b4bdcb39857f5115","datavalue":{"value":{"text":"Truth table logic, with a survey of embeddability results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q912092$2A5BF928-0094-4959-BF36-B79044F0A70E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fefa069498031b487f0d0383e548d58c7bb3e1e6","datavalue":{"value":"0698.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912092$E7C0A28A-C681-4F8B-A847-12F5A95226F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27254c1d2f89d1ba738a7f8c09db866c62eee8c2","datavalue":{"value":{"entity-type":"item","numeric-id":246764,"id":"Q246764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912092$6FE6778F-E3AE-4B2A-8201-39E151CAC10F","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":"Q912092$606C4CA4-759D-449F-891C-506BCF52E1D7","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":"Q912092$82C87483-8737-4770-B173-DF078B12F1C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5921a7565d7d97a8e461a37f508b24d7be51945e","datavalue":{"value":"The propositional natural deduction systems considered here have standard introduction rules [including (A\\(\\vdash \\Lambda)\\vdash \\sim A]\\) and less standard elimination rules always having conclusion \\(\\Lambda\\), for example, A,\\(\\sim A/\\Lambda\\) or A\\&B, (A\\(\\vdash \\Lambda)\\vdash \\Lambda\\) etc. Only normal derivations are considered satisfying the relevance condition (discharged assumption cannot be absent), and the normalization theorem is invalid. The main lemma in Kalmar's proof of the completeness theorem, but not the theorem itself, can be proved in the system. A version of Glivenko's theorem (\\(\\vdash A\\) classically implies \\(\\vdash \\sim \\sim A\\) in the system considered) is also established.","type":"string"},"datatype":"string"},"type":"statement","id":"Q912092$CD078137-7B4B-43F2-8313-A2F45D4EBA11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912092$5D9D3759-4C02-4630-B342-E8C4A8A8CC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912092$1E15AD26-6ABF-4176-89EA-32E9671C59D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cde24f376bcd65e84c34536eed0888bdb45563d6","datavalue":{"value":"4143972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912092$3C8D8D3C-AFCA-4498-9C5D-9F7A0DF92A43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q912092$D3592B9F-F044-4AFB-8116-3DA23687B4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a2e06e2c04d672d5bf87e278c022183a2a980c3","datavalue":{"value":"subsystem of intuitionistic relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q912092$BE9BDBB2-5A14-4701-B2CC-200E2E46A25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03a90442e0d1261ff70fde8b59d435e30efe5d99","datavalue":{"value":"propositional natural deduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q912092$05FB4856-0F5D-4CCC-9FAB-B38A4F21D5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358a089dbca8e4b2287a34a8dff4c68c433c9f00","datavalue":{"value":"normal derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q912092$C4E8A11D-03D7-44EA-B7AD-E64CC179440B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q912092$D3BC552A-4F05-446E-B272-E36DC1388013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8ea5a92b1759cef1a2417e84c1a0f66f66e4d2e","datavalue":{"value":"Glivenko's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q912092$9CE7495E-CA14-4BD0-A1DC-B7C897169106","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912092$6BCE3729-3285-4337-B93F-4AD1FB957B29","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":"Q912092$B4E1897E-CFD5-4FE1-9EC4-0A100C50C35A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7be5aeb629cc76011fa3734045a8f1097dd53e19","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635160","type":"string"},"datatype":"url"},"type":"statement","id":"Q912092$E4BEB846-6D3C-49DE-A452-F6BA20B1B6F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"061431679b23c8481a5870e78d016c1325ed43c9","datavalue":{"value":"W2052767964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912092$2835C3C9-1457-443A-AB72-5C275F6D6C3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0c46da424cc499e4114ff85a7f42506a7a95f1c","datavalue":{"value":"10.1305/NDJFL/1093635160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912092$6D3E75F0-5D47-449B-9F23-5526E4C59CAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be03357957a12b9200336f35abcd61305f50d04a","datavalue":{"value":{"entity-type":"item","numeric-id":5212037,"id":"Q5212037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2990b0e64efa2f0b53a9abd5475592ecc4a82066","datavalue":{"value":{"amount":"+0.7636604905128479","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":"Q912092$22593BAA-517E-4EDF-A83D-A2B38806E261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e599edd9b0abfdabcf1663322f619f1f46927915","datavalue":{"value":{"entity-type":"item","numeric-id":965859,"id":"Q965859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af125d1ade22f0e6933cd74951c479b631acb387","datavalue":{"value":{"amount":"+0.7537174224853516","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":"Q912092$51DF546C-E7EF-49EA-8F44-41AFF331BCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b692ce3de9122d8fcb53989f11735e3ac2ddea6","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cfd49a479d0192085b5d762584ce3666cef0f91","datavalue":{"value":{"amount":"+0.7511155009269714","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":"Q912092$D2F60380-DA3D-4369-A7E4-B969C2C6FCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73528517c9119b780bd9a7fc9db04e087de22757","datavalue":{"value":{"amount":"+0.7477247714996338","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":"Q912092$18B4B041-9A45-45A8-88C0-3085CEF6D5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c079dde10394153448da5cd7c08801039330ff","datavalue":{"value":{"entity-type":"item","numeric-id":3108644,"id":"Q3108644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5563f1a4f87c3bcc88cae340023985fc434167","datavalue":{"value":{"amount":"+0.7452297210693359","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":"Q912092$906064F5-E63E-481E-94B7-5A61DCA5ADA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Truth table logic, with a survey of embeddability results","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Truth_table_logic,_with_a_survey_of_embeddability_results"}}}}}