{"entities":{"Q1697334":{"pageid":1708075,"ns":120,"title":"Item:Q1697334","lastrevid":68207436,"modified":"2026-04-12T22:08:51Z","type":"item","id":"Q1697334","labels":{"en":{"language":"en","value":"Paraconsistent fuzzy logic preserving non-falsity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6840667"}},"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":"Q1697334$20E4C973-F9B2-4226-AEC5-D4E1DB641348","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9bae3c746f0dfc95def4b48785a5fd648e6c7f7","datavalue":{"value":{"text":"Paraconsistent fuzzy logic preserving non-falsity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1697334$E05B4AE3-0388-4390-A7EB-D3176AF08007","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fa2680dd35799035c31234d3884ea64f57fe413","datavalue":{"value":"1397.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697334$0A32A3F9-1637-4D20-B32A-AC32F9B466D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697334$FF8F2A1B-F90D-4DCC-A6E6-4C4873E7263F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697334$8DE3AB0E-FA28-4D52-B747-EDE215FB692A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f287bdf783f35305500eed531b35fb7e704778e5","datavalue":{"value":{"time":"+2018-02-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":"Q1697334$F2CD8CB1-DC6B-42E2-86E4-6D5A794B0225","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"acb0cdb6d8e0288d30e170511d5dbdb336a16beb","datavalue":{"value":"Consider a standard axiomatization of the logic \\(\\mathbf T\\) of ``ticket entailment'', introduced and motivated by \\textit{A. R. Anderson} and \\textit{N. D. Belnap jun.} in [Entailment. The logic of relevance and necessity. Vol. I. Princeton, N. J.: Princeton University Press. (1975; Zbl 0323.02030)]. The system \\(\\mathbf{TMP}\\) is obtained by adding to \\(\\mathbf T\\) the following two axioms: \\(\\varphi \\rightarrow (\\varphi \\rightarrow \\varphi)\\); \\(\\varphi\\vee (\\varphi\\rightarrow\\psi)\\). The system \\(\\mathbf{FT}\\) is obtained by adding to \\(\\mathbf{TMP}\\) the axiom of linearity: \\((\\varphi\\rightarrow\\psi)\\vee(\\psi\\rightarrow\\varphi)\\). A \\(\\mathbf{TMP}\\)-structure is a tuple \\({\\mathcal M} = \\langle A, \\leq, 0, 1, \\neg, \\rightarrow\\rangle\\) such that: {\\parindent=8mm \\begin{itemize}\\item[(1)] \\(\\langle A, \\leq, 0, 1, \\neg \\rangle\\) is a bounded De-Morgan lattice; \\item[(2)] 0 is meet-irreducible in \\({\\mathcal M}\\); \\item[(3)] \\(a \\rightarrow b = \\neg a \\vee b\\), if \\(a \\leq b\\), and \\(= 0\\) otherwise.  \\end{itemize}} A \\(\\mathbf{TMP}\\)-structure is called linear if \\(\\langle A, \\leq\\rangle\\) is linear. Consider \\({\\mathcal M}_{[0,1]} = \\langle [0,1], \\leq, 0, 1, \\neg, \\rightarrow\\rangle\\), where \\([0, 1]\\) is the unit interval, \\(\\leq\\) is its usual order relation, \\(\\neg a = 1 - a\\), \\(a \\rightarrow b = \\max(1 - a, b)\\) if \\(a \\leq b\\) and \\(a \\rightarrow b=0\\) if \\(a > b\\). Then \\({\\mathcal M}_{[0,1]}\\) is a linear \\(\\mathbf{TMP}\\)-structure. It can be proved that every countable linear \\(\\mathbf{TMP}\\)-structure can be embedded in \\({\\mathcal M}_{[0,1]}\\).   Define a valuation \\(v\\) in \\(\\mathcal M\\) as a function from the set of formulas to \\(A\\) such that \\(v(\\neg \\varphi) = \\neg v(\\varphi)\\) and \\(v(\\varphi \\diamond \\psi) = v(\\varphi) \\diamond v(\\psi)\\) for \\(\\diamond \\in \\{\\rightarrow, \\wedge, \\vee\\}\\). Both \\(\\mathbf{TMP}\\) and \\(\\mathbf{FT}\\) are strongly decidable. The author proves that \\(\\mathbf{TMP}\\) is sound and complete with respect to every \\(\\mathbf{TMP}\\)-structure, and \\(\\mathbf{FT}\\) is sound and complete with respect to every linear \\(\\mathbf{TMP}\\)-structure. Moreover, \\({\\mathcal M}_{[0,1]}\\) is strongly characteristic for \\(\\mathbf{FT}\\). The author argues that while \\(\\mathbf{TMP}\\) has the variable sharing property, and thus, is a relevant logic, \\(\\mathbf{FT}\\) may be viewed as a semi-relevant counterpart of \u0141ukasiewicz logic \\(\\mathbf{\\L}_\\infty\\), which preserves non-falsity rather than truth.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697334$181EBB6E-06C1-4F11-A447-F1BD96E8F88C","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":"Q1697334$C5F0C0FD-2555-4A91-8AEE-9E4DEA48A4B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697334$8D10181D-0F46-4468-ADBB-A26909714ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697334$295F34EE-EB59-46A7-9C4A-FCB64FA06687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697334$6997125C-A8BB-414D-B3CF-6B69270F8F55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1394869ddb13492d25e24103b03554641fb79a6e","datavalue":{"value":"6840667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697334$2A18A350-1797-4DD1-B741-836FAF93499A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697334$B7842C2D-C208-436F-B24E-8674047E6F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697334$6415D7D0-87DC-4DC0-A00A-74187BC9B9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697334$9B6606E1-2A81-4C81-95D5-644C57511503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d73ec7ee31a973fedbfbb8fe6edb55692647ad57","datavalue":{"value":"designated truth values","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697334$D6D083B8-AC12-4591-BE13-E9E3EF62E5D2","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":"Q1697334$2378958D-593E-4C08-9D02-8CCD3A73C35B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"501ccee554489d1dae55348c86e35f458347a4f8","datavalue":{"value":"https://doi.org/10.1016/j.fss.2014.07.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1697334$04402D69-9857-4391-BB03-B82BDAA699E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b332caadbb9de8c9ac44a4d4c2b63623c17ee5b7","datavalue":{"value":"W2018459965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697334$F4AF2A61-28A4-4625-A9C0-4009AA3D9B0C","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":"Q1697334$B4B08708-253D-42BD-BB24-00200644F5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d109c0fd01534a545e8aa41588ab93357cd76236","datavalue":{"value":{"entity-type":"item","numeric-id":4583342,"id":"Q4583342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697334$963A046B-3AEA-4BAC-9D16-7719F809E728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f71c1d2b8f877342d1f75eb537c5f2e4c2476de","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697334$0F99E328-9B7B-4975-9C8E-5C7A0A24E859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697334$99AC179C-B047-4AFF-A994-576DB77EE1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b4e54d742de49e1a436aee84311c2fa2f1173e","datavalue":{"value":{"entity-type":"item","numeric-id":2903766,"id":"Q2903766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697334$34D25A1B-5BB4-4A71-9B64-A913691D352E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842b56d1e792f42e670c8d166b3e57b0abea925c","datavalue":{"value":{"entity-type":"item","numeric-id":3703869,"id":"Q3703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697334$824FE36F-60FC-4798-AAEB-7DB5AC1D03C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e62b49843968b89bb8f8742982aa8c63fb04bb3","datavalue":{"value":"10.1016/J.FSS.2014.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697334$F09A7C13-4598-469E-A2F6-1EB3DB472F90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c6e78de9cb72eb4426e31d44431be07455a742","datavalue":{"value":{"entity-type":"item","numeric-id":3601802,"id":"Q3601802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b22905c7a1852228ccebb18ea34aa4b3defc5e0","datavalue":{"value":{"amount":"+0.7968061566352844","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":"Q1697334$A2ADBE48-5C9C-4F33-A4AC-120508B22319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95084df7096e9d7351fa94e4400f514e195d41f1","datavalue":{"value":{"entity-type":"item","numeric-id":344078,"id":"Q344078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98d5cf020328cd721e7f0c69906491e74f120d88","datavalue":{"value":{"amount":"+0.7917678952217102","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":"Q1697334$BB7398C8-90C7-42E0-8795-E3B5E2D2453C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70aa357b4ea5c73f223fcc073a4fb0ae48edc8c","datavalue":{"value":{"entity-type":"item","numeric-id":4847373,"id":"Q4847373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c61cc391557689e9eda5421e072f0e074c658f9","datavalue":{"value":{"amount":"+0.7780511379241943","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":"Q1697334$DC3A3D14-4F4A-4868-85E6-6F3E86BB0676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c68b1cf6f7805442a45f4eea3360ffe1f21de160","datavalue":{"value":{"entity-type":"item","numeric-id":2813672,"id":"Q2813672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ab8a13c00dc4cebc83fca93f0378a0925704fc","datavalue":{"value":{"amount":"+0.775585949420929","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":"Q1697334$373E5C03-EBAD-4C97-A381-D524609FA49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"885d6a176c3bf7f1b4fd004072578c932bd9a402","datavalue":{"value":{"entity-type":"item","numeric-id":4532133,"id":"Q4532133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14b2900d79f322add38e4c20f9e3b878d058deb","datavalue":{"value":{"amount":"+0.7710532546043396","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":"Q1697334$0E61C8BD-2AA7-40F5-8072-94DE58B2F7BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Paraconsistent fuzzy logic preserving non-falsity","badges":[]}}}}}