{"entities":{"Q678833":{"pageid":680682,"ns":120,"title":"Item:Q678833","lastrevid":63434064,"modified":"2026-04-11T13:07:38Z","type":"item","id":"Q678833","labels":{"en":{"language":"en","value":"Categories for computation in context and unified logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004392"}},"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":"Q678833$07A64939-B3F6-4EF3-B549-EB2141CA37F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1d4bf482e47b1e50da9191174c56a2928c0b30b","datavalue":{"value":{"text":"Categories for computation in context and unified logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q678833$EB6127E0-2B24-4B59-81A5-CE854DE9E999","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8b0d6b517cf8caa6be8390cbbb40a63f9c53686","datavalue":{"value":"0879.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678833$85FEE68C-17B4-4907-9928-9014DE21FF9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8bec5ef35c858cbbae9e9b0c5d895f5f6df993f","datavalue":{"value":"10.1016/S0022-4049(96)00162-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678833$0D56E599-815E-46FD-8C8C-3E0BDDFC34F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c637be94ff5c478954635c44b965d4e34813a94","datavalue":{"value":{"entity-type":"item","numeric-id":673961,"id":"Q673961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$1DA95514-7CAE-45A9-9774-8627869C621C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"481d982c5d0e038afc73121713cd489a6ab9fd68","datavalue":{"value":{"entity-type":"item","numeric-id":674461,"id":"Q674461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$18788009-73A6-44EF-BB0B-C9408FC4593F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3de85f6c33c712dd4c532c867e0f7e1c3d5d050","datavalue":{"value":{"entity-type":"item","numeric-id":1421607,"id":"Q1421607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$DC43F4F0-F850-4EEE-B1CD-D766CB655F22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$9D3A7812-7A95-40BD-B544-EDC22758D164","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad4ab8f37a90ca87e9ccd9974f355802c12e0ef2","datavalue":{"value":{"time":"+1998-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q678833$5915AFEF-E382-47C9-8171-87C24A37AF15","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"86eada0894deb7f8114c17bde48d8efd90b1f8e1","datavalue":{"value":"The notion of ``context category'' is introduced, to provide a framework for computations in context. This is part of the attempt to elucidate the structure of linear logic using weakly distributive categories (recently renamed by the authors to ``linearly distributive categories'' [\\textit{J. R. B. Cockett} and \\textit{R. A. G. Seely}, ``Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories'', Theory Appl. Categ. 3, No. 5, 85-131 (1997); see the review below]). The present work also provides a basis for developing the categorical proof theory of Girard's unified logic. A key feature of this logic is the separation of sequents into classical and linear zones. To model categorically the classical zones at the left and right sides of the turnstile, the notions of context and cocontext are considered. Categorically, this involves fibrations and the consideration of tensorial strength. Weakly (linearly) distributive categories provide a model for a core fragment of unified logic. Cut-elimination is investigated. As a connection to explore in future work, the authors mention the ``Action Calculus'' of R. Milner.","type":"string"},"datatype":"string"},"type":"statement","id":"Q678833$9ABCDFF9-C6AC-4DE4-889E-5BC7FB843CF1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6c848266fa72da40ff1802d3555a7d072216992","datavalue":{"value":{"entity-type":"item","numeric-id":590478,"id":"Q590478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$1D8BDA62-1EAA-4519-BFE4-1B04DBFDF292","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678833$94E465C5-564A-42F7-86ED-2855C0CD1088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678833$5F5BE0B7-53D5-4FF2-A673-F6011D032A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fabc1911e3f51c2521729db77280e58de711c447","datavalue":{"value":"18D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678833$932341C0-A407-4B11-B465-EF6DE7D3B7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678833$899C5030-B49F-4897-9C30-2999425B278C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678833$7750DF81-44FA-45BE-B6C3-80530E6EDF4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7eebbb234935c6a9c91cb9ee5bfe0f1e858cfbd1","datavalue":{"value":"1004392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678833$BB41A85A-51B8-45BB-B7AA-3131892F13BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42287cd8c62a7d8bf2d6ce5325d879e5185a4885","datavalue":{"value":"context category","type":"string"},"datatype":"string"},"type":"statement","id":"Q678833$89573238-CE8E-4644-8209-791D149B79FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4571df467ba9795d2007b44fc83019e57e357d08","datavalue":{"value":"linearly distributive categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q678833$02EC0DD5-11E7-48AF-8503-E8DE0DA32A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q678833$152C0BB7-97F6-4137-B266-80EC8B0A6E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5497887d295a8e3ae44e21c1f059d8ae8bc37fd8","datavalue":{"value":"framework for computations in context","type":"string"},"datatype":"string"},"type":"statement","id":"Q678833$6DB5A34F-BD2B-44A2-B52B-BC0F8CBA2674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q678833$D14DD08E-E142-43C1-9566-1D696BD8422C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbf624f3e102941448d7d6ee673e2d1d0cd7588d","datavalue":{"value":"weakly distributive categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q678833$D37D6E34-F392-4C63-BE59-ABF49A5B52AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e41da6e9532d18d4b0fc3098833cffdeff51969","datavalue":{"value":"categorical proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q678833$E84420AC-3B68-427B-905A-6F9413D1F2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d63c870d87d7edb6e4a952781b500bd2625b10","datavalue":{"value":"Girard's unified logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q678833$B5DF3DE9-4BD7-47E2-A1CD-26C43C0F2E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c2ed255c68513ba5fb72b62eb668c762562c3","datavalue":{"value":"fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q678833$EB6335A5-04E6-4439-929D-1FD4FFE5B5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19786cbcc3cc565920701d7d123f9ef896dc0b1f","datavalue":{"value":"tensorial strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q678833$F2DB6CEB-690E-49D8-98C9-C2D25B7032EF","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":"Q678833$2A638C35-C983-4664-BF5E-C3AB742DABB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4984b480ff603fe16bf0e07551fea0c30c709de6","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$3E889652-26FF-43DB-9749-38540F68B5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26571693b6a8567e0a13f75c14953cf8fd0307e","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$FCA151FF-432F-4198-9F31-08DB3A47BB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2c8292e83c6a8dd597f45e964fcbaf4ccb4d69","datavalue":{"value":{"entity-type":"item","numeric-id":3024825,"id":"Q3024825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$DD800E26-2018-48D1-A40F-0E03EFD091F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83b6cea3f8114a041aa5af814172677040bd6bf","datavalue":{"value":{"entity-type":"item","numeric-id":685406,"id":"Q685406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$C00EF53B-F010-4A87-8582-043690485A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d5dee1508329ebbe91043792d838e50e8c4344d","datavalue":{"value":{"entity-type":"item","numeric-id":1126244,"id":"Q1126244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$ED0C7E84-6172-4BDA-86B0-48BF6BFD4C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"254120c88e9c3559b42efc26b3a244c3a30cada8","datavalue":{"value":{"entity-type":"item","numeric-id":4715669,"id":"Q4715669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$4EEA26ED-0C55-46C0-8C7F-898DC639B3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$80501591-FFC7-436D-ADC2-B309BA815BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$F77DB9FF-BFB4-4320-B474-52E0ABBC9F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d43aa3f7d8a349cf75c122d633ecf49f988057d","datavalue":{"value":{"entity-type":"item","numeric-id":674463,"id":"Q674463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$8C9B8495-107C-41FB-81D2-D44EB3FAE490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22233bee52ccb8eea1284858112deaddc3149c88","datavalue":{"value":{"entity-type":"item","numeric-id":4342439,"id":"Q4342439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$1F0B8956-2FB0-47BE-98C1-C7367EEFA0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbbf7faec499e3b048aa800d9ae6c142df02880","datavalue":{"value":{"entity-type":"item","numeric-id":3137150,"id":"Q3137150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$2E308512-5F96-4ACC-A8E9-5A4134EB4B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fba5e8ace22a05b3ebef9aa0392420cd4ad549","datavalue":{"value":{"entity-type":"item","numeric-id":685059,"id":"Q685059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$F19890B8-BB0E-45DA-A047-3DD66D8F8F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$E26B1AE1-E513-4B6A-A447-A4C3FCC82956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc511ea0e64c1b7fb20a80d054f299abb7532827","datavalue":{"value":{"entity-type":"item","numeric-id":4260379,"id":"Q4260379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$9EE2CD1D-6CF1-4229-8965-4F8E263FA9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$AEC1D3B9-08CD-43EA-8D7E-BF2E254911A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52d565fee0eb9efaaf46dbfbd94870693815a67","datavalue":{"value":{"entity-type":"item","numeric-id":920197,"id":"Q920197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$A89FDDEE-E7EF-45BA-BC2A-931E31A9E5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da0fa6078c4e3350b21716178d86ae6190bd807","datavalue":{"value":{"entity-type":"item","numeric-id":4379680,"id":"Q4379680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$865AF3D3-06BF-49CE-85B6-9FBDB73E54A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678833$B53C1CF6-C32A-4C38-BEF3-61D4DB5ACD36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cdd29fec6572abd0b588b0d3511da82fef7ad78","datavalue":{"value":{"entity-type":"item","numeric-id":3138536,"id":"Q3138536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5181dffd728f4d86c82f5825a6962519a21117bf","datavalue":{"value":{"amount":"+0.7609094977378845","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":"Q678833$DD0A107F-4FCB-4F44-A8CF-9712674ED4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50a1195afb1c3c601a1561a604730c0b6a152933","datavalue":{"value":{"entity-type":"item","numeric-id":4474834,"id":"Q4474834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ccb07baa33172f1ea74da77c2d3cd5584c98ae","datavalue":{"value":{"amount":"+0.7563779950141907","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":"Q678833$9A600F51-B1C2-4697-A90B-05495EDBD8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359aa83dce47154753cee4ee3fd6d93a17a1cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":4650576,"id":"Q4650576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96bd3f39e3d47720f8bc15c15924ba29f8081f0e","datavalue":{"value":{"amount":"+0.750900387763977","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":"Q678833$3D637ADA-73DE-48D3-B2EB-4D6FA2660232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15c8d3afb26baf21bb86cb0dd812c9b68afd7d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4842968,"id":"Q4842968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3087c4c877a0c883cb7a14a34d9ec8e6027d423f","datavalue":{"value":{"amount":"+0.7453760504722595","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":"Q678833$F66A0295-4CDA-4FCC-A9CE-8DD55CEC3D9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categories for computation in context and unified logic","badges":[]}}}}}