{"entities":{"Q1001367":{"pageid":1003215,"ns":120,"title":"Item:Q1001367","lastrevid":66545364,"modified":"2026-04-12T10:51:14Z","type":"item","id":"Q1001367","labels":{"en":{"language":"en","value":"Strong normalizability of typed lambda-calculi for substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5508677"}},"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":"Q1001367$F6E368BF-174E-4B25-8A6A-81CCF01ED863","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f38b89a92b4a684c65b4b2995b9c6716ebce6759","datavalue":{"value":{"text":"Strong normalizability of typed lambda-calculi for substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1001367$94AC43A0-B3FF-41BE-975A-12CD5F3ED223","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a76ada68605ce8829416bf89875952b304704973","datavalue":{"value":"1167.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001367$FE420D90-D14F-4ADE-84C4-729C543E1997","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c04a1f490733939075d9d70f9ea36d3713458ddc","datavalue":{"value":{"entity-type":"item","numeric-id":1001366,"id":"Q1001366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001367$4234B8BF-43EB-467B-8387-1E7F01D220D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001367$94EBD66D-A44A-4AF9-8E88-552BF34A2337","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001367$0DED9BCC-EE33-471F-8C0E-3A6477660C56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8f9771f54c3b7062e47ad7ecc3cf21334f03880","datavalue":{"value":{"time":"+2009-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1001367$CAEAC19C-4E6A-4C4C-BDEE-E34CEB85F359","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9c43d9841451c977130e9aca05e62cb11614cf8a","datavalue":{"value":"Standard \\(\\lambda\\)-calculus has, as its set of types, the theorems of intuitionistic implicational logic \\(H_\\to\\). The theorems of weaker implicational logics, and some logics with \\(\\to\\) and \\(\\wedge\\) have been shown to be the types of subsystems or extensions of the \\(\\lambda\\)-calculus. This paper concerns \\(\\lambda\\)-calculi, previously introduced by the authors, whose theorems are the types of a large number of substructural logics over the \\(\\{ /, \\backslash , \\ast \\}\\)-fragment \\(L\\) of the full Lambek Logic and the \\(\\{ /, \\backslash , \\ast , \\sim \\}\\)-fragment \\(C\\) of the constructive sequential logic.  The authors, in a single proof, prove strong normalisation for all the \\(\\lambda\\)-calculi at once!","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001367$7F7D4A2E-C739-4900-B877-F36FE457E8E2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001367$432D649D-3419-4AE8-943F-221400E52AE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001367$EA59AF5C-9CC1-44C0-B402-968CAA6751C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001367$A925461B-F6FB-4D48-8CE4-707C165CFF0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b41acb708b651a21a054a29a5aaa2b0b7b4043da","datavalue":{"value":"5508677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001367$FA8C6C7A-DE6A-4E4B-AFCF-CACF17CAACBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001367$4C4A87B3-733F-4C05-98B3-A37D070FBFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8bb84bd86abec9f57c8cf048201e810211b8ba","datavalue":{"value":"strong normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001367$FD5EA70C-3DFD-4962-9573-4ABEEC0C70B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001367$2668269D-4C04-4C72-946D-02CBA208C980","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":"Q1001367$3BA6FD23-76EA-42A7-8F17-E2F3C84CBA9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d920d00bf387f7df0c5b4f355a4140bb32ca6355","datavalue":{"value":"https://doi.org/10.1007/s11787-008-0036-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1001367$AECBFC00-DEBF-4344-8D81-ECC58F796A34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c12acc93addb977414b3cd978cf807bdcf95b3b","datavalue":{"value":"W2086657019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001367$6317504F-570B-4D86-A3CE-557A5F96DB2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24232134402c9b34ea4133a63444de03432bf238","datavalue":{"value":"10.1007/S11787-008-0036-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001367$2295C2D2-F9EC-4036-A1C7-CF09386CDA56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e74d85b5848b01f6d0209c5eb797c3236848c2","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b49827cb91091ad481a70a87b20d4db44e874b","datavalue":{"value":{"amount":"+0.92959297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001367$C2B668F1-FB99-446A-92F8-C77855578737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52f1896d4af55a7de22770ce3e8705c9fb7bff57","datavalue":{"value":{"entity-type":"item","numeric-id":5292634,"id":"Q5292634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25452e5194efd74f0acf83c91988fb13db233f5","datavalue":{"value":{"amount":"+0.9280789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001367$3C4D4F00-D162-41BD-946F-7963B5B40B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3731b13ffcfcd2791dd812dcf159bf727e2a0f06","datavalue":{"value":{"entity-type":"item","numeric-id":4501146,"id":"Q4501146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc1f3f9852b2540661211ee12f155518d7a5f31","datavalue":{"value":{"amount":"+0.9271276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001367$E81D13BB-C935-4339-9D08-00E3FFF38F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7e2cfcf9f8ac0233557b6d690d557c3ef22bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2871864,"id":"Q2871864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb2b94a1bcc759af883c08053f8fdf1b9f0e3b6","datavalue":{"value":{"amount":"+0.92463934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001367$9B25B735-9316-4B58-BCD8-F3F4632130BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84bd545647dad02509086e195823bbe1f5db783","datavalue":{"value":{"entity-type":"item","numeric-id":5412171,"id":"Q5412171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a27923e3c3ad8adfe44eb761aa0bb8ea65d2923","datavalue":{"value":{"amount":"+0.9241156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001367$8D105B7B-61C9-40CF-92F2-64CBD0D22F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de03afcd9e634828c884f8371c6924cf776aa37f","datavalue":{"value":{"entity-type":"item","numeric-id":1290510,"id":"Q1290510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ac4a5cd8a7ece28bf099b3c2073a660975bb67","datavalue":{"value":{"amount":"+0.92008877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001367$59F8D0CE-4274-4B70-9C36-0E2D0BC75BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685d265adf2c83da358eb92c8fcb2753e44c03ef","datavalue":{"value":{"entity-type":"item","numeric-id":5310640,"id":"Q5310640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87cf644542436e400a404aff8bf48d62f98d881e","datavalue":{"value":{"amount":"+0.9154954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001367$7DF6B01A-B803-4C24-8733-6B95EC0005C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9337dcf5f008dbee25bf8ebe353a36a9f86befe","datavalue":{"value":{"entity-type":"item","numeric-id":2870139,"id":"Q2870139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01eff44a12f54db1a6e53930890f06124d7f4213","datavalue":{"value":{"amount":"+0.9138586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001367$088F68FE-A055-4D18-A23B-3EA77E31143F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9445485e73c2efc6d54dbc8fecdefce9e5ef46a","datavalue":{"value":{"entity-type":"item","numeric-id":3024920,"id":"Q3024920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa49414d2ce9979576779eb10d35efc9fb3084e5","datavalue":{"value":{"amount":"+0.9082594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001367$87F8CC52-7721-424A-92D3-51FDF26DB5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb8ec8be874d7ffa31a025193401dedc39219192","datavalue":{"value":{"entity-type":"item","numeric-id":5411470,"id":"Q5411470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0fa980e9a3b44062938c1b2ff1f2bb35817a1e1","datavalue":{"value":{"amount":"+0.9080713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1001367$C42FEB99-F678-4181-95CD-B26AA7EE6B08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong normalizability of typed lambda-calculi for substructural logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_normalizability_of_typed_lambda-calculi_for_substructural_logics"}}}}}