{"entities":{"Q703374":{"pageid":705223,"ns":120,"title":"Item:Q703374","lastrevid":63648537,"modified":"2026-04-11T14:36:14Z","type":"item","id":"Q703374","labels":{"en":{"language":"en","value":"NM\u0141, a schematic extension of F. Esteva and L. Godo's logic MTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126004"}},"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":"Q703374$4921E332-466E-4E85-9711-E1CB5F6E5F0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"718d50c34baf364951be19f421cbcd84395f4c53","datavalue":{"value":{"text":"NM\u0141, a schematic extension of F. Esteva and L. Godo's logic MTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703374$25CA51BB-5E6E-46F5-B0BB-99658E9FE9FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85b9c0b6eeff1d58cd1828fc97b0e98d35c691bc","datavalue":{"value":"1060.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703374$22552C8C-716A-44AA-B8E9-72D5B7EC2B08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e88dbf9065940ba8d324423678d1b288d812a33","datavalue":{"value":{"entity-type":"item","numeric-id":703373,"id":"Q703373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703374$323E6D51-FCB7-4FC7-812C-62BC9C35F2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56934e6cb0dca6cee81c524ad0768fd7f169cf50","datavalue":{"value":{"entity-type":"item","numeric-id":385637,"id":"Q385637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703374$921AF54D-1872-4E53-8F61-C88267B91A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459b450f50ff9420f376ca6123d67dedc99c346","datavalue":{"value":{"entity-type":"item","numeric-id":412070,"id":"Q412070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703374$9BC9EEC4-4E4B-4347-831A-86FDD4077A73","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":"Q703374$FB16C033-2C01-43F9-88F1-6B620B183C8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703374$69B5BE34-73A9-451F-ABE5-DE86DC3CEB48","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b43fb07ec62da73a131ddc069c3aa9df1d5dbe6","datavalue":{"value":"The authors study an extension of the MTL logic of \\textit{F. Esteva} and \\textit{L. Godo} [ibid. 124, 271--288 (2001; Zbl 0994.03017)] by defining the new fuzzy logic NM\u0141. The corresponding standard algebra is \\(([0,1], *_J, \\rightarrow_J, \\max, \\min, 0,1)\\), where \\(*_J : [0,1]^2\\to[0,1]\\) is defined as \\((a*_J b) = 0\\) if \\(a + b \\leq 1\\), \\((a*_J b) = (a + b - 2/3)\\) if \\(1/3 < 1 - a< b < 2/3\\), \\((a*_J b) = \\min(a,b)\\) otherwise for all \\(a,b\\in [0,1]\\), and \\(\\rightarrow_ J : [0,1]^2\\to[0,1]\\) is defined as \\((a\\rightarrow_ J b) = 1\\) if \\(a\\leq b\\), \\((a\\rightarrow_ J b) = 2/3 -a +b\\) if \\(1/3 < b < a < 2/3\\), \\((a\\rightarrow_ J b) = \\max(1 - a,b)\\) otherwise for all \\(a,b\\in [0,1]\\).  Note that \\(*_J\\) stands for the t-norm due to \\textit{S. Jenei} [ibid. 110, 157--174 (2000; Zbl 0941.03059)]. As \\textit{S. Jenei} and \\textit{F. Montagna} [Stud. Log. 70, 183--192 (2002; Zbl 0997.03027)] have proved a completeness theorem for the MTL logic, here the authors prove an analogous result for the NM\u0141 logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q703374$AC6A2163-AD72-4D4D-B061-0659360CEB0B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"30b222a178da618fc62133a4d4f30e820b6a19e6","datavalue":{"value":{"entity-type":"item","numeric-id":287344,"id":"Q287344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703374$12D9F3E0-4F7C-4AC3-8379-61C89FC90C8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703374$6FEC474D-0FC7-4731-8F6F-D07A1EC67F15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b78438cc1c969f3143144602e119261368e740db","datavalue":{"value":"2126004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703374$A7EA8A65-E9C7-444A-AB47-C43EBB7F5C21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6d3c4332f71e6cf456272cc2c011e9ea67174fe","datavalue":{"value":"left continuous t-norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q703374$7640784C-1C64-400D-B5CA-2CB865BD2035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"354d0fb745d489efd878e0fd2206b67fa4e391fb","datavalue":{"value":"extension of MTL logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q703374$F0D8CB55-4EC6-4A20-B259-E91F274BF924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q703374$D7ED1D8F-DFDC-4EFF-8D0C-3683DE9A4480","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c6a3205dfe07dc2e9b90254780141dbff743b1b4","datavalue":{"value":"Q59306584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703374$F07EB495-B60C-4F14-93C0-95EB379B0430","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":"Q703374$9E1E7D9D-858C-439C-B3AF-87C1BCDA0307","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"472ad124dbc99c39b016afc22d688a8675c3ac16","datavalue":{"value":"https://doi.org/10.1016/j.fss.2003.12.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q703374$AF9DCBA3-1B2C-4191-81A3-C20468F81704","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f69ae79cf0adc5e3a82ae9e32c9aa3b8b0067164","datavalue":{"value":"W2091855908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703374$147BBA9E-8F26-4E5E-9F12-AACB62C845E6","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":"Q703374$317BBCDE-5CC1-431B-AA95-4C1CE63B5FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8acc8675845e1374ddcb2d21ec124a48fdbda5","datavalue":{"value":{"entity-type":"item","numeric-id":1612690,"id":"Q1612690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703374$C217DA79-5E8D-493C-A9AA-726ADFAEE033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c1a79d380773cb8c7614cf932aa71136aaa7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1914454,"id":"Q1914454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703374$73E23952-6419-4315-BDD3-C9148ED073D5","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":"Q703374$B40509E2-5CE2-41AD-B1DB-F0EEB52A028B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c98ce1cde86982aa2ac057597dcecc7545b3e7","datavalue":{"value":{"entity-type":"item","numeric-id":1867661,"id":"Q1867661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703374$38634FBC-3BF0-4C04-AB83-AD977D7AF15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0b0239bbaef4cbb52df64d0cc84c3735eb35aa","datavalue":{"value":{"entity-type":"item","numeric-id":1971938,"id":"Q1971938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703374$656A316F-373B-40F7-BA5A-F6AE4173DABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f10c330d752e5090a2fd7c32459045a9353cac","datavalue":{"value":{"entity-type":"item","numeric-id":1604791,"id":"Q1604791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703374$3A8F28B1-4DFD-46A0-A81D-E16D58BC62CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d138b7b309d07661da7bad2c01c7e4192d916252","datavalue":{"value":{"entity-type":"item","numeric-id":1299619,"id":"Q1299619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703374$9605930F-D006-4484-B623-FF62914A200C","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":"Q703374$1E547818-B5F8-4834-B040-B2DD1FC5E4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e67b34f8bc88dd63c5676c48ca42848cc107f296","datavalue":{"value":{"entity-type":"item","numeric-id":1406865,"id":"Q1406865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703374$78015762-061A-40D4-BB4E-26C6C192856F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582f6afa0c98cd4512049be58f12cf48ea4c5d16","datavalue":{"value":{"entity-type":"item","numeric-id":3256302,"id":"Q3256302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703374$FC58A0D1-B87D-4A94-AF1A-B8F3BF55F914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a817582b2877161f03cbeee337693db2be6016bd","datavalue":{"value":{"entity-type":"item","numeric-id":1376008,"id":"Q1376008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703374$2BBC6F38-0BA0-4D01-886D-D1B1373D9AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a28b0c3a08cdd76acdfca8ec1dd4de3917a77b","datavalue":{"value":{"entity-type":"item","numeric-id":1873678,"id":"Q1873678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703374$9649E89D-49CA-4725-8AED-B47EF6B9C837","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"60da83a9faf970a33e9649b5f6a637c6e207db79","datavalue":{"value":"journals/fss/WangWR05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703374$44C2F211-E25A-41AB-9DA6-2238625B7728","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c5858322b30b73874bf6e279f75cc644ef23cd2","datavalue":{"value":"10.1016/J.FSS.2003.12.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703374$0B8722FD-5328-451F-ABCF-A401030C3227","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a6a2c629b11d25f7aaba3291567c95bd1fd878","datavalue":{"value":{"entity-type":"item","numeric-id":703375,"id":"Q703375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef3eb408175bd328f99f19f93342077e4e66935","datavalue":{"value":{"amount":"+0.8419132828712463","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":"Q703374$31CEEC41-56D8-4C76-BA58-3EF1786523F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c2e48f3e0717966a3a2f68cbae312418866518","datavalue":{"value":{"entity-type":"item","numeric-id":5293197,"id":"Q5293197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92eb65f10f6bb3d87fd0e550a41dd9a6946c1174","datavalue":{"value":{"amount":"+0.8069230318069458","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":"Q703374$62933D08-D4E9-4A8E-A2A3-53BEFB481C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db218fcc3bab2b35c8939c01c8be5a2f15bf4c5f","datavalue":{"value":{"entity-type":"item","numeric-id":1612690,"id":"Q1612690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a0af78b97f7eb3245d98836489cb0eca021e20","datavalue":{"value":{"amount":"+0.7952772378921509","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":"Q703374$FF3AB5DE-62C1-4109-8158-48D2EC05927C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb189c3bede0df6f85302f82e83bbe19ad1515a4","datavalue":{"value":{"entity-type":"item","numeric-id":2486056,"id":"Q2486056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1315a3642bd810b88772fc62d118fdcdcdc8484","datavalue":{"value":{"amount":"+0.7938456535339355","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":"Q703374$C064D0C9-7574-4929-8B8F-2DA6F9D1B6D5","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":"aabfbf11c06e437af93b2175fe92a9bdd13ee38a","datavalue":{"value":{"amount":"+0.7785146832466125","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":"Q703374$E596E4E7-3DC5-41ED-8353-F7781939F9D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"NM\u0141, a schematic extension of F. Esteva and L. Godo's logic MTL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/NM%C5%81,_a_schematic_extension_of_F._Esteva_and_L._Godo%27s_logic_MTL"}}}}}