{"entities":{"Q283093":{"pageid":284860,"ns":120,"title":"Item:Q283093","lastrevid":60685398,"modified":"2026-04-10T18:30:15Z","type":"item","id":"Q283093","labels":{"en":{"language":"en","value":"Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580183"}},"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":"Q283093$33E39A39-BBAE-4E11-ABB9-A61D9BDB95A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80f9ef62ecd2c56fe959280e27c61f6e0be8734e","datavalue":{"value":{"text":"Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283093$1CEF2C8D-B042-4F40-B5EF-30078DF00150","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca0701cd7c46ce2a76ac80c2d474afe5ac3d5633","datavalue":{"value":"1338.03116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283093$E31E4D27-8369-4791-90C7-46C6CD49C1A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbd9eb0af194aad6887db9ada71123c181f0c126","datavalue":{"value":{"entity-type":"item","numeric-id":283092,"id":"Q283092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283093$D5509447-FBBE-42AA-9359-3E5403DDC60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6139d3e9b2f228812d7d36d36822ac586de8728","datavalue":{"value":{"entity-type":"item","numeric-id":368485,"id":"Q368485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283093$9B5EF728-0D7F-467F-9E7E-CE1BC7A498F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283093$7A049E4D-ED2E-4B71-953D-9EFBE5D7B9CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q283093$A0F5BEA1-EE66-417D-A45C-03E5F2C91E4E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7150d3714b1bb19365dc68379a39e39b2dfc3846","datavalue":{"value":"The paper is a continuation of [the authors, Arch. Math. Logic 49, No. 4, 417--446 (2010; Zbl 1196.03013)]. An abstract algebraic logic \\(L\\) with implication \\(\\Rightarrow\\) is semilinear if the following meta-rule holds:  \\[ \\frac{\\Gamma,\\phi \\Rightarrow \\psi \\vdash_L \\chi \\quad \\Gamma,\\psi \\Rightarrow \\phi \\vdash_L \\chi}{\\Gamma \\vdash_L \\chi}.  \\]  It has been proven that for finitary semilinear logics \\(L\\) in which implication is defined by a finite set of formulas, the models of \\(L\\) are precisely relatively subdirectly irreducible algebras. This class of models is related also to a disjunction with different flavors of proof by cases property, which was studied in [Stud. Log. 101, No. 4, 713--747 (2013; Zbl 1316.03040)]. This makes it possible to give a characterization of semilinearity in terms of properties of disjunction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q283093$962230E9-FB57-4F31-BF80-06ACE99CC25B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42952f847986d97f96b12a6dfd7da21342953d87","datavalue":{"value":{"entity-type":"item","numeric-id":454374,"id":"Q454374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283093$1193CBE4-3FA7-4C93-B39E-7FF7A076CFFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283093$6088A024-8B51-4C09-BDA1-37EC0E702AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283093$EB8DDD0B-B702-427B-A5D4-7FAAC461A2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283093$671807D3-6091-4D66-B2A4-EAB87D9AE53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283093$6EE74E89-0DC9-455B-9152-8381B1E3DD64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56934ff42b241bfcb0521753e3ef454c2ed0730c","datavalue":{"value":"6580183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283093$4BCBB245-5918-4BA4-B1AE-F9A59FC34BB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed6be924b32c5ce81a354cf2a59c3a1900324a8","datavalue":{"value":"abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q283093$7BFF424F-CA77-4EE2-B577-3E0C4BF16F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e59f8a84535f4d9a69838a497c704812a57b9ca","datavalue":{"value":"implicational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q283093$83740FE9-E49F-4D8D-A1CE-5FB7D8B334CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100236cbbd4b81a3a8bfae8fdfff1b6069195aea","datavalue":{"value":"disjunctional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q283093$C0905A89-7138-412F-9D9C-2F116F74DA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11207872cc31823b6ef56524d249f2fbcc85fee2","datavalue":{"value":"semilinear logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q283093$13AD7533-603C-4588-8387-8EC3334B8686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c92926836d113aee1a308ad83e72230bf6a493","datavalue":{"value":"non-classical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q283093$08287AE5-95B8-4288-877A-4F56B25B1849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68b5c5d649273b0cb25351497f947351dbcd6657","datavalue":{"value":"transfer theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q283093$1D4E1305-5C32-48D6-93D3-7008440EA0EA","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":"Q283093$EBA4D2ED-72E6-4B52-B3CA-A5F33D09241A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc70009f4b3511cef348886d44cb0a9a09f656a1","datavalue":{"value":"https://doi.org/10.1007/s00153-015-0452-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q283093$A6652148-1A8D-4E81-AD98-8BC9AAEEC667","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"164d1560208b9663d518698b25106450c524d3ee","datavalue":{"value":"W2247935094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283093$87C5C2BD-4E40-41F3-BE6F-BABED07A668D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8dc4ce3086ba1a080f6d98da8da13ac17731ba","datavalue":{"value":{"entity-type":"item","numeric-id":2505501,"id":"Q2505501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283093$689A311B-A7DE-41EA-9038-EFDAD8347194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b5a082fa64992ebd54051a4deba16d01cc97f7","datavalue":{"value":{"entity-type":"item","numeric-id":5406033,"id":"Q5406033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283093$A391A59C-F1B7-48C8-8815-9A0A2B72B231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856e353b6d9b1fe3241e327d8ed594cf655faebe","datavalue":{"value":{"entity-type":"item","numeric-id":495839,"id":"Q495839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283093$7F981848-1662-4D91-9B88-953160C78E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a688d191d29292da24e49bce61b09bc9f9f54925","datavalue":{"value":{"entity-type":"item","numeric-id":971883,"id":"Q971883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283093$68914C2D-3591-4EBB-AB95-CD692139C1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa190d3d8ac417994969335d39b5ad3f09712b9","datavalue":{"value":{"entity-type":"item","numeric-id":368486,"id":"Q368486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283093$12A5068E-56E7-4F44-B6A4-6627E2130E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe13431f69ee53c582e1bde52ff6f8a3dc3599f9","datavalue":{"value":{"entity-type":"item","numeric-id":3695251,"id":"Q3695251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283093$51A082C9-B158-491B-8B8F-DBD40003C638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283093$99879D8B-BFD6-4EDF-B750-A9AE8F80FD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283093$292C04D4-50FB-4415-9AAD-3AB1605324B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283093$6AB69908-44CC-4029-953E-761E948D071D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283093$F72481F2-BCF5-4C39-81AC-1428B7C12CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87861860985f9948f24aed3cea5772d923515c84","datavalue":{"value":{"entity-type":"item","numeric-id":865045,"id":"Q865045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283093$8A0FF21B-136A-4422-95BC-3AED33DA31BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a13c58e9e35bcb75dfb07119a12edc3115f4e784","datavalue":{"value":{"entity-type":"item","numeric-id":1935866,"id":"Q1935866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283093$002FAB42-5257-4651-9D3C-5E9B32DE2E63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f68fae588b21645b59b079341ea0d97ab603d98","datavalue":{"value":"10.1007/S00153-015-0452-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283093$5F55F57D-A4D7-4754-9205-338BF1761FB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0788e85a513a99e42448956d85b3e44f6ca73e51","datavalue":{"value":{"entity-type":"item","numeric-id":971883,"id":"Q971883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"475dd1bf462cf3dbdb2dcba31af496ed795de8e1","datavalue":{"value":{"amount":"+0.8150525689125061","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":"Q283093$413611AC-26B2-4335-85B2-25ECE5231446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452e534234278d3255b3f2ab553c0dbb3fe37f84","datavalue":{"value":{"entity-type":"item","numeric-id":1745358,"id":"Q1745358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee68d8e166afabe8cb7f7fa03143f481eb166a01","datavalue":{"value":{"amount":"+0.8018930554389954","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":"Q283093$EE610DEA-8F6B-4297-A3BD-1FB9DFEC7821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8464bab5a30f574750be428e653196b46b0e4d84","datavalue":{"value":{"entity-type":"item","numeric-id":5402233,"id":"Q5402233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"682c86639349f7f7dcbb74272a08a1f0d6cfc5c2","datavalue":{"value":{"amount":"+0.7726204991340637","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":"Q283093$2B792080-11E4-41A1-8678-EE80688344C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf0ffc30299993a6429ba5cca209b3d9fb5341d","datavalue":{"value":{"entity-type":"item","numeric-id":2505501,"id":"Q2505501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbd9b0098e1ad4cecfdf802b7a60b98d50f0e8fc","datavalue":{"value":{"amount":"+0.7595084309577942","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":"Q283093$6FC0866F-5F67-4F0C-A1E2-EFC2429CDA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607694c2c7ba9e6b6a10d7f07e298a96a7397718","datavalue":{"value":{"entity-type":"item","numeric-id":2856632,"id":"Q2856632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93084cb56c4514a7e173c40598c1350e13fecf6","datavalue":{"value":{"amount":"+0.7452961802482605","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":"Q283093$7D977D07-5722-4F49-BCAC-C621BD6DEB94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implicational_(semilinear)_logics._II:_Additional_connectives_and_characterizations_of_semilinearity"}}}}}