{"entities":{"Q692184":{"pageid":694033,"ns":120,"title":"Item:Q692184","lastrevid":63761370,"modified":"2026-04-11T15:22:08Z","type":"item","id":"Q692184","labels":{"en":{"language":"en","value":"Real analysis in paraconsistent logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6112538"}},"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":"Q692184$A86266A8-9B31-4CE8-8465-5256DDDEC0BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5e688c3e120993cd83432fdc9d58b3ee5d068ec","datavalue":{"value":{"text":"Real analysis in paraconsistent logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q692184$8FE52CA8-1ECE-4D81-949C-3483954352DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ae521f4fe3a066b5129ec979477b7da551c7a25","datavalue":{"value":"1270.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692184$7DD791D9-C893-459B-8B5A-2384D839F208","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a55e85475f89d2f848fd05b0183735a601063dc2","datavalue":{"value":{"entity-type":"item","numeric-id":692183,"id":"Q692183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$754E83B3-7D5B-4179-95B5-92465610E990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6262e92c1eec6a2b904522000fa38dbd7eef5dd9","datavalue":{"value":{"entity-type":"item","numeric-id":514096,"id":"Q514096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$1C891A12-0005-4D97-B53B-36164A3F98E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$480994B0-D98B-454F-B350-D65BF2706EF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"891255cb5cfc7b67e7ef7115dc91b547aa6e665c","datavalue":{"value":{"time":"+2012-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q692184$3A216E8A-7AD3-4922-AC93-426ADA4995C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"263fac4cab1f259af243eedea258be3e86b3d673","datavalue":{"value":"A logic \\(S\\) is paraconsistent if it lacks the rule ECQ (``ex contradictione quodlibet'', i.e., \\(A,\\lnot A\\Rightarrow B\\)) or, from another point of view, if inconsistent theories built upon \\(S\\) are not necessarily trivial (i.e., do not necessarily contain every well-formed formula). Paraconsistent mathematics is the development of mathematics in a paraconsistent logic, and so, the present article develops an analysis of the real line based upon a paraconsistent logic.  This paper has a double aim. The first one is to show that it is possible ``to do everyday mathematics'' (p. 901) in a non-trivial inconsistent context; the second one is ``to explain in part a basic historical fact: the original calculus of Newton and Leibniz was inconsistent'' (p. 901). The main section of the paper is Section 4 (Compactness), as the main purpose of the authors is to prove compactness properties and, in particular, the Heine-Borel theorem. It is interesting to note that this theorem is proved by borrowing some strategies from \\textit{constructive} analysis (of course, one cannot follow the classical proof paths in a paraconsistent context. Cf. Section 4.1). And, concerning this use of constructive ideas in a paraconsistent setting, the authors remark: ``Now, bridging the gap between nonclassical mathematics, combining techniques, has begun'' (p. 919).  It is worth remarking Section 3.2, where a discussion on the possibility that inconsistency arises in the theory developed is introduced.  The paper ends with Section 5 \\ where some ideas for pursuing the investigation of real analysis from a paraconsistent point of view is presented. Although the authors ``do not make much of the logic per se'' (p. 902), I think that it is important to remark that the system used is a substructural weakening of Routley and Brady's logic DKQ: it lacks structural contraction as well as the operator contraction axiom \\([(A\\rightarrow B)\\wedge (A\\rightarrow C)]\\rightarrow [A\\rightarrow (B\\wedge C)]\\). The use of the restricted quantifiers in the development of the theory is to be noted too. The logic is briefly displayed in an appendix. \\ A note on Curry's paradox is also included in this appendix, presenting a brief discussion on the question whether the system here developed gives rise to this paradox.","type":"string"},"datatype":"string"},"type":"statement","id":"Q692184$2F51E31A-3F93-418E-AD5A-BCFD5B818551","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1337cba793ece012dc87025b12e0025a65ffdc83","datavalue":{"value":{"entity-type":"item","numeric-id":590824,"id":"Q590824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$90C77927-F113-4E48-97F7-438A90354339","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692184$B89757D9-3298-4408-A672-B06EDF6E18A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b98ad4650c5e0104983d42c4c01b72adfa18af1","datavalue":{"value":"26A03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692184$FDE03DFA-844E-4EDC-BC81-D2B86C7D7D20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ff5e12685375648f4ab9629fb3380dfe80c9999","datavalue":{"value":"6112538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692184$9E9950FF-B5E0-459D-80C7-079244C78978","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q692184$F296C4E0-0AC3-48CE-B094-037CA7A0458A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7db0d051fb25f07a611ed6280be5aed2afc3d8df","datavalue":{"value":"nonclassical mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q692184$FB05FE15-AD90-4CF4-B678-C8922064B5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"952181759edd0428061362d2d919c32b921f66bd","datavalue":{"value":"compactness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q692184$88E68642-2B21-4F98-97F2-AC000E83A3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5749bdb23751743f7c09c9f1d1b5e471a95fb8fa","datavalue":{"value":"Heine-Borel theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q692184$E1832798-FBD7-4ADC-ACBF-A6EC0683309F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a041a1f8498a8dac601fb3fd69ee2212d11a0fe7","datavalue":{"value":"real analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q692184$81BAEFD3-B395-4156-9158-4C179AB35E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42e2d7c0664f8d559d779f9560e787aaa14529ba","datavalue":{"value":"Curry's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q692184$265D9318-FB8F-4060-9857-9311DFBD0B93","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":"Q692184$372BF1DB-DC43-41B3-BE0A-DAD5C088A171","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52540af63eed3e86a22035d1a8b007ff01289e2c","datavalue":{"value":"https://doi.org/10.1007/s10992-011-9210-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q692184$F8E2F2F1-2ED2-473A-92FE-6BF255CBD865","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"471e17433ea19f4c5877b4a2f0bd7a44fa92254e","datavalue":{"value":"W2155129617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692184$F39962B6-E7C1-4815-871F-048696BF8C73","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b12c3427f3cfc70c0e07b38ea78872a08be61fd","datavalue":{"value":{"entity-type":"item","numeric-id":2762534,"id":"Q2762534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$1774EEEA-206F-4BC8-B70E-3571194F1841","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":"Q692184$826692C1-6F67-4CDA-8F2A-B72B8E738DC2","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":"Q692184$19169820-195C-4113-BAC6-D7715769650A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20eff1c19b24c98c48ffacc2f2d498e6fa5fd9e5","datavalue":{"value":{"entity-type":"item","numeric-id":3032252,"id":"Q3032252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$DE4F5692-A0AA-435F-A00D-78146614CB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$197D0138-6863-4554-8FC0-DFB08F017CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018016ba75f094389ddbe8cd6d592b09e33487a2","datavalue":{"value":{"entity-type":"item","numeric-id":1771201,"id":"Q1771201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$4702D0E2-9DAA-4835-8EFC-FE5EB156DFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e3347753b0fc1a15905544eddbfdf2a1c01a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1775870,"id":"Q1775870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$6D448305-4819-4F32-80A7-8E2D9C258DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57783177b8c4f74c0bde4738595273dc0686a4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4329288,"id":"Q4329288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$62B17AA1-1A5C-4364-AC01-233F9C1EADCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf157623d4b550d0be1608c87ebba24a9ca0e0c","datavalue":{"value":{"entity-type":"item","numeric-id":3058982,"id":"Q3058982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$EF199210-44C5-4763-A77C-B42BBF54EF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ac3680f722b3c4628bd0a6474880604d12b94","datavalue":{"value":{"entity-type":"item","numeric-id":3919679,"id":"Q3919679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$415FB3A4-3F39-4C47-93F7-1E697497AC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e57365e1930192be9952344e4613696b0013b06","datavalue":{"value":{"entity-type":"item","numeric-id":3257760,"id":"Q3257760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$56A35E0F-95C0-4E6F-AD4E-2D606EE76D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbe98b03033c0f226f4ee33f47d164d8d415e58","datavalue":{"value":{"entity-type":"item","numeric-id":1876086,"id":"Q1876086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$D42D9391-83DC-48E0-AE0E-820E54134102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"827e0f15fe44ac6492cf0341af30d3de4f039a11","datavalue":{"value":{"entity-type":"item","numeric-id":4198728,"id":"Q4198728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$9B96832D-DAC0-4CF8-BE51-303AE3281A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"979be69ea7b898d70136e7f48876e13a905e04c3","datavalue":{"value":{"entity-type":"item","numeric-id":1813232,"id":"Q1813232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$6F3FD629-55B7-4A9F-8998-3B8580DB6B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b143c55fccb50bc52c8564eda293bb84d3b14627","datavalue":{"value":{"entity-type":"item","numeric-id":4841568,"id":"Q4841568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$3602F8D9-777C-41B2-B8FE-984789C60177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0efd62d2f698994299f17a9d297cce08d4c7dea2","datavalue":{"value":{"entity-type":"item","numeric-id":4329291,"id":"Q4329291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$4D98BB70-19FB-4B83-A722-989454C53E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b42e084fde522be211082218d43628a5408afe","datavalue":{"value":{"entity-type":"item","numeric-id":3992933,"id":"Q3992933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$75707CF0-44EA-49E3-8430-916004F6E6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$1D2042D3-C94F-4D3D-840B-2FEFD75702DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16238b7b305e47995299b7fa143b7b717b5deffc","datavalue":{"value":{"entity-type":"item","numeric-id":4692665,"id":"Q4692665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$076F90BA-7CBC-438D-B37A-6BA417C708C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c276b98f7c86e9d5b81785d1000b2a626a58829","datavalue":{"value":{"entity-type":"item","numeric-id":3550706,"id":"Q3550706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692184$D6BF6950-BCC2-43FF-A8B2-062B365007AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb05c4909ad6ba3bf8c809a89d8341370136df07","datavalue":{"value":"10.1007/S10992-011-9210-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692184$CC760962-5A0F-4CAC-B522-407859442523","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608a67a8e1942457f495d9b53b672f096efce8c3","datavalue":{"value":{"entity-type":"item","numeric-id":4329288,"id":"Q4329288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f793e5800c0c77d0da0a3ffc13930710a01e7c32","datavalue":{"value":{"amount":"+0.7801768779754639","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":"Q692184$5720A3CF-2D67-4D72-91AD-0BF2B4412492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5909f4e6203afe3d4f210f78aa7a6b8f45eda389","datavalue":{"value":{"entity-type":"item","numeric-id":4841568,"id":"Q4841568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a507c0b5d9d111e9699ca0ecde36d64d77ef643e","datavalue":{"value":{"amount":"+0.778183102607727","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":"Q692184$1088B41B-803C-4253-A8AA-56726E6D4B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08220f3ac2438349ecbeebb523085d10aeda6cad","datavalue":{"value":{"entity-type":"item","numeric-id":2908763,"id":"Q2908763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9140a6649ebdf35afb53aed8e5931e7a5540b2a7","datavalue":{"value":{"amount":"+0.7781037092208862","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":"Q692184$5CC53353-5A2F-47C8-96E3-3CDF77FA1492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234837737dd93d4a38001bfcf7ace8f3889a0bd9","datavalue":{"value":{"entity-type":"item","numeric-id":4205424,"id":"Q4205424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08fc679c100e18bd6010893838e30a0d438a86d0","datavalue":{"value":{"amount":"+0.7766197323799133","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":"Q692184$95667138-88DF-4255-BB39-F4A900E6E7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce4656061d3fc0bfd13d90376aecdcb78bac475f","datavalue":{"value":{"entity-type":"item","numeric-id":3813798,"id":"Q3813798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef11ca152da421137598df0cda5a265da61d10e","datavalue":{"value":{"amount":"+0.7742392420768738","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":"Q692184$883F6D95-65DD-42BB-8C23-1927445376A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Real analysis in paraconsistent logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Real_analysis_in_paraconsistent_logic"}}}}}