{"entities":{"Q1106836":{"pageid":1117585,"ns":120,"title":"Item:Q1106836","lastrevid":49194376,"modified":"2026-01-06T18:05:43Z","type":"item","id":"Q1106836","labels":{"en":{"language":"en","value":"The semantics and proof theory of linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4063071"}},"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":"Q1106836$E79CBB81-C72B-4AB8-AC37-C430C46EF957","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1923d20f4319507b8e32c704bdea048f53c2a3d","datavalue":{"value":{"text":"The semantics and proof theory of linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1106836$1EF9E6EE-16C2-4B2B-981C-C9B303D46A74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4fb38f9cb9dca46e5e4f7b50f0feb33c0fa0517","datavalue":{"value":"0652.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106836$C1CC660F-43E3-4C9D-8665-7C218E9FD1F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6261c6a4036924f604a87b388a98c8d88a0ee863","datavalue":{"value":"10.1016/0304-3975(88)90037-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106836$547C1A58-3F58-45C4-B2E9-A0387F9C127C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106836$7C63B27C-836D-4B97-A4A5-AEC69975578E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106836$2B91B4CF-35D4-4ECF-A492-97A3C3B47B91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1106836$D25BD5F6-8E2B-4593-8D48-442986B9F368","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"142de4ba53dbf56c27a245538ffeddd415f4a3a2","datavalue":{"value":"Linear logic [see \\textit{J.-Y. Girard}, Theor. Comput. Sci. 50, 1-102 (1987; Zbl 0625.03037)] ``provides a continuation of the constructivization began with intuitionistic logic'' (Girard). It seems to have important fallout in Computer Science, viz programming theory, parallel computation, data bases and logic programming. The paper under review aims to provide more standard proof systems and semantics then Girard did. It gives strong completeness theorems (whereas Girard only gave weak ones) and relates linear logic to relevant logics, the most simply stated relation being: Linear \\(\\log ic+contraction=R\\) without distribution.    Reviewer's remark: The reader be better warned that the situation is not at all simple, since ``... the existence of a (self-dual) contraction in relevance logic (with, as in classical logic, the impossibility of a normalization theorem, i.e. some kind of Church-Rosser property), makes it hopeless to push the connection beyond the level of mere probability...'' [\\textit{J.-Y. Girard}, ``Geometry of interaction'', typescript (1988)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106836$7F360C6D-A304-4DD8-9319-A9BF4BDB738A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106836$E12FDDCB-3B1E-470E-BC58-F9BD6D06942D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106836$266EE145-7AEA-4827-98B8-6F1518F996D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5016a7d766fde3444ecd2aeb73ce38a5f8ca542","datavalue":{"value":"4063071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106836$8E911B77-B409-4A28-A3E7-4524EEF1BA34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a18968e14bb0b12044290cb5471e145c15a4cf4","datavalue":{"value":"relevant disjunction structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106836$AC78FFF5-49EE-4F21-898B-9A974F890807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929f3367915650cc9119ce6d02a7090c7a3d130f","datavalue":{"value":"Girard structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106836$EDC1E410-3D24-4528-9739-3C431B43E256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106836$B148FD13-76F9-49B9-81BF-D64F0242A4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1edaeddee64594d84836f6e81940b1399276dc","datavalue":{"value":"relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106836$4C069085-8E6A-4E9F-B860-4BE66D3915DB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bc7a4844df6c1e7fd45e2597303e18bd88cee256","datavalue":{"value":{"entity-type":"item","numeric-id":598278,"id":"Q598278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106836$32090D1A-61AB-4620-A804-FC3FBDADE9B2","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":"Q1106836$354F4718-A9BD-4F6D-93B4-239F01480950","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8de192588d158a7f0377832eac5017277dbe7f43","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90037-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1106836$F8674ED2-3067-470A-9C67-622666FA5AE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dce20b8d52853b6c1b0167895196e32eec476a3c","datavalue":{"value":"W1974484530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106836$023D5B8C-BD1E-436B-B6E0-DB4A9C6706C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106836$9641E16D-8A5A-4FBA-BA30-6375EC2166ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7c99e107348aa82bd1ed9ca721c57c6ffc4f86","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106836$A0F2F422-D79E-4CE2-800B-955CE5E3B033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8930c54d1c42255213199ec68b58ab8bd12e8f41","datavalue":{"value":{"entity-type":"item","numeric-id":3712316,"id":"Q3712316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106836$2638A4FA-9905-48D4-8430-3B5D3B53E9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106836$97CC3C73-561D-42F7-8DFF-B5A728725DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106836$64B46B6D-2FB9-43B1-86C3-B22F5D5EC33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106836$38BF22D4-9A13-44FE-877B-B9321F4EEFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106836$5D2EFA11-BF33-48B7-AACA-E8330B720040","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":"Q1106836$BFEF001B-F51F-45AD-9BA3-8E11DF3DD034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106836$890C312D-B110-494A-8621-C37B314CAB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106836$331D69FA-157F-4BFF-B8D9-5EE24637AF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842b56d1e792f42e670c8d166b3e57b0abea925c","datavalue":{"value":{"entity-type":"item","numeric-id":3703869,"id":"Q3703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106836$9F4787BE-316D-4521-A6F2-080111204E5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1048a47a90373bc7b5355c785e75695b5eb5afff","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef65b3a044240f0638687c3a52b2671a969c7d0","datavalue":{"value":{"amount":"+0.823170006275177","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":"Q1106836$3EB56485-C113-4C3F-B4D9-713EEDEF5AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8446e884f1512b34d63b11f1278044ba5e4379a","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abaf867b6c4abd5a8e7ae10e65a5ba6084164af3","datavalue":{"value":{"amount":"+0.8130567669868469","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":"Q1106836$2AEF8FCA-2DA8-41AC-B526-6AC52E21DDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc47658fbde05d76bd9a05e291da30b133402539","datavalue":{"value":{"entity-type":"item","numeric-id":4699356,"id":"Q4699356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357e34f0d44c1a4eda13f40a400856123bb02717","datavalue":{"value":{"amount":"+0.8060505986213684","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":"Q1106836$C6840E4E-4EB3-4762-B431-3A93F4E997A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7faf8974560c28ced35834baac82819c43239cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4362881,"id":"Q4362881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c500e352c82c335419f025f1b6903f32910739","datavalue":{"value":{"amount":"+0.8043729066848755","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":"Q1106836$B70C4F11-9AF0-4F30-A474-C82636B17353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146caf1263e383a43f6e1d33aa6b75d2ca0aa098","datavalue":{"value":{"entity-type":"item","numeric-id":4694232,"id":"Q4694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d49fc164f1eb4522b1429df3e88add4e91e7a26d","datavalue":{"value":{"amount":"+0.8030861020088196","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":"Q1106836$B2201B99-F07C-499E-BF36-B9BAE0AB382A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1106836","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1106836"}}}}}