{"entities":{"Q1322438":{"pageid":1333188,"ns":120,"title":"Item:Q1322438","lastrevid":68461053,"modified":"2026-04-12T23:51:55Z","type":"item","id":"Q1322438","labels":{"en":{"language":"en","value":"Informational interpretation of substructural propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 563043"}},"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":"Q1322438$9CBC5E33-C255-4C96-AF8B-BF56B8065517","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"243350e6934f20c4b9942850845cfd1f62ed1837","datavalue":{"value":{"text":"Informational interpretation of substructural propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1322438$3C3D1BDB-BF48-4871-B2A6-839A4C372703","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5d9e31e4ca2a34a6250ed3c0f6c61bbb83655da","datavalue":{"value":"0795.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322438$97EE184C-B888-43CF-9E26-C7434B52282C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e70a39dedad5e92f7218a77203ec7468aee0912","datavalue":{"value":"10.1007/BF01181683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322438$FD7DB7CC-8392-4B78-9DBD-F511600BEA79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$F2E27C72-301D-4087-9183-1265DFE8CEF9","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":"Q1322438$DDCCC85C-D067-4E2F-A30B-DDE7291EA2D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69f73ce4bfe86aa855041ee7bf71ac722a256254","datavalue":{"value":{"time":"+1994-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1322438$CE9B1806-DC7D-482A-87DF-7BEE183784B2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b5b0ba01d71ec24a03c64b3a294c22d281ce327","datavalue":{"value":"The paper investigates a number of substructural propositional logics, in particular substructural subsystems of David Nelson's constructive propositional logics \\(N^ -\\) and \\(N\\). These systems are shown to be complete w.r.t. models based on semilattice-ordered monoids \\(\\langle I,\\cdot,\\cap,1\\rangle\\). It is argued that semilattice-ordered monoids admit the following `informational' interpretation:   (i) \\(I\\) is a set of information pieces,   (ii) \\(\\cdot\\) is the addition of information pieces,   (iii) \\(\\cap\\) is the intersection of information pieces,   (iv) 1 is the initial, ideally the empty piece of information.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322438$FAEAD51C-D1F0-47E8-9063-62E6BE8A18BB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4ac137399d9f2a1340fb827cf9bcada44aa811f7","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$B315205B-10B7-48C7-B14F-943C42A1274F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322438$611C1E64-C457-42C6-8026-179DF343CEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322438$CAA7811C-ED1A-44C0-8623-4F764F084796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322438$25BE289D-BCB7-41DF-92A2-9BDB66CE730A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72b3af2dd3bb86c3a3fd74f0a086ff6cf7b7948e","datavalue":{"value":"563043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322438$36C46A12-9DD0-421C-9D8B-60C8D80A3317","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322438$C02E6E95-44FA-415E-986A-4B7E53B449EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54966808d51f8bb3f443d062fb916e73154dc20","datavalue":{"value":"constructive negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322438$4B0AEF70-6045-4887-A502-D4E1EB5635E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a31a0d00b62e4bbbdc3407dc5fbe79233a5be7ba","datavalue":{"value":"groupoid semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322438$B7DA42DF-895E-436F-A3A8-DE14E7AD8884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0316ff4879924776e90d0929174663dc73d4fafd","datavalue":{"value":"informational interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322438$5BF0300A-58AE-4A1F-AF85-A7E585A69C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b40814bfb9713b6ffb18947b83d0cc7e4a5dde41","datavalue":{"value":"constructive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322438$641B57B5-9BDC-4AD3-AF50-290AF46E02AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb69ae795f28ce68d86d037e460b6ab3460dc8a5","datavalue":{"value":"semilattice-ordered monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322438$A1169035-51D8-4721-B9D3-B4F0939981B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05b4903f35db9b0a6b142d3a16df1902ebafcbd0","datavalue":{"value":"information pieces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322438$A0C057DE-DF54-465A-9619-46070AD6B472","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":"Q1322438$497B68A2-8308-4FF9-B5D4-9894CABAB253","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$ABF6DF4D-65C7-4FEE-B374-43FDC72A55EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$AA57DFE4-A944-4F09-86F0-679208F78999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a00abee89ec0090b88a5d4f56161295fce9b9f","datavalue":{"value":{"entity-type":"item","numeric-id":1089332,"id":"Q1089332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$2EF770D8-61C1-445C-9A1E-C2AF51D91F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba598b353df13ba5ae2c7683f441b0dc7d3ee8f","datavalue":{"value":{"entity-type":"item","numeric-id":4342079,"id":"Q4342079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$F461CFB9-2A74-4E63-A7A4-1542CE5539BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df3ad1f8454cf565a906b63e6d46fe85aea2c4b","datavalue":{"value":{"entity-type":"item","numeric-id":1119625,"id":"Q1119625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$11877091-263D-4030-B8E7-92026D3B7EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5285f261a809808960705bdad542f470e1b76494","datavalue":{"value":{"entity-type":"item","numeric-id":1263573,"id":"Q1263573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$AEDC9417-037D-460D-8E94-0389F0D1510B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357910b56f1f571323d64e04f3855a7cc4007c55","datavalue":{"value":{"entity-type":"item","numeric-id":4940717,"id":"Q4940717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$FE05CE3D-6586-40F6-8B85-77762BFCF6D8","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":"Q1322438$DCC841B5-2DF2-46EE-AAB4-E141DAECD990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$D23583F9-78C9-41A1-B8A1-517EFDEDB300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ca0d51854621bb08fb0858d69501b553d7e23b","datavalue":{"value":{"entity-type":"item","numeric-id":5339292,"id":"Q5339292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$D84E5610-93C6-4C91-A0DC-0729E6FAEF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3dddab2d0747f362f5568fd5142dde52cd1092","datavalue":{"value":{"entity-type":"item","numeric-id":1241438,"id":"Q1241438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$F67A34F9-CD32-4409-AB04-AB397DF6F041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9538968d5d2fc33860e5459a77c6efa68acaef3","datavalue":{"value":{"entity-type":"item","numeric-id":5596202,"id":"Q5596202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$1219C0A0-F753-4F4B-B52E-59530BD19499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$7B033B50-3C10-43D4-B9C5-30F86241063E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5632db167ef6c092078898c844446230d593bbd","datavalue":{"value":{"entity-type":"item","numeric-id":5677463,"id":"Q5677463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$33593321-CB6D-40CB-B820-4D4EE0F48176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$6AC9E59B-F9CC-46A2-867C-762C24BF6EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bddef3991b4691389bf165339ae40302f75e8b8f","datavalue":{"value":{"entity-type":"item","numeric-id":4260402,"id":"Q4260402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$A0EE6EAF-A167-4076-BD95-E173C72C10CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf81ce9053e1ce50176bdc6cf3139eed90f60ed4","datavalue":{"value":{"entity-type":"item","numeric-id":4713273,"id":"Q4713273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$C8FD9B2D-3C79-407D-8313-2C6EA4AC7D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f122d045507c0b6e7d8bf3898a4a6d2c423c59","datavalue":{"value":{"entity-type":"item","numeric-id":2523564,"id":"Q2523564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$B3AD6E92-3066-4550-8C12-0F1966BEC50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$3FEE4EAE-80A6-4E56-AC52-E59D209B83B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fae066ab52947e678be762a4f273865d1c4958d","datavalue":{"value":{"entity-type":"item","numeric-id":1237778,"id":"Q1237778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$7D442828-43B1-4AD7-83FC-D87BBFA2653D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00af5ae470c84dbc4ad8ade0806af8b62fb343e","datavalue":{"value":{"entity-type":"item","numeric-id":5570919,"id":"Q5570919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$E3BFE0FE-905C-4780-96B8-3B9A96F96B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$C9088029-5AAB-48A5-9F48-0740E8E25F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e19b9ac11c70c2ebcf90a02f1f65e02b87b9904","datavalue":{"value":{"entity-type":"item","numeric-id":5656747,"id":"Q5656747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$EED1DF93-2929-430B-9888-D5FB8B472BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c048ba9eda1ea036e5a67e736564f9a88964bf","datavalue":{"value":{"entity-type":"item","numeric-id":3988060,"id":"Q3988060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322438$73F27EF0-63E4-416A-A63E-46CFD2597821","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcedea129b09724ca891154e9e12d52eedadd20b","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d88ac827d81bba118ddd80d370342f7b1f6d7b","datavalue":{"value":{"amount":"+0.7588866949081421","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":"Q1322438$99D5594D-71E9-4688-989E-8C46730183DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ca05ffac497c679ec74bd5124e684145630d28","datavalue":{"value":{"entity-type":"item","numeric-id":4895423,"id":"Q4895423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1e903b03456b6cb495daa3f3cf20238ca7783d","datavalue":{"value":{"amount":"+0.758490264415741","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":"Q1322438$ECA91A47-BBFE-4148-86F5-0B2B1F89C1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e741157abed225931720fbdec8a83611ec6b184a","datavalue":{"value":{"entity-type":"item","numeric-id":4520811,"id":"Q4520811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d3729ea6cb5aaae35cff6a587624563140d8d85","datavalue":{"value":{"amount":"+0.731324315071106","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":"Q1322438$EC28CDEE-FEDE-4C16-879A-B746378D6C9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Informational interpretation of substructural propositional logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Informational_interpretation_of_substructural_propositional_logics"}}}}}