{"entities":{"Q1349201":{"pageid":1359940,"ns":120,"title":"Item:Q1349201","lastrevid":47914795,"modified":"2026-01-03T02:00:24Z","type":"item","id":"Q1349201","labels":{"en":{"language":"en","value":"A new axiomatization for involutive monoidal t-norm-based logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1743107"}},"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":"Q1349201$5C11D165-36F8-4064-8097-CE134EB46192","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b4b8ef5c4b4291a96a54212ad76c3f7ec81fe83","datavalue":{"value":{"text":"A new axiomatization for involutive monoidal t-norm-based logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1349201$72808B46-FE1E-48D6-9B08-3F44E86DB358","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57e82da2a69dc53af2e5ad19867237d50ad74712","datavalue":{"value":"0998.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349201$34823DDB-7293-4FBB-A578-76401E48905B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6edffa74edf2c6c4dbc9e17e34c25f012f8e7441","datavalue":{"value":"10.1016/S0165-0114(01)00100-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349201$1AFAFC0B-62D1-4BD6-A9B8-B3F12813F3C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8d815c5366d332142d135a121f53c308836993c","datavalue":{"value":{"entity-type":"item","numeric-id":365670,"id":"Q365670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349201$9D0B5AB2-885F-4C0E-85E2-CB6987AD3A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca250e74c9c65da3879b9c408e4b10edc199f103","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349201$D51EE934-F21E-4666-A600-8B25716E38A0","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":"Q1349201$3A233328-4F9B-4B7B-8B24-0A0E21D4148A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cda08edf6e14c28a948f9b78f5bc4351bb49e6b0","datavalue":{"value":{"time":"+2002-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1349201$12F1408D-481D-4BB3-B4AF-12312740164B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"08868d62b0fa3c4d1aa9cd3c7292c05d38549585","datavalue":{"value":"The paper gives an alternative axiomatization for the monoidal t-norm-based residuated logic originally introduced by \\textit{F. Esteva} and \\textit{L. Godo} [Fuzzy Sets Syst. 124, 271-288 (2001; Zbl 0994.03017)]. The presented approach stresses the geometric understanding of Girard monoids, especially the rotation invariance \\(T(x,y)\\leq z\\) iff \\(T(y,N(z))\\leq N(x)\\), where \\(T\\) is a left-continuous triangular norm and \\(N\\) is a strong negation. The rotation invariance is transformed into axiom schemata for logical calculi, and then serves as a substitute for the standard adjointness condition linking conjunction and implication connectives in t-norm-based residuated logics. The proposed new (and equivalent) axiomatization may give new interesting results in the recently introduced residuated fuzzy logic based on left-continuous t-norms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349201$9CED3007-2E72-4319-9AF9-19511D97C9A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349201$992301A6-1019-4AEA-933D-1A1C34BF5A7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95e90c0744c12bc15fe6f39f7c2f2d3efc779d39","datavalue":{"value":"1743107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349201$31763E0D-263A-4B13-941D-0F2E08036A22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349201$1273BD81-9705-4E25-9155-A49299F75369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f45e1417b543b219aafbcf9164edebef9d87db99","datavalue":{"value":"monoidal t-norm-based residuated logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349201$8EF5DB95-A497-4972-8018-1B4038EC05C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b24089abe84ac199ecf2c76646cf5a3ba29c3f","datavalue":{"value":"Girard monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349201$F5B6E009-35F0-451C-91DE-CB8978064264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99168dd3735a3974836773bbc8de47440e44b96","datavalue":{"value":"rotation invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349201$4598B8FE-3C5F-4959-B5EB-C94BB53D073C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d66703a869b644c6a07bd81bf1d2c562dcfb4024","datavalue":{"value":"triangular norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349201$BB7E0B09-E7B1-4C51-960A-370DBD66F3F9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0b7e8bba2607231d291833ec35db8abb2a31f4c3","datavalue":{"value":{"entity-type":"item","numeric-id":221206,"id":"Q221206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349201$BB590067-6EDB-4FD7-9EC3-97E4AD37C5C0","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":"Q1349201$D0463E75-11D8-4485-B960-449ED14DC7F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349201$74E3338E-78FF-4068-A209-91DF6A17D2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dec21687bede7beca570d09d16d3ea6c14f888","datavalue":{"value":{"entity-type":"item","numeric-id":1976881,"id":"Q1976881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349201$40D690AF-CF81-4AC9-8D72-1BB7B463DE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8206136bb1a3e3206c15b8c3fd64eecf1b0ab","datavalue":{"value":{"entity-type":"item","numeric-id":2757760,"id":"Q2757760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349201$DCF8F37F-C311-4119-B525-2CE0B71E1728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349201$9F78E147-6A56-4AF8-AABF-C6C21B5B2693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e439f1a4d2c7eb79295d5b63028275f6de27a19","datavalue":{"value":{"entity-type":"item","numeric-id":4803010,"id":"Q4803010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349201$6B677904-DF45-4E21-BCAC-4C4B9DC8084E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f882dad0df6b32e712d3e7e97e1d3d12da74ce82","datavalue":{"value":{"entity-type":"item","numeric-id":4443413,"id":"Q4443413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349201$82A592F2-8711-40EE-B0F4-9F15333C86AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d675d2d7f57fdcd7b4d3770d68e148c4b588d1","datavalue":{"value":{"entity-type":"item","numeric-id":5953519,"id":"Q5953519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349201$2A98901E-7CDD-4BC1-8DB6-8F559436104C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774289da01a364e753a8f9f11afcdd0197edfd1","datavalue":{"value":{"entity-type":"item","numeric-id":1575112,"id":"Q1575112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349201$F65C739D-6350-4E40-931D-3A04ABDDE739","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba64fd5de37bb7ae74c776415989dff75185c038","datavalue":{"value":"https://doi.org/10.1016/s0165-0114(01)00100-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1349201$BBFE0F7C-897A-4BA6-8F28-EA98AE51A997","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3e3e9eefb2e2bf32f1e939344335d302a69e04d","datavalue":{"value":"W2084613039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349201$EA136CC0-7636-4DE0-8217-03FE2F5B73BD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"957c3b5866e663b247d747754ebbe74571c70227","datavalue":{"value":"Q127481753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349201$49CFFC3C-0CD4-40AE-8AD7-88E87D678973","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43e66969ce009b1c67ff542e656dc31a26b1d90c","datavalue":{"value":{"entity-type":"item","numeric-id":4329354,"id":"Q4329354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ef455d658318f03da56e3dd154469608fe5dc8","datavalue":{"value":{"amount":"+0.788953959941864","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":"Q1349201$B05419EC-FA18-4339-9403-9A7A79DB7D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4085a3beb10f5c03fef7c8ce09590ff0e047ab1d","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cfa0f928eb21606d0aa5d009d75fbca8ee80bfd","datavalue":{"value":{"amount":"+0.7735604047775269","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":"Q1349201$E550368A-2962-49F8-89BE-53165089C111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a180368eeca407dc44d21a8fc784c04801b2f2f6","datavalue":{"value":{"entity-type":"item","numeric-id":4442749,"id":"Q4442749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fcf54476c8c82784dbb4c72147b65a9b41a7925","datavalue":{"value":{"amount":"+0.7733680605888367","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":"Q1349201$03E52186-C2C8-4867-AEF4-6AF4ADD4B779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8521f0bd6d42e264d6b59af91cbe6a9fc325cc78","datavalue":{"value":{"entity-type":"item","numeric-id":3156897,"id":"Q3156897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef8ea35e640b2bd33c2cc50c620264f3218599b","datavalue":{"value":{"amount":"+0.7724655866622925","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":"Q1349201$96518D43-BCCB-43F0-B641-9F1BC296B315","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":"c3e61c44cc2953b961cc0220738de97d5763dded","datavalue":{"value":{"amount":"+0.7685954570770264","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":"Q1349201$49FB3D39-68EA-418E-8A08-5E2F613FEBBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1349201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1349201"}}}}}