{"entities":{"Q695273":{"pageid":697122,"ns":120,"title":"Item:Q695273","lastrevid":63694203,"modified":"2026-04-11T14:54:37Z","type":"item","id":"Q695273","labels":{"en":{"language":"en","value":"Uninorm logic with the \\(n\\)-potency axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6117674"}},"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":"Q695273$DDC58638-EE66-41A2-B06D-90AFDD263E7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05b4fba68d38ea0e9b996fb3c23d30fb32a3138b","datavalue":{"value":{"text":"Uninorm logic with the \\(n\\)-potency axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q695273$65CE543C-31C9-4E2E-9933-638824D27069","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbcca854a03ae998c5db0296659b051fb45242d7","datavalue":{"value":"1273.03083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695273$4AE4FEF1-5318-4D6C-B44C-FEAE21FA505C","rank":"normal"}],"P16":[{"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":"Q695273$3DFE360E-B3D3-47B1-B1C5-391DF06B17C4","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":"Q695273$8780C3C7-CEFE-41FB-946A-20BCD26F895B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"373b215c430e37eecbed9d77fcfb93ac4db05f90","datavalue":{"value":{"time":"+2012-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q695273$78D0E13A-A584-47B2-834F-6A9E57CC6C5C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e725c707df648109041fc84371f2561430952d4b","datavalue":{"value":"The paper deals with the extensions of Metcalfe and Montagna uninorm logic UL by means of the axiom of \\(n\\)-potency \\(C_n := \\varphi^n \\leftrightarrow \\varphi^{n-1}\\). For each integer \\(n \\geq 2\\), the resulting system is called \\(C_n\\mathrm{UL}\\). The author proves standard completeness for every \\(C_n\\mathrm{UL}\\) adapting the original method used by Jenei and Montagna to prove the analogous result for MTL, and introduces an analytic hypersequent calculus for each \\(C_n\\mathrm{UL}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q695273$3A6C5170-1C87-4107-B1CB-02C28DFA6093","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c9d8398a1ca729172ff10438ecb041a167d56eac","datavalue":{"value":{"entity-type":"item","numeric-id":387624,"id":"Q387624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695273$DD430F92-A108-4B0B-8547-93932A39524D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695273$67360500-DFBA-465C-8BAE-63682641197C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695273$26708EDF-F4A1-4E6A-833D-B5802470EB9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b35ce49007694a5d69fe064535e00c1939e5c0cd","datavalue":{"value":"6117674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695273$AB912FDE-71D6-42D4-89A9-7E9FE54302B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cc0e54bf1270cd2c47c8dfd7a268369079b1c51","datavalue":{"value":"uninorm-based logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q695273$DDA66455-26E1-46B3-B7C7-55FC73A95D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84b385a1fdb49956580fe68f3fd28810f7cb231","datavalue":{"value":"standard completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q695273$4E6F2476-BB77-4223-B4A8-D911AA0512D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9429c31f4d94616162aba961d8f1bfe6fc6a7665","datavalue":{"value":"hypersequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q695273$06D9F674-DDD0-40AF-9B11-63B1837B79B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q695273$731C4126-2BA0-4C08-9569-0F341774D281","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f608dd3178e52575004b3b523f48185c1037829a","datavalue":{"value":"Q59306558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695273$1794827C-8320-4517-92FD-1D7E627C771D","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":"Q695273$D95D2DE3-DE40-428C-AFC8-6E03E0EF0DF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77bf87ce315e1328d5c08d046442c59da15c660b","datavalue":{"value":"https://doi.org/10.1016/j.fss.2012.04.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q695273$1250E7D8-4006-4562-9CCC-CBB19FC74AB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a854647739ff0f965ef70bd0fcac7828cd3df9dd","datavalue":{"value":"W2048928681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695273$9442CB4F-107B-400F-946F-3C94FFD0105C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2717456cdf605284613175fd5dc8bad7843cf2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422306,"id":"Q5422306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695273$E9A529D2-7804-4D2D-BA2B-709ECCD27F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695273$089A33DB-B77A-4302-8190-0E4FDE057FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155840193fddbd09b9f4f686f2220e61d02fd710","datavalue":{"value":{"entity-type":"item","numeric-id":3391743,"id":"Q3391743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695273$29611ABF-C52C-4FF0-A059-5687939CA477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613196c1ebb5efd26c81cbdcd44f5b10522db4db","datavalue":{"value":{"entity-type":"item","numeric-id":1344438,"id":"Q1344438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695273$560D55F8-428D-4411-87B3-E50D9B41A1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a51cb5ee3f55bdf2f5f7c09f36d7c504071f9af4","datavalue":{"value":{"entity-type":"item","numeric-id":1891929,"id":"Q1891929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695273$5AF19879-3DDE-4A32-8C16-63A16BA65C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1785c5247614edefd452dd242bbf025baf6dd7dd","datavalue":{"value":{"entity-type":"item","numeric-id":2563461,"id":"Q2563461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695273$D0ACF950-34DE-420D-B614-692DA7F13724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ada42bd3c1416dbc4ff6898071ebe4db4157a7b","datavalue":{"value":{"entity-type":"item","numeric-id":4263010,"id":"Q4263010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695273$E8AB927C-9340-4F88-95E0-5833BDF2B6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ad3e30b81d68724fd88018f65f6b467e3ffa26","datavalue":{"value":{"entity-type":"item","numeric-id":5293197,"id":"Q5293197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695273$4A400811-6BA0-4AEF-BD22-34D4E618468E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db9e7bb22f2c3a598b6843823785f325a64dc6db","datavalue":{"value":{"entity-type":"item","numeric-id":535139,"id":"Q535139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695273$B8D8B155-5C14-4D75-BC26-57B8E014828D","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":"Q695273$0B597A08-E9A2-4D64-B096-9BB2E6C35B74","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":"Q695273$01F252FD-6802-423A-85F9-B9CEFF4F1312","rank":"normal"},{"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":"Q695273$86187BB9-0608-4B1A-AF32-E658610153D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654dbd1de9326477d6fa4fbf8888a0cde69a3476","datavalue":{"value":{"entity-type":"item","numeric-id":1357149,"id":"Q1357149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695273$F2618CB7-788C-43C1-AD34-4E359D97D143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df1c2d2fdeeb449827114a767aaade93b82a7fb","datavalue":{"value":{"entity-type":"item","numeric-id":3639652,"id":"Q3639652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695273$DD708DDD-7C3A-4546-A300-E89374BE4F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fc4eafb37e644ed25bcb7019193e0776cea60a7","datavalue":{"value":{"entity-type":"item","numeric-id":938238,"id":"Q938238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695273$D350044B-A9D3-49B0-8A98-A3C9EF43993B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695273$BFFA9616-4503-44FE-BBC6-A3843E2C1768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q695273$CB95E3C2-1309-4906-94E8-2972F15385B9","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c780cdd15f81e3d1336e25e9eac534b3bffa7401","datavalue":{"value":"journals/fss/Wang12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695273$CDFC4468-B997-4717-A2F1-10D1CD6DE306","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d4a8e468f3278128ddb1a5a452109d56da7d66d","datavalue":{"value":"10.1016/J.FSS.2012.04.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q695273$F928D6FE-83A8-4127-8FAF-65ED7E0A119B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb390bc25606ad034e14ab399dce2df173d1aeb5","datavalue":{"value":{"entity-type":"item","numeric-id":2450645,"id":"Q2450645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f4855c41c7e78294003fd00c21093683aa9e82","datavalue":{"value":{"amount":"+0.9107049107551576","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":"Q695273$B26A5C14-782F-48C8-A5EB-AA3759AD37FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019a936a970050ea34bdbf80144d3a2856dc1dd9","datavalue":{"value":{"entity-type":"item","numeric-id":2337894,"id":"Q2337894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e38f92446d8a62add6841c9c69787f2c97d014e6","datavalue":{"value":{"amount":"+0.8843672871589661","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":"Q695273$FA606128-21A1-408F-B771-9345D8D600B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364a1492ef1af0460fb7e2002f048c09458a676e","datavalue":{"value":{"entity-type":"item","numeric-id":894654,"id":"Q894654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e460291e290fb1d5b0db5495cf651b71d511a0c4","datavalue":{"value":{"amount":"+0.8230677247047424","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":"Q695273$2FD829B3-14D4-46A4-914B-97302C6A83B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fbc399e8874c597f0cb83a43b17314d1031c9aa","datavalue":{"value":{"entity-type":"item","numeric-id":2335051,"id":"Q2335051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263778d09bfee133f788b4db0c03e53215556974","datavalue":{"value":{"amount":"+0.8167285323143005","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":"Q695273$F422B824-2E0D-45CD-8EC0-4AB26ED967A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6b1e49f9180df03ae03fc9b9937109da599721","datavalue":{"value":{"entity-type":"item","numeric-id":2450646,"id":"Q2450646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b151066f558e91f089df1c330aa39075b3eca5d","datavalue":{"value":{"amount":"+0.8061848878860474","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":"Q695273$6765010A-9C3A-49C2-A023-12074CAFDD1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uninorm logic with the \\(n\\)-potency axiom","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uninorm_logic_with_the_%5C(n%5C)-potency_axiom"}}}}}