{"entities":{"Q647417":{"pageid":649266,"ns":120,"title":"Item:Q647417","lastrevid":51371909,"modified":"2026-01-17T23:34:57Z","type":"item","id":"Q647417","labels":{"en":{"language":"en","value":"Consequence and interpolation in \u0141ukasiewicz logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977625"}},"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":"Q647417$2975D342-6C8F-4826-A2E6-00F96B6C11D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"caecb93b29feef08213cf5e3d9f1ccce82e0512d","datavalue":{"value":{"text":"Consequence and interpolation in \u0141ukasiewicz logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q647417$1B94A662-D3C2-4ECB-9848-B9B451D86396","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b234410ffd1771dff01b2295828bf3e3e449bd12","datavalue":{"value":"1242.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647417$5CD4AD5E-8F27-47DD-A23B-D1DC24D4357E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8059b8b5e7d67e2c7a1c512c2a2acd219f0f77d3","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647417$E98FF984-B5FB-4A70-B3A5-D3EB633B3182","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647417$0D1F0DAF-2415-4F2A-A6B8-82AA10A92257","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e41089f084c402eced6627daeaaccc5646c70332","datavalue":{"value":{"time":"+2011-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q647417$2E2CC860-BF3C-40CF-B184-AEE40C9609A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1f538cd91bb96713efc0e67f2c317c48cec3cb80","datavalue":{"value":"The classical deduction theorem does not hold in \u0141ukasiewicz propositional calculus, but a weaker version holds: a formula \\(\\psi\\) is derivable from \\(\\varphi\\) if and only if there is an integer \\(m\\) such that the formula \\(\\varphi^m \\to \\psi\\) is a theorem. Also a deductive interpolation holds in infinite-valued \u0141ukasiewicz logic: for any two formulas \\(\\varphi\\) and \\(\\psi\\) such that \\(\\varphi \\vdash \\psi\\) there exists a formula \\(\\vartheta\\) such that \\(\\varphi \\vdash \\vartheta\\), \\( \\vartheta \\vdash \\psi\\) and the variables of \\(\\vartheta\\) are among the variables common to \\(\\varphi\\) and \\(\\psi\\). In this paper (published in a special issue in honor of Ryszard Wojcicki, who has made important contributions in this field), the author uses the geometry of \u0141ukasiewicz logic to give an alternative proof of the deduction and the interpolation theorems. The paper is written with the typical perspicuity of the author and, as is said in the abstract, can be read as an introduction to the geometry of \u0141ukasiewicz logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q647417$F6542754-24F0-4C28-988D-ADEEEE8BB474","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a2a70f0f285d20f2fec0c316c192a882e68b3933","datavalue":{"value":{"entity-type":"item","numeric-id":591007,"id":"Q591007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647417$094A6AD0-1373-49EC-A32A-45FDFEA1F511","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647417$F8517D9C-7D3E-4BF4-8E6B-83F7965A17DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68e529fa2f789a3fb91fed57eb986b2b21997e97","datavalue":{"value":"5977625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647417$055511DB-02C5-4484-9451-AE65D710561B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q647417$7CF5B2CF-CAB3-419E-9984-7F6AF10856F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q647417$61306DF9-4738-46A2-A037-AE507A761619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68e652124fc9073b6656e26a26b08d40f0619455","datavalue":{"value":"rational polyhedra","type":"string"},"datatype":"string"},"type":"statement","id":"Q647417$1486098D-835F-4420-A894-8B00B29967DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"035833e0e254ca70de52fd862a3eadd1b327c492","datavalue":{"value":"infinite-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q647417$8DBEC8FC-54EA-4D2E-BA71-F1EF44A4F159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"626d328638f0e8bfd2c7f65d2308e670728a3d77","datavalue":{"value":"consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q647417$6A5A7150-BFE8-4AE3-98BF-4213DAE6C372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06171b25f3be7f2cb390ce87103a0717c0cd632","datavalue":{"value":"deductive interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q647417$BD4152E4-2445-469A-9C47-5372CBF9F0A9","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":"Q647417$90DBD55A-8B6C-4414-AACB-1C0D77864D5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"529c63a891b9dc5bdcb1d7182eee77e0ce635c6f","datavalue":{"value":"https://doi.org/10.1007/s11225-011-9352-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q647417$E447E6F4-53AD-44DD-8606-4F3289184CF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14072d1bfbc52f9a69029afb346f68d624750bb2","datavalue":{"value":"W2090547318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647417$26E85AA5-098B-487C-A1AC-57D767E07F98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da52bb4a0356b29ce28faa5e3a1462960a6a797","datavalue":{"value":{"entity-type":"item","numeric-id":5332212,"id":"Q5332212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647417$ABB3BC91-A842-43F8-88D3-659B9134D95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2148f50f0a03a5c567ae2ae43602409775e953e8","datavalue":{"value":{"entity-type":"item","numeric-id":2498905,"id":"Q2498905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647417$A538DD10-E577-44DA-859F-26321BEABFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7dfc1979742f69330d0a9e5f62daf0195a9d7b6","datavalue":{"value":{"entity-type":"item","numeric-id":3792657,"id":"Q3792657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647417$D8964CE1-436B-47C2-9F47-9789594A85B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94af076537c519674b09fa5a4530cb9f93d0277","datavalue":{"value":{"entity-type":"item","numeric-id":1211481,"id":"Q1211481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647417$C6441987-CB22-4F2E-8585-98070F162F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbcbbe97f24f82950314edc7c6f712b067fe22e","datavalue":{"value":{"entity-type":"item","numeric-id":1188523,"id":"Q1188523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647417$E67B6842-D098-4111-9E18-78E8D7EE5D47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7938fea704451f973a25135e36dcbc6d17b42090","datavalue":{"value":"10.1007/S11225-011-9352-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647417$522AE5A4-C21E-45B0-BC94-BE41F78B2AAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0090e119c84bae189a9643a15a5400196cd26ea","datavalue":{"value":{"entity-type":"item","numeric-id":3028980,"id":"Q3028980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd28f29a5929c84be117b9c398930bcc6131330","datavalue":{"value":{"amount":"+0.7861316800117493","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":"Q647417$97505617-F008-4B51-A872-11990F5F537D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369ff79a108f5e22c0a0b6f7e932f476cb1d34a","datavalue":{"value":{"entity-type":"item","numeric-id":3680812,"id":"Q3680812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb3c7d48a29951a5c64bfa7e3e4b1cc747bcd2e","datavalue":{"value":{"amount":"+0.7574132084846497","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":"Q647417$560EB728-839D-477B-9E21-7703BC3720B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a3c17abc881acd9b884385dfbc5012202036fe","datavalue":{"value":{"entity-type":"item","numeric-id":850803,"id":"Q850803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c16b69405b94b5ecb040a8788521a100601d064","datavalue":{"value":{"amount":"+0.7526355385780334","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":"Q647417$F998BC7A-1982-4D1D-806D-30B73C4433B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6c04ebaf451bf98b0044fe2add4de8992068ad","datavalue":{"value":{"entity-type":"item","numeric-id":4842633,"id":"Q4842633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"588d3c484c193478a3f0ea7c9c99d725405b76e4","datavalue":{"value":{"amount":"+0.7492605447769165","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":"Q647417$D89D53BF-9A96-4625-BDA1-EEBCA7A75E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b23ffa021ce3fc5346b765f743a122f56b5b6afb","datavalue":{"value":{"entity-type":"item","numeric-id":4644542,"id":"Q4644542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f755cee8943c8a09ac86d127d456a6b91b864e1c","datavalue":{"value":{"amount":"+0.7480802536010742","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":"Q647417$2070559F-4B40-4020-8022-3AC5BF2797EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:647417","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:647417"}}}}}