{"entities":{"Q1976881":{"pageid":1987623,"ns":120,"title":"Item:Q1976881","lastrevid":72162591,"modified":"2026-04-14T03:02:50Z","type":"item","id":"Q1976881","labels":{"en":{"language":"en","value":"Residuated fuzzy logics with an involutive negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1443416"}},"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":"Q1976881$87A8855C-3563-4FCE-BBF2-F03CF917434F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db0700075ed1faecf376ec2337f76ffb36313299","datavalue":{"value":{"text":"Residuated fuzzy logics with an involutive negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1976881$E6EA7CC8-D37D-487A-B814-6E6D26005125","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c58c0ac18e6c87b0bdd0d625f8c60a3d30989455","datavalue":{"value":"0965.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976881$54834EBF-30F6-4C98-8019-B2D8E5E824DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b9a14fb8844d2ae2b5c70144e3e3ede7df9cb55","datavalue":{"value":{"entity-type":"item","numeric-id":167895,"id":"Q167895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976881$485D69C7-1DB6-4665-8D68-8B886393A3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c8cca1e831242552a06524008df67597ba7eb1d","datavalue":{"value":{"entity-type":"item","numeric-id":167896,"id":"Q167896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976881$26E1F039-667E-400F-82FA-960661E981C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f60fe646c044641a88e51c899da6e67b19d59e","datavalue":{"value":{"entity-type":"item","numeric-id":195656,"id":"Q195656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976881$2FC95FC2-1629-4401-A156-B5C491012505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a064e70524c8149f39b383c8c423c9d586286d","datavalue":{"value":{"entity-type":"item","numeric-id":170594,"id":"Q170594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976881$B57ACE6F-7D6F-4DB7-8A07-FBBCFF2AFFD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976881$4C561AF5-0DFF-4E4F-9A42-BC0218397F56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79113082e90067f628ec8a0cd08a57d0d37a9616","datavalue":{"value":{"time":"+2000-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1976881$DE81A37F-93D2-458D-BC6F-4D3AA1A009AC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3039099f6a5a7b064176638689a29352e649c3e6","datavalue":{"value":"The paper gives an extension of BL-logic (basic logic), which is a logic of continuous t-norms interpreting conjunction and their residua interpreting implication. It has been proved that such a logic is complete. BL-logic can be extended to G\u00f6del (G), product (\\(\\Pi\\)) or \u0141ukasiewicz (\u0141) logics where conjunction is interpreted by minimum, product, or \u0141ukasiewicz conjunction, respectively. The negation in all logics is interpreted as a derived operation \\(\\neg a= a\\Rightarrow 0\\). Unlike \u0141ukasiewicz logic, where negation is involutive, i.e. \\(\\neg\\neg a= a\\), the negation in the other two logics is G\u00f6del, i.e. \\(\\neg a=1\\) for \\(a=0\\) and \\(\\neg a=0\\) otherwise. The paper introduces the concept of strict BL-logic (SBL), for which the linearly ordered BL-algebras satisfying its axioms have G\u00f6del negation. This logic is complete with respect to the class of linearly ordered SBL-algebras. Furthermore, it analyzes the possibility to extend SBL by involutive negation \\(\\sim\\). The axioms for the logic SBL\\(_\\sim\\) and its extensions G\\(_\\sim\\) and \\(\\Pi_\\sim\\) are introduced and completeness for all of them is proved. The same is also proved for the predicate versions of these logics. The paper also discusses their further extensions to fuzzy logics with evaluated syntax (in the paper called Rational Pavelka extensions), which when adding infinitary deduction rules become again complete in the sense that the provability and truth degrees coincide.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976881$18FC71F1-CD42-4D60-9AF2-8A77A8903A10","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b94695dfa82835fe743dcf7fcbe410a40ce7658","datavalue":{"value":{"entity-type":"item","numeric-id":279322,"id":"Q279322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1976881$4394EB11-6592-40A2-9A33-AB17098B5BD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976881$CF7F272F-F42B-4605-AB09-72346D5B0EEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17910af5e1fb3bd34df8aa15f1b7d0d19317d42a","datavalue":{"value":"1443416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976881$E9239186-9A54-446F-A70C-7E598D2348FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976881$B7E979AE-A8AC-4070-8A1D-CE09FAC4986F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6efc458d4369344f3e7cc55f2ff1e22f990b5d8","datavalue":{"value":"BL-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976881$0E25800A-AC8A-486F-B8AC-EB5A516AAED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d39072e66311277254ab44e1649b6f84569d5f58","datavalue":{"value":"involutive negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976881$E5ABC6ED-DA4B-4417-8C69-C602FED2AB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0187098c73dd13a304f19c2e5ae093d6801afa54","datavalue":{"value":"basic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976881$009B516F-9C61-4EDF-91AD-5B02B28CB01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a993c44ee7a170fe20ad50759945859677a0e5","datavalue":{"value":"BL-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1976881$5D476144-A6F3-4715-90EF-0A662104EDC1","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":"Q1976881$81EB8018-E9AC-4FAB-B6DC-FF5F52152345","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2be078deeaf6f4d1188740706bd9dc3183377fdd","datavalue":{"value":"https://doi.org/10.1007/s001530050006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1976881$73795C64-65F2-42D7-B62E-9994560B8D48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca75eb2bf3aecf59e5c11b5276567d39a4835d5b","datavalue":{"value":"W2018957484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976881$E02292D7-6B82-4A23-B67F-841D6CAB6474","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15da183e1aa2b77d2c9b6ca73cbb97abfd6684b8","datavalue":{"value":"10.1007/S001530050006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1976881$02CAEC66-630E-487B-BA44-B9985D19ADCD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2999caaaecdaec59fc9b6b427320760267bb7035","datavalue":{"value":{"entity-type":"item","numeric-id":2270236,"id":"Q2270236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08d3d7afeae5c90b32d053145b86a905b5f5242","datavalue":{"value":{"amount":"+0.860149085521698","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":"Q1976881$AE631B8B-9B49-4865-B284-5DDCF581EE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa6b6ad4befe180420e6ac3f1478ba9783f9abb","datavalue":{"value":{"entity-type":"item","numeric-id":3545212,"id":"Q3545212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2120e2dac8776054960426341a0689ec40ff4f79","datavalue":{"value":{"amount":"+0.8356137871742249","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":"Q1976881$387E166E-0E04-44D9-992F-F068DBE8AFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3ff1687ab2dfc7b64b502c98daf81e3d378310","datavalue":{"value":{"entity-type":"item","numeric-id":5485400,"id":"Q5485400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ff2dbfc52fce7fea5c2cfa19cba629e2e417eb","datavalue":{"value":{"amount":"+0.8270211815834045","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":"Q1976881$F1E75075-21F5-4F50-9184-817BBD43FEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8981fa1dc567422cb7b7935b7fc0e47e7a52c3b9","datavalue":{"value":{"entity-type":"item","numeric-id":2998390,"id":"Q2998390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"892ecca9a1fdd1393f72c18bb8f8aa26f8c840ae","datavalue":{"value":{"amount":"+0.7998601198196411","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":"Q1976881$D2FC9DD1-2F8E-40FE-9867-4B42C5014D60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Residuated fuzzy logics with an involutive negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Residuated_fuzzy_logics_with_an_involutive_negation"}}}}}