{"entities":{"Q918548":{"pageid":920396,"ns":120,"title":"Item:Q918548","lastrevid":65341467,"modified":"2026-04-12T01:54:53Z","type":"item","id":"Q918548","labels":{"en":{"language":"en","value":"Linear logic displayed"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4158625"}},"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":"Q918548$7EBFE6BF-D26E-41D8-A0ED-80ACD53EF9CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b63196e27f2d7bec48a6a305eef4de29b7f82b4","datavalue":{"value":{"text":"Linear logic displayed","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918548$D51EA4AB-48D5-4AA5-B722-C3957776D7CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3145a943ef868568a13fc2e0009c2c520537ef39","datavalue":{"value":"0706.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918548$2C1DE836-E2A6-408E-9AE5-8441E2C598D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c82036c07fd020a3d4c8b8e7b92eb2b804164a12","datavalue":{"value":{"entity-type":"item","numeric-id":918523,"id":"Q918523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918548$C0F484DE-529F-4FDA-8B59-CE0BA2013513","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918548$3FC55F76-865F-46CC-8351-017F1F49470C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q918548$3DF62AAB-9E54-40D2-B254-D1906F403C71","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0f8b0ecaee4354ab79c8513a1e00fdf2236e0ff3","datavalue":{"value":"The author's Display Logic is a kind of Gentzen consecution calculus designed to effect an easy proof of an Elimination Theorem. Here the original version of Display Logic is modified to make it more elegant, and to extend it to all for the display of the Linear Logic of Girard, a system originally introduced for use in computer science. Linear Logic is displayed in the sense that a Display Logic is constructed that is provably equivalent to Linear Logic's original Hilbert-style formulation. This locates Linear Logic within a proof-theoretic framework which includes intuitionist, relevance and modal logics. It also allows variations of Linear Logic which are not accessible in the Hilbert formulation. This paper presupposes familiarity with Girard's prior work on Linear Logic and the author's prior work on Display Logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q918548$689C8A33-F50F-4E71-948E-01856F705CEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918548$174C7A43-76C5-401A-98FF-E09DDAE94049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918548$3EBA2C89-D6E8-481E-9C10-FDEA0BF24746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918548$7E18FE33-861D-492E-AB92-279ED2F3461D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27fbc9666cd3693aa55b5c9ce111bdefdfb88135","datavalue":{"value":"4158625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918548$DE4122F4-7AB7-45F1-B824-5A38F4303859","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9e8f5cc93c98e823034724b53cabbfbdbc088f0","datavalue":{"value":"Display Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q918548$2A366D3D-94E4-4A93-969B-1704CF8EE57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42a09cef419b17699c3123fa47a9a9d46c8c27c6","datavalue":{"value":"Gentzen consecution calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q918548$97A0D897-28CC-4B08-A499-7F23E6A6D7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e63d174b80a6af02048f4fa585d270650815b667","datavalue":{"value":"Linear Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q918548$FAF2E632-08D9-4894-A5A4-EC4A10630DDA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918548$BE9DE203-A23F-4D2F-9BCE-AE53E1EF6B4C","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":"Q918548$10A38361-5DD9-45B8-A1E1-93CF271807BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6732c46943dfb593aca45ca6642ecce55cdd6ec7","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635329","type":"string"},"datatype":"url"},"type":"statement","id":"Q918548$0002460B-72A5-405A-A9B5-370C0C612050","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb1e18768544f6dfe4f9592cdd6bb622105a9c62","datavalue":{"value":"W1978484127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918548$FCAA67FE-C35A-4589-BAC4-146143E2A4A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e7dce7055e451a5b35ca0436014ebc0a8c43df2","datavalue":{"value":"10.1305/NDJFL/1093635329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918548$7BC18002-2185-4E0F-ABAD-AE51550277BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222354851f52feb2b1c1fb76be039ee622b49405","datavalue":{"value":{"entity-type":"item","numeric-id":1817696,"id":"Q1817696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eac04c46baeeca38ef1def679cd643283f1b493","datavalue":{"value":{"amount":"+0.7942177057266235","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":"Q918548$6612A27F-A8D2-4FED-A261-1264589135C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c57412e4ceda584c2b59e0c7dd0402364f63f7a","datavalue":{"value":{"entity-type":"item","numeric-id":915719,"id":"Q915719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"425c6359ce3550e01bf6209183c53b1673b48529","datavalue":{"value":{"amount":"+0.7868967652320862","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":"Q918548$D05D228C-AADF-4B38-A896-76CA55116BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2bad7c79490b3de45876778663776f761bcef44","datavalue":{"value":{"entity-type":"item","numeric-id":5690150,"id":"Q5690150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127b2100ededf5abc2c8f013a56e384e3778a529","datavalue":{"value":{"amount":"+0.7645043730735779","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":"Q918548$9694DDEF-5AE4-4FC6-900A-21E65BEBF53A","rank":"normal"},{"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":"127b2100ededf5abc2c8f013a56e384e3778a529","datavalue":{"value":{"amount":"+0.7645043730735779","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":"Q918548$767F84DC-8C8E-4BEB-9880-F08FB57B45F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5a298f24996e765d38d2efeed8299436b97d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9074896b4d923d371d77e4b775187767460e7cfd","datavalue":{"value":{"amount":"+0.7636384963989258","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":"Q918548$8C600B11-C657-41F9-98E2-F41E80246202","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear logic displayed","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_logic_displayed"}}}}}