{"entities":{"Q2016072":{"pageid":2026814,"ns":120,"title":"Item:Q2016072","lastrevid":73977627,"modified":"2026-04-14T17:55:46Z","type":"item","id":"Q2016072","labels":{"en":{"language":"en","value":"Curry's paradox, generalized modus ponens axiom and depth relevance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6305280"}},"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":"Q2016072$29D7F3FB-54C6-4533-83A1-C757EDA60A6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06bb053e9e438a4563df2bb4cb7aac3459cb9c96","datavalue":{"value":{"text":"Curry's paradox, generalized modus ponens axiom and depth relevance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2016072$EDF0AF74-817A-474D-909E-A49656926F03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6a03497e0043f8ef85b7fee1a1c87e246d926ce","datavalue":{"value":"1342.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016072$00156D15-4AC6-48B9-BACC-CA9C8A85B2D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016072$AD1E2464-13D4-427B-9CF9-2CC15829E1C6","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":"Q2016072$6CD4C246-71E9-42C3-814C-B3FA16C91FC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"837e229c4712445d21ddb3419ca34ef7a9a006d4","datavalue":{"value":{"time":"+2014-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2016072$111CDFA0-B38D-4622-AE68-02CD69F5EA80","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2b793456cee8423e3c274e9e2f30578e5144fa0b","datavalue":{"value":"Let a logical matrix \\(M\\) be a structure \\((K, T, F, f_\\rightarrow, f_\\wedge, f_\\vee, f_ \\neg)\\), where \\(K\\) is a set, \\(T\\) and \\(F\\) are non-empty subsets of \\(K\\) such that \\(T \\cup K = K\\) and \\(T \\cap K = \\emptyset\\), \\(f_\\rightarrow, f_\\wedge, f_\\vee\\) are binary function on \\(K\\), and \\(f_ \\neg\\) is an unary function on \\(K\\). Then, \\(M\\) is said to be a weak relevant matrix (wr-matrix) iff there is \\(a_F \\in K\\), \\(K_1 \\subseteq K\\) and \\(K_2 \\subseteq K\\), such that \\(K_1\\) and \\(K_2\\) are disjoint, and the following conditions are fulfilled: \\(\\forall x \\forall y \\in K_1(K_2) \\, f_\\sharp(x,y) \\in K_1 (K_2) \\text{ and } f_\\neg\\in K_1(K_2)\\) (\\(\\sharp \\in \\{\\rightarrow, \\wedge,\\vee\\}\\)); \\(\\forall x \\in K_1 \\forall y \\in K_2 f_\\rightarrow(x, y) = a_F\\); \\(\\forall x \\in K_1 \\cup K_2 f_\\rightarrow(x, a_F) = a_F\\). Then, it can be shown that any logic veryfied by a wr-matrix has the variable-sharing property. A wr-model structure (wr-ms) \\({\\mathcal M}_M\\) is defined as the set \\(\\{ M_0, M_1, \\dots, M_n, \\dots, M_\\omega\\}\\), where \\(M_0, M_1, \\dots, M_n, \\dots, M_\\omega\\) are all identical matrices to some wr-matrix \\(M\\). It can be shown that every logics veryfied by some wr-ms, satisfies the so-called depth relevance conditions in the sense of Brady. It can also be shown that the so-called ``deep relevant logics'' verified by a wr-ms are not subject to a generalized modus ponens used to derive Curry's paradox.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016072$ADCBD3A5-C9C2-48B3-A02B-4DC4981D98AE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bb5a4a2c374444b66a40fc8d22c526516814731e","datavalue":{"value":{"entity-type":"item","numeric-id":590167,"id":"Q590167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016072$CAE61961-5A7C-47CD-9A03-5E2F207EBC39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016072$CCC2A7A0-8023-43D7-B821-A66BFA200BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016072$764C500A-177C-40CE-9C5B-9FC5EFB02771","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e29f6e621df692b8338aa4e6120456389318b8e","datavalue":{"value":"6305280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016072$FAB81577-C93F-41AA-88CE-B60FF902383A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42e2d7c0664f8d559d779f9560e787aaa14529ba","datavalue":{"value":"Curry's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016072$69C98323-95EF-4F51-8FE2-497C07F6813B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bcacee05b6e6284cfb1ed1ccac29af1a50d384d","datavalue":{"value":"depth relevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016072$E40B4E4A-6539-4623-BE44-115E17DE70E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6d56b7e4fc226012aff5279449848a658bb30c","datavalue":{"value":"generalized modus ponens axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016072$5F280E03-954C-4848-8DC1-9B9A36949548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e683a16467ae8a42e5782d446b7f4ebad704002d","datavalue":{"value":"generalized contraction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016072$4570CFE7-3247-4C32-B20D-144257A8B0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd66520984b29eacbe5415dffd50ce0608716c08","datavalue":{"value":"weak relevant model structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016072$BBB1D6B5-B204-4666-A184-68BF433001FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016072$8332EFB6-6FDA-4F12-88E2-7772B0A13EDC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"779aff4bf51754024f188658a1251957069e0305","datavalue":{"value":"Q114017388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016072$C075EDD5-A17E-4C27-A229-23CF39E32096","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa8e8866ccf30a923f2cffed3f081afb0d0504c8","datavalue":{"value":{"entity-type":"item","numeric-id":23809,"id":"Q23809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016072$81A16321-C101-43F3-8A3F-A5BB17F18CDE","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":"Q2016072$436EFF75-4BFB-488D-91DC-B4FCF5314345","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abe6801aef26a614c1bdaac4b45e06875d1c561f","datavalue":{"value":"https://doi.org/10.1007/s11225-013-9471-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2016072$5FE77494-B278-4890-A1DC-28350CD2FC26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd7d2a6fe29e79390fcfb0a5a60b021e7acdca79","datavalue":{"value":"W1968516098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016072$AFE14257-6B4A-4CF7-8656-8DE49D01264F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016072$B11B7DAD-F249-48F6-9BB7-BE1CD6BBAA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8930c54d1c42255213199ec68b58ab8bd12e8f41","datavalue":{"value":{"entity-type":"item","numeric-id":3712316,"id":"Q3712316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016072$F6F94F32-D102-454E-B67F-A8F02134CF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed76abb2f7eff69568c9848e5af8c307dca946f","datavalue":{"value":{"entity-type":"item","numeric-id":3293396,"id":"Q3293396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016072$3735512E-E3BD-4ED1-BAEA-2555C7AA6471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c771d3c6da3908e4ec2dd96bd8773879bbf35544","datavalue":{"value":{"entity-type":"item","numeric-id":3962967,"id":"Q3962967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016072$86200766-9C10-41E0-BFD2-1C0E84DFE51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc7cddca87b215cbc13baf70c47a604930b876b","datavalue":{"value":{"entity-type":"item","numeric-id":1068075,"id":"Q1068075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016072$7BABBB1B-534D-4688-B63B-A777FF0FCBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46e314ddea0c41e51c488ae46f4a8ead5692a93","datavalue":{"value":{"entity-type":"item","numeric-id":1206806,"id":"Q1206806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016072$1041D7CF-480F-4B6B-A365-3C42F5D2781C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242603b3c2b05a954d58edc52a3ada10b8d896cf","datavalue":{"value":{"entity-type":"item","numeric-id":1914376,"id":"Q1914376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016072$2CAB1C55-3BD6-4955-B060-2E163F244127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01eb2bbbd6432b325881593fdca690ebfa848d22","datavalue":{"value":{"entity-type":"item","numeric-id":4961804,"id":"Q4961804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016072$D14F1FCF-2CEE-4557-95F2-9BDA3B85E335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2723be41a3130086c62a67c781fb6caf24e26d78","datavalue":{"value":{"entity-type":"item","numeric-id":3543573,"id":"Q3543573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016072$B6EEE5BA-E225-40BE-82E7-45E365AE2496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60facddfc77a4ec30a3c2b2c8df80393a115cfa2","datavalue":{"value":{"entity-type":"item","numeric-id":5834321,"id":"Q5834321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016072$C8843A61-7421-47B4-BE7D-686D9FE6473A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e07e3bb89a5db500b2c0d2498b5747e473fc4e","datavalue":{"value":{"entity-type":"item","numeric-id":435241,"id":"Q435241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016072$BA6C7303-EEFD-4FC3-A460-5197B1194119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e010ca94c064a90ab3c271835006510da0ca477c","datavalue":{"value":{"entity-type":"item","numeric-id":2443123,"id":"Q2443123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016072$889C0AA9-BC4D-4B6D-99E1-7D346FFD5134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24750ac692695a44f73abfa210a6f8d128ed26","datavalue":{"value":{"entity-type":"item","numeric-id":1771203,"id":"Q1771203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016072$86C8E473-E6E3-46CE-A272-83813B325A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016072$5454069C-5C5E-4170-8535-5D9C4F097369","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd21c6b76c1f495e624fb43c6db5a7dd2de7ce58","datavalue":{"value":"10.1007/S11225-013-9471-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016072$8FDF8244-1EB3-4154-9B5A-FFE1C09B34E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5995d61d49c1690acb4a7601b600864fa553ce","datavalue":{"value":{"entity-type":"item","numeric-id":4012972,"id":"Q4012972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556cd8c0c109bc4300f3609d7837d076c9237548","datavalue":{"value":{"amount":"+0.7361249327659607","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":"Q2016072$AC8CADCB-EDC9-4B56-8E3F-1E6E21D3892E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d8e7416e56a0658bfad34c21ce3ad862c26234","datavalue":{"value":{"entity-type":"item","numeric-id":3386924,"id":"Q3386924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae1e7c6821d24351131e00f70210855f87e8b0e5","datavalue":{"value":{"amount":"+0.7344706654548645","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":"Q2016072$A4E42322-E1C0-4115-870D-E76D92C7C016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f8d858efcb8bbaae269ead6c92f0824e2e20afd","datavalue":{"value":{"entity-type":"item","numeric-id":496329,"id":"Q496329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d47605fe2628ccc878ec0b440f89be418931c3","datavalue":{"value":{"amount":"+0.7200349569320679","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":"Q2016072$92FDA6CB-EDC4-48B3-A386-C972940C9FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"444974eb0dbcc0981dc89ca2dd9b12b32c868ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1708463,"id":"Q1708463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f87da4aff838f637e035f0156a18ba82b042cb44","datavalue":{"value":{"amount":"+0.7196422219276428","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":"Q2016072$E12D5C4C-59C2-447B-A467-F9BAEBCC0931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7eed8c2bcb648d463c53657bd45a451a2d29831","datavalue":{"value":{"entity-type":"item","numeric-id":5213761,"id":"Q5213761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49138f2db71db5ded4498f64d6b31c2a6148a14f","datavalue":{"value":{"amount":"+0.7158989310264587","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":"Q2016072$ED9D54CC-3429-4793-89E1-CB580AD825C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Curry's paradox, generalized modus ponens axiom and depth relevance","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Curry%27s_paradox,_generalized_modus_ponens_axiom_and_depth_relevance"}}}}}