{"entities":{"Q2177586":{"pageid":2188329,"ns":120,"title":"Item:Q2177586","lastrevid":57767748,"modified":"2026-04-02T11:00:30Z","type":"item","id":"Q2177586","labels":{"en":{"language":"en","value":"Syntactic cut-elimination for intuitionistic fuzzy logic via linear nested sequents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7197412"}},"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":"Q2177586$335A9321-4F68-47CF-8F43-3DE3DDC644DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f070ddcb4241a45e5e80e901dbee9c329c0f8a9","datavalue":{"value":{"text":"Syntactic cut-elimination for intuitionistic fuzzy logic via linear nested sequents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2177586$7D9DE76D-D91D-479B-8D96-3035282EC452","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f2ff2dfeb1e30f8487259227eac7119aa724c34","datavalue":{"value":"1481.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177586$6CBDAB05-2C57-443F-B5D6-A641077C7950","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcf98559ed149932334a002a57beaf1fc603761d","datavalue":{"value":"10.1007/978-3-030-36755-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177586$EB425D74-FBE9-4207-AD6D-C66AFB16FD42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1cd4ae27124a7613f6f15cdd4522fe66a676dd","datavalue":{"value":{"entity-type":"item","numeric-id":2142092,"id":"Q2142092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2177586$364BACC7-39E3-462D-A54A-EBFA48C48AF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63b133e2f3cdb47e2584c85d3d40bfb2c7f5272d","datavalue":{"value":{"time":"+2020-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2177586$BA1D4970-1B84-4CE5-BE57-0542581DECAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c650f0b9ecff723de69c7ea8d5d79c01569b727","datavalue":{"value":"https://arxiv.org/abs/1910.06657","type":"string"},"datatype":"url"},"type":"statement","id":"Q2177586$6FE07BD2-EE0A-4BB5-8DB7-F51202F1B2B7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"88d70261df6f64636bbf01881d6eced338701f0e","datavalue":{"value":"In this paper, the author introduces a cut-free calculus, called LNIF, by applying to intuitionistic fuzzy logic (IF) the linear nested sequent framework introduced by \\textit{B. Lellmann} [Lect. Notes Comput. Sci. 9323, 135--150 (2015; Zbl 1471.03080)].  After a detailed introduction including a quick overview on other sequent calculi for IF, the author recalls the axiomatization and the semantics of IF as presented in \\textit{D. M. Gabbay} et al. [Quantification in nonclassical logic. Volume I. Amsterdam: Elsevier (2009; Zbl 1211.03002)].  Sections 3 and 4 are the most strictly technical ones. In Section 3, he introduces the LNIF calculus and proves its soundness and completeness w.r.t. IF, while in Section 4 the main properties of LNIF are proved. Such a calculus enjoys the properties of separation, symmetry, internality, cut elimination, subformula property, admissibility of structural rules, and invertibility of rules.  Last, the author concludes the paper by discussing possible future works and further applications of LNIF calculus, e.g., a midsequent theorem and interpolation.  For the entire collection see [Zbl 1428.03004].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177586$E1098C70-4AB6-4790-9838-2974592D1241","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"751c2917b8494d19c5dfee1c7c9b5c6f659e54eb","datavalue":{"value":{"entity-type":"item","numeric-id":679838,"id":"Q679838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2177586$58A99A2D-4AAF-46AC-A28C-03C6ED9D06DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177586$87C8A6AD-FD4C-4544-8818-295DD4BB8F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177586$9EFE7F23-34B1-4ADB-93F2-20DE5C4AF322","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e46c3520a8bee3276f5b39ef479d7886dedec34c","datavalue":{"value":"7197412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177586$577523D4-A443-40B1-9E84-EB72DC80A865","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177586$CEF8B10B-CAB3-4B4B-A9A6-CB669D693ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177586$08E0DAA3-A2EE-4A68-8DBE-EEAE5659AD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177586$66923BE8-A868-44A4-A1BA-86B355218F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177586$12D4D222-1DA9-4408-B0AB-FA048D808E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99aef26f9a7884dba13e6deb0012d93a1f49993b","datavalue":{"value":"linear nested sequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177586$7BFF6C46-6745-48BA-BCAD-08FDD5FF96D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177586$4C6AE34D-E0E8-4CB1-9CBF-6EF33CA9A35D","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":"Q2177586$CD890A7F-42DB-45A6-916B-4CE863EEB587","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e8b9a4ffd061edef8d981af7f879886d1528bff","datavalue":{"value":"W3100227666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177586$0C89705A-4A99-4735-972F-48495C46F445","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae3516a91cd7d6d402577aedea849e41c45273ae","datavalue":{"value":{"entity-type":"item","numeric-id":2753673,"id":"Q2753673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ad48c20c9dcc8af73a8b35d39e76b2f72b3094","datavalue":{"value":{"amount":"+0.8043182492256165","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":"Q2177586$A4079CF5-674B-457A-B47E-2FD867D9BDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee14aaaa558f787ca2df8773212157f816a32d7","datavalue":{"value":{"entity-type":"item","numeric-id":1778065,"id":"Q1778065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c888046f3e9876e21d67069212f99dbb932e37ed","datavalue":{"value":{"amount":"+0.7761698365211487","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":"Q2177586$80B62204-482A-452F-878B-679AB63D11D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a3ec190934def56b667dd0717430e03d589d5af","datavalue":{"value":{"entity-type":"item","numeric-id":2817941,"id":"Q2817941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a663b3aba5b8f92c7ec8b5bbc56c76301058c7","datavalue":{"value":{"amount":"+0.769666314125061","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":"Q2177586$2A18A76F-816B-49B0-86A1-AE491239800F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c9696d466114212941c86d3ceec7394aac4b5e","datavalue":{"value":{"entity-type":"item","numeric-id":4910421,"id":"Q4910421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7544234db15225dbea5c7f05ab93f8e991bb7fe6","datavalue":{"value":{"amount":"+0.7669993042945862","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":"Q2177586$DADB53EC-C281-499F-908C-7D5863D77E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52cea5787ca4559d60f7945eb71e37137d1c26d","datavalue":{"value":{"entity-type":"item","numeric-id":2180517,"id":"Q2180517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4022b243ee561188cdb494e3ae039faa6f93d72","datavalue":{"value":{"amount":"+0.7554839849472046","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":"Q2177586$242891BD-E2C9-4D8E-94B6-A53F48EE28E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2177586","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2177586"}}}}}