{"entities":{"Q1337609":{"pageid":1348348,"ns":120,"title":"Item:Q1337609","lastrevid":67187868,"modified":"2026-04-12T15:55:31Z","type":"item","id":"Q1337609","labels":{"en":{"language":"en","value":"Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 683206"}},"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":"Q1337609$1D180529-189A-4C1C-84C1-560B2912176F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96a344b11a899e7d99555ff033e9299364d32194","datavalue":{"value":{"text":"Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337609$0ED8237C-5488-4387-8A21-FF70B2DDBA3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f58a107e90c3c70527388f1b57b8238d9143ad7e","datavalue":{"value":"0809.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337609$796D1334-FA15-4712-8031-5A91941FDE4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9543f09af4c8b58586aa7e3ba39f339de73bacb","datavalue":{"value":"10.1007/BF01053246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337609$61D81E41-640C-429A-857A-31EDE80F0EE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0a50a9bade4a4e8dfdfd1b904676b3e3ec3ca56","datavalue":{"value":{"entity-type":"item","numeric-id":1295498,"id":"Q1295498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337609$CBD0DD88-A3BF-4CCE-BAE0-514B24BA71C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337609$C78F3C14-2A86-4A38-94A9-9DB8FB935423","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d7b3792c6f1d919d9d108f6161dcb3e3ccde785","datavalue":{"value":{"time":"+1994-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1337609$BB166F2E-283C-4EEC-9A67-2574FFFF4066","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f241541a29e5079300903cd21d8cfdb51f749422","datavalue":{"value":"A semantic study of a family of modal intuitionistic linear systems is presented. Various logics are provided with both an algebraic and a relational semantics to obtain completeness results. A modal operator \\(\\square\\) satisfies only one rule and the exponential ``of course'' of linear logic is defined by a subset \\(\\mathcal W\\) of a list of axioms. An algebraic semantics is defined by interpreting the modality \\(\\square\\) as an operation \\(\\mu\\) on an IL-algebra. A relational semantics is based on pretopologies with an additional binary relation \\(r\\) between information states. The interpretation of \\(\\square\\) differs from the traditional one in classical modal logic. It is proved that such models provide a complete semantics for the minimal modal system, as well as, by requiring suitable conditions on \\(r\\), for any of its extensions axiomatized by any subset \\(\\mathcal W\\). An embedding theorem for modal IL-algebras into complete ones is proved. A duality between the introduced general frames and modal IL-algebras is obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337609$07073D9B-560C-42B9-A038-9FB42CEBEDD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337609$32EC9854-E68C-4230-A6F8-CADD2F0EA016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337609$FB2F038F-00F9-40EC-A949-2B752570ECA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337609$66CF46DC-F257-4A65-963B-A78BCD0C75DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fc658782144128091a5dbd1f66b3399311968c8","datavalue":{"value":"683206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337609$49D98539-6E13-4B45-AF39-DEFE4AC698B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337609$0906FF67-9C36-4479-B8B2-46EF76402376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337609$DD7BECEB-8C83-4B5C-A7D6-0831C0E0387E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337609$C123224C-1B98-4C18-A8E3-23B171C6C7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b17ad0098742762598faae7338e86ae8668ac248","datavalue":{"value":"IL-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337609$0ECF4E7E-BBF5-4E49-A6B5-7D459875898C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337609$18A5D491-37A4-4635-9810-44DFD6674403","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337609$3087B9D1-C64B-47E0-9C78-6C43425AF51C","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":"Q1337609$5F3B9260-5FEC-4523-BB5F-B2E5E3FC4B7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35bbe68490c50c9ba0411154bd3c7b741d2d71d","datavalue":{"value":{"entity-type":"item","numeric-id":2575764,"id":"Q2575764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337609$6A97826C-F9C6-47E5-A4EC-8191BCFF90B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337609$3AF76B87-CA24-4834-A894-D634261BB6A2","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":"Q1337609$2AF5CCC2-2824-4630-952F-19F6C2F79361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1d5856198ca98b2cbd0c07ce16fd8a95ab83240","datavalue":{"value":{"entity-type":"item","numeric-id":4026931,"id":"Q4026931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337609$D46AF235-7EAE-484C-8423-7190C0DCCB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6b93763c3bee209b670cc606716e146a89ae81","datavalue":{"value":{"entity-type":"item","numeric-id":4858821,"id":"Q4858821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337609$81008BD4-F78E-4384-BA2B-EC4E202CF037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9d5a44c32980189056a2c7e4c211e126f63f02","datavalue":{"value":{"entity-type":"item","numeric-id":1350507,"id":"Q1350507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337609$E8392EAF-BC2B-40E5-9583-63958099C53A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77fc83257cb0b2352ca5ec895fd46a5c98d9cf31","datavalue":{"value":"https://doi.org/10.1007/bf01053246","type":"string"},"datatype":"url"},"type":"statement","id":"Q1337609$D45127F2-4E16-4497-BD41-031BB13AF671","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"986d2b36584b57b4d66d2cd40c1f5c1f45b01713","datavalue":{"value":"W2072934838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337609$9BC37983-516C-43B5-B703-1A95A39B6ECE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e259268085225e4b8182f77c0e0e854f0c60702e","datavalue":{"value":{"entity-type":"item","numeric-id":4314678,"id":"Q4314678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bec3f3e03528f06f5809266f7701e32a7b71571","datavalue":{"value":{"amount":"+0.8908751","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":"Q1337609$FE9F3327-992E-49B4-B60A-98001B4A7B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d609e65887b7053b35b9290279e088851bd4cae5","datavalue":{"value":{"entity-type":"item","numeric-id":2904057,"id":"Q2904057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4126b337a93dacdbe43f4c5b7c4d40d9e077f3be","datavalue":{"value":{"amount":"+0.8899188","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":"Q1337609$80E8AFE4-5DB5-4AA8-86A6-E6BEFEFA1083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4270f24a2544a8061bce6b296714cb8adbcb29c4","datavalue":{"value":{"entity-type":"item","numeric-id":3638099,"id":"Q3638099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859b553a892e6c4327b9b0060dc8acf91464b90d","datavalue":{"value":{"amount":"+0.88957477","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":"Q1337609$33ECF5E9-671A-49B9-B42B-1AB7A373F53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0418a7730f502c4559e238ef394c0ad8b1798945","datavalue":{"value":{"entity-type":"item","numeric-id":4577986,"id":"Q4577986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859b553a892e6c4327b9b0060dc8acf91464b90d","datavalue":{"value":{"amount":"+0.88957477","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":"Q1337609$FD188ABF-A1FB-49BA-8FC3-263E675BE1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a020c71a67a59da90c8fb138f5c0ed619d11d2","datavalue":{"value":{"entity-type":"item","numeric-id":3469083,"id":"Q3469083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7879f0643d15b46a9a3f16257b68d79342b6b9b","datavalue":{"value":{"amount":"+0.8887599","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":"Q1337609$02239956-DD44-4896-A7F3-5EC6F233CD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d116d4dd22205644a1b3279c5fa3e988a2c509b","datavalue":{"value":{"entity-type":"item","numeric-id":456968,"id":"Q456968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7930ef3848a476096b579e60bda1c123a35c2527","datavalue":{"value":{"amount":"+0.8869094","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":"Q1337609$1A49233E-F37C-485B-96AC-55F09B6EB6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff4367a109cd7872a6a722586d75b6aaf0773f2b","datavalue":{"value":{"entity-type":"item","numeric-id":3056297,"id":"Q3056297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bac06d2aec545a8a0857bbe3b4e414a2059c8b2","datavalue":{"value":{"amount":"+0.8862436","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":"Q1337609$A861E98B-4BE2-40A5-9978-00BD4C566E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9d34a4c69f2ad0588b649d7a133c79d51d6e57","datavalue":{"value":{"entity-type":"item","numeric-id":1866867,"id":"Q1866867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad190461e26b425ac14cdc86a806acda9155181f","datavalue":{"value":{"amount":"+0.8846657","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":"Q1337609$FDEBC846-47A9-42C4-A34E-EA30A81F1112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d88b2012102cdb5004ebe87de048b7f8051b15c","datavalue":{"value":{"entity-type":"item","numeric-id":5465433,"id":"Q5465433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3278fc48a7cd4b7184755051832faeb42a839f3","datavalue":{"value":{"amount":"+0.8821948","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":"Q1337609$E2FBE381-A433-441F-9571-655C7F004AA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modalities_in_linear_logic_weaker_than_the_exponential_%60%60of_course%27%27:_Algebraic_and_relational_semantics"}}}}}