{"entities":{"Q2563461":{"pageid":2574204,"ns":120,"title":"Item:Q2563461","lastrevid":46814751,"modified":"2025-12-25T15:49:47Z","type":"item","id":"Q2563461","labels":{"en":{"language":"en","value":"Bounded contraction and Gentzen-style formulation of \u0141ukasiewicz logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 957488"}},"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":"Q2563461$DD83840D-8387-49C6-9B1C-23615DF56F0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad2c4997554859020861dbc984ae4dcd6dbb106d","datavalue":{"value":{"text":"Bounded contraction and Gentzen-style formulation of \u0141ukasiewicz logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2563461$45E47A8E-31C6-46D4-9857-479B341BE691","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"176ab3b8512c34ed784f36ac58a65e496467ebe6","datavalue":{"value":"0865.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563461$DC5C886F-F206-40E0-92A4-21D504854863","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f244abd82513a200d0dbbcbfbcdee77edbc8e0b8","datavalue":{"value":"10.1007/BF00370844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563461$FA363763-A4C5-4F4B-AD8F-AA0083C841F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8a2fdf30fd0859fdd73fd10608e915ae2ad1854","datavalue":{"value":{"entity-type":"item","numeric-id":1194111,"id":"Q1194111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563461$86C70579-E632-4233-8A22-E3EE8A90369F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563461$FD87B919-31B3-4EF9-B430-2E7EE32B06BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3320bcf2674d02af1cc97a966bd2bda166c3629","datavalue":{"value":{"time":"+1997-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2563461$DBF9BDAB-5D63-4667-9B99-DAA5152623EB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1d4673af8490e2f62ebfdcf03153f04d09fc35cc","datavalue":{"value":"The paper deals with multiplicative-additive fragments of affine propositional classical linear logic, extended with a version of the contraction rule where \\((n+1)\\) occurrences of a formula may be contracted to \\(n\\) occurrences. A Gentzen-style axiomatization is presented for the classes of finite models, as well as for the class of infinite linear models based on the set of rational numbers in the interval [0,1].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563461$1AB9FFD2-E9BB-4500-8BFD-A406699AEB8E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a70eb255db58b1b2b90f33f4fe4a154901c6aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563461$B65098D6-B8E3-4FFA-BF52-F2D1091A9A1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563461$E298BB97-E3B8-4BA4-8070-9F6D21A427D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e08eb4e611d02ee6a16fdf6ebf8109ebd805f00","datavalue":{"value":"957488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563461$6228AE35-CC39-4F98-B01A-BF260AF3D340","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563461$925083F3-FE72-4468-973A-874DC72EDAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3cf2e741af8389e6eeae6dd4c007e446c609511","datavalue":{"value":"\u0141ukasiewicz logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563461$B534B514-F988-4C06-B810-F6BF48FCA190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fa4521f7ec6ed8084356633aae3e2434bffba9","datavalue":{"value":"Gentzen calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563461$9F25B3DE-BF97-49FC-B7E3-496C7188F774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9ca4c74f2a1654c41dd63a805fadad56c0db56","datavalue":{"value":"fragments of linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563461$097B44B3-8A20-44A5-91B1-6A5918AE4ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbadd689afdff7de47d6fc9658b887b8542f7df4","datavalue":{"value":"contraction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563461$D3E94806-E45C-4B3D-9DE6-E93C7A29D36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563461$16DB6120-FCAE-4B35-8659-7A9CB3DA488A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563461$D0CE9CD3-A5F7-49B9-9A3C-486E0068DEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"493678c54ad33b0147032ba98f42daa8a230a880","datavalue":{"value":"infinite linear models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563461$BFA08527-2367-4D95-AE84-7D8A004327D6","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":"Q2563461$B439424F-F7B4-4CCC-AB13-D8D381FA8439","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43cb3ade3f2f5cdf738cd2fdc612982bf7c12bd6","datavalue":{"value":{"entity-type":"item","numeric-id":3981456,"id":"Q3981456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563461$40C2D50D-4A34-4E5B-B7F0-7CCD07B27823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"723f42603c1ea4a31586f6f96d336559adbae119","datavalue":{"value":{"entity-type":"item","numeric-id":1309335,"id":"Q1309335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563461$01279750-6AE4-47EA-AFE3-1B24E424C270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563461$A6361F45-B4A0-4A6A-AAF9-C33AED89D437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef88c4a1ef40e208862c168eb829caaba70b0325","datavalue":{"value":{"entity-type":"item","numeric-id":3269132,"id":"Q3269132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563461$A3819408-6DC9-4112-8EDD-8CD5C356429A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563461$A3C4379C-CFDD-49BF-8E67-35754B622D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45761295adc7e44fae6cc8431b02edc26b6654f2","datavalue":{"value":{"entity-type":"item","numeric-id":4187800,"id":"Q4187800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563461$7A3DF276-9028-49ED-8781-CB69B65871B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32793c5851e041526f0ab0dada810aa9e16a780c","datavalue":{"value":{"entity-type":"item","numeric-id":5845641,"id":"Q5845641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563461$98FD741B-F959-4B7F-B220-1FD81D269C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a13a847064c7ad0ffa155298dbfa45014cb942","datavalue":{"value":{"entity-type":"item","numeric-id":5793825,"id":"Q5793825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563461$A4A52C24-7C0A-496D-99B1-F91ECBD28592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa887cf047e18ec6966d079a2bdee2d86d627b72","datavalue":{"value":{"entity-type":"item","numeric-id":5812189,"id":"Q5812189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563461$6361EBDB-3D12-426E-9A15-0BA143C0441B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7790ed1bd17b2f576821db47125662fbc9fc9e6e","datavalue":{"value":{"entity-type":"item","numeric-id":1214402,"id":"Q1214402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563461$D814AA09-A007-47B6-81A2-00139C26E7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563461$E33BA17E-0968-457A-B730-E66DC1E8EA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3bb773a7fbf7097dd8a166b0b3d807f33bdac70","datavalue":{"value":{"entity-type":"item","numeric-id":1110497,"id":"Q1110497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563461$751C5E9B-0E25-42D1-845A-48C87457DB7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c18b0ae314e63e26e28c603bf4a57a73fc13bf73","datavalue":{"value":"https://doi.org/10.1007/bf00370844","type":"string"},"datatype":"url"},"type":"statement","id":"Q2563461$570F34F8-0F5F-47A2-99A1-A20419C6149B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"275b3077f3dfe2054100d3b2095e0e9a5e56f505","datavalue":{"value":"W2001730565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563461$FE38D9C9-475C-4342-8CE1-E079EC4FA34F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"481124b8182ec5dd8e77a6c71bc4c37dd55cf97f","datavalue":{"value":{"entity-type":"item","numeric-id":4263010,"id":"Q4263010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1dad4d4141ee5b8ddef51fad9bf2759abf32bd","datavalue":{"value":{"amount":"+0.8443145155906677","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":"Q2563461$936D92DB-9B90-43BA-B6BD-885179353336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9656f0ba9e81c5c1f6da997d271872d075d90db3","datavalue":{"value":{"entity-type":"item","numeric-id":1924328,"id":"Q1924328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"695feec5be16870b5376a3575f4e330e0224fcbc","datavalue":{"value":{"amount":"+0.7544661164283752","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":"Q2563461$7E4A5781-84D9-4E68-A975-A346FBEA352F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838d7adbdc9eaef8c7f9491bab064308a3598e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4262585,"id":"Q4262585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e68136ef9b940a49baf4f89e1844aa3ed5f5e07","datavalue":{"value":{"amount":"+0.7538169026374817","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":"Q2563461$0C008176-F5EA-446B-B864-EF080E4ED302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f518a9506bab026d7242adab60a13c8722206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1dc2955d9941112d011514ba345574602edfcf","datavalue":{"value":{"amount":"+0.7507763504981995","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":"Q2563461$15D51212-FF5D-4900-A4B6-A65E7215BAD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2563461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2563461"}}}}}