{"entities":{"Q894654":{"pageid":896502,"ns":120,"title":"Item:Q894654","lastrevid":65223579,"modified":"2026-04-12T01:07:50Z","type":"item","id":"Q894654","labels":{"en":{"language":"en","value":"A note on standard completeness for some extensions of uninorm logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515290"}},"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":"Q894654$7025FEC7-370F-4D9A-9BD4-457E302C292A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e4fcea76dc794aa8ab90054f307f0b880bf9ec4","datavalue":{"value":{"text":"A note on standard completeness for some extensions of uninorm logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q894654$0A36E282-BC18-414C-93F4-582CFFE32852","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5835d2983e42e66d78c626398e3732eea5ba0dc2","datavalue":{"value":"1333.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894654$BED19A73-15AC-4CDC-93CA-1D81DBED815B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"345befc6ae452ec29df99489fb5f4e5246bd516c","datavalue":{"value":{"entity-type":"item","numeric-id":271690,"id":"Q271690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894654$95AE2FE8-87DC-4BA2-BE46-A98CFC1DA256","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894654$8D13ED54-87C8-4E2A-AAAD-F8C206E5E190","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q894654$11317EDE-C6A8-4D48-9CB4-96511DAB60F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bcf3110b89f38c1cf5fbb9ea8f3ee1e4829c62ae","datavalue":{"value":"In this article, the author analyzes uninorm logic UL extended with so called knotted axioms, which were introduced by \\textit{R. Hori} et al. [Notre Dame J. Formal Logic 35, No. 2, 219--242 (1994; Zbl 0812.03008)]. Firstly, in Section 2, ``a Gentzen-style calculus for any axiomatic extension of UL with knotted axioms'' is shown. Next, in Section 3, the density elimination is discussed. The proof of the main result of this section, i.e., Theorem 1, is based on ideas presented by \\textit{A. Ciabattoni} and \\textit{G. Metcalfe} [Theor. Comput. Sci. 403, No. 2--3, 328--346 (2008; Zbl 1206.03027)]. The main result of this article, standard completeness for uninorm logic extended with knotted axioms, is obtained in Theorem 3.","type":"string"},"datatype":"string"},"type":"statement","id":"Q894654$958A7B48-AAF1-4505-BAE3-61F28370E898","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3fcd8c79bf3fb575a79e2310bf276c3d8e8c922a","datavalue":{"value":{"entity-type":"item","numeric-id":279334,"id":"Q279334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894654$E6949C65-DA74-4AEC-B11B-4935AC556485","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894654$7E8A4D02-1503-4925-95E4-A990E6E105DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07e0ece1f851e5fbb61dbe86b9dd86f8d8ae7321","datavalue":{"value":"6515290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894654$56FF87DF-DAA4-42F9-8AFC-618EDBAEA130","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e3b78f3149db7c0dcc97ef2bd019728dfc4b35a","datavalue":{"value":"hypersequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q894654$8EC4E592-4C0E-4F3D-A48C-7C2750658DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d81574493566183bc84a60a64489e3d3d85b230","datavalue":{"value":"density elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q894654$45FB1BF3-5C0F-482E-93B5-4914A4BEF2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84b385a1fdb49956580fe68f3fd28810f7cb231","datavalue":{"value":"standard completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q894654$4CA1A09F-34A5-4E4C-83FC-CAA3D2E13699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q894654$BCB8BBEA-1199-443B-B56C-0F6AB0DF1FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed94b5c2419002f02248c96de5c9a93f88d50870","datavalue":{"value":"knotted axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q894654$D97B5AC1-366B-4E32-BD86-E5FC93B3130A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b4c90f955e873b123f9a468a706ef8535181af8","datavalue":{"value":"uninorm logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q894654$11F60818-773B-4B7E-9538-1776DB60865E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f10b4d43ca59a2881d59ff80a40306d6d7ff5d31","datavalue":{"value":{"entity-type":"item","numeric-id":32073,"id":"Q32073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894654$1DA8A802-B389-40CE-B7F5-FC53DF31C8C8","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":"Q894654$D7CCB358-B101-42EE-96EB-D03AB0FA03FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e719132143eba317527c9424e54cd5d61f5df62","datavalue":{"value":"https://doi.org/10.1007/s00500-014-1265-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q894654$0630D325-6B67-45D6-A06A-7202B41CFF0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf3989b77764248f2f66491102d2ded551dbdf5a","datavalue":{"value":"W1993481785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894654$D20482AA-F8BD-49CC-AAA6-21FA86FD1224","rank":"normal"}],"P223":[{"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":"Q894654$EE4367A6-90F2-4577-A346-126D8919ECE3","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":"Q894654$412E2A56-665A-4726-962D-778720496A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c98086911e5e459fad080301315e9b7ad18586","datavalue":{"value":{"entity-type":"item","numeric-id":2915024,"id":"Q2915024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894654$468CB469-AD31-4FBC-B55F-DA37D82FBD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6733c43d3ed32458e793473c5eb6d681a29fe8","datavalue":{"value":{"entity-type":"item","numeric-id":944384,"id":"Q944384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894654$8D690569-4596-44C3-B733-B448D7DE476B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6354dc5922d58d0941351631a710c38db024ca","datavalue":{"value":{"entity-type":"item","numeric-id":652517,"id":"Q652517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894654$B7C2C6AB-C447-4F67-AB05-758FA56E16ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4412af6e01cd77d7d54e6746d98fd56508bdb5d1","datavalue":{"value":{"entity-type":"item","numeric-id":5434503,"id":"Q5434503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894654$716DE5E1-9298-49FB-BCFA-5602FDC480D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb17c3ec23f7db1652717b13437eb3142a54285","datavalue":{"value":{"entity-type":"item","numeric-id":1024552,"id":"Q1024552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894654$24E1CA32-8E69-4E44-8100-CF8CBBAFD142","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":"Q894654$BF867953-1DD8-4112-BD3C-CDF4CFF4FA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a51113057e12a1208b61f1af48f1c9710699e402","datavalue":{"value":{"entity-type":"item","numeric-id":884954,"id":"Q884954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894654$65E0C2E1-6526-4081-BF9E-A331667D04E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894654$5A4ED1AF-B018-448A-86A9-14BACA7E25D2","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":"Q894654$B987F6A9-38F5-4476-8CB6-CDF673A76A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc2b56c4e694def70ddafd01cad232ba158e24b","datavalue":{"value":{"entity-type":"item","numeric-id":5406035,"id":"Q5406035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894654$5B706DCD-A720-4E71-9956-861698DA4C0C","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":"Q894654$023A4331-EE6A-4CFD-835F-3E854285A01C","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":"Q894654$8590B3D8-A5F4-4A3A-A54F-1BC735A93AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c7441f14cd80867272d212ce0f09fd35cbd33f","datavalue":{"value":{"entity-type":"item","numeric-id":695273,"id":"Q695273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894654$FC3B639C-A3D0-4DE4-A1C9-78840CC2652D","rank":"normal"},{"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":"Q894654$FA858DD2-854E-4AC4-8644-EA17EC431F05","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":"Q894654$6B436206-5B33-43CE-B38A-55F2AF3EA3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bab06c6efc101c2c178c21ed15568782da3276","datavalue":{"value":{"entity-type":"item","numeric-id":3693510,"id":"Q3693510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894654$A2DF8B58-0A99-4B51-A4F5-5395A21FCB5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d16388849fac29f7fd1a98484a587ff384f2cb7c","datavalue":{"value":"10.1007/S00500-014-1265-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894654$716C3993-5117-401D-90F3-73F925355DDE","rank":"normal"}],"P1643":[{"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":"f3877377c53238e95b3c7b048052503a85e517c6","datavalue":{"value":{"amount":"+0.8264907598495483","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":"Q894654$900FDFB5-E44D-4417-B5BC-FE087C7374F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c59cadd48c8f5528354e3827f628130233fad733","datavalue":{"value":{"entity-type":"item","numeric-id":695273,"id":"Q695273"},"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":"Q894654$F5A0493B-6EE6-4DA6-935F-C7DFE9239271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e361eac8402df708c7564f6f7a9697b0d7876b12","datavalue":{"value":{"entity-type":"item","numeric-id":2829669,"id":"Q2829669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7bc77300fc59b24e8e43ceba9d2b025f7361c09","datavalue":{"value":{"amount":"+0.7935270667076111","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":"Q894654$A1EBF552-5B06-406A-98F6-B0B88F1FCA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"440b8d555ffcfaac13ce86776eba8c069548cd61","datavalue":{"value":{"entity-type":"item","numeric-id":744987,"id":"Q744987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b35be9352a9ffb02eab470cccf194c00c7c75fa","datavalue":{"value":{"amount":"+0.7893513441085815","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":"Q894654$D45EAE6C-2F3B-4299-913E-5CE8309141CB","rank":"normal"},{"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":"5dbd7d7dfa3b689c0d96ba40314da3c9e7e6aa49","datavalue":{"value":{"amount":"+0.7890977263450623","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":"Q894654$359EE08F-20D4-4C59-AFAC-C7ED117A0E86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on standard completeness for some extensions of uninorm logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_standard_completeness_for_some_extensions_of_uninorm_logic"}}}}}