{"entities":{"Q7034183":{"pageid":21707982,"ns":120,"title":"Item:Q7034183","lastrevid":77523995,"modified":"2026-05-04T16:47:16Z","type":"item","id":"Q7034183","labels":{"en":{"language":"en","value":"Left variable inclusion logics associated with classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977890"}},"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":"Q7034183$5EF2061F-D96E-45D8-B8D2-CAC4BAB58C99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd90372eb44c16c16bd052b791410bd97a3be24a","datavalue":{"value":{"text":"Left variable inclusion logics associated with classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034183$96BEC7B8-E2FB-4203-8BD2-9F4DE58CD0B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab75f0cf87d64371c0330888c36637710be40745","datavalue":{"value":"1560.03217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034183$0704C987-DA03-47F1-A6D2-B3695EBCE27D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0c75269a73ac617bc35f88b756365b9b72e5e0c","datavalue":{"value":"10.1215/00294527-2024-0019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034183$FCADBD51-FAC4-46A2-975E-C2AACF462455","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae733c4e2be1c34797e29c9fd80d79483844b7ad","datavalue":{"value":{"entity-type":"item","numeric-id":284971,"id":"Q284971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$9AB2431D-AD10-4AFD-AFD4-E9BD46488967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dabe65b5a000d018eca8838177889ac6e88a377","datavalue":{"value":{"entity-type":"item","numeric-id":6642827,"id":"Q6642827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$073EDEF8-C459-45C5-8315-F30BE8A78901","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$7DEE4531-FAEB-49AD-A8EE-11F7CFDAD2CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034183$80B24DBA-D284-4D58-9803-45CDD8B4DB88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34cb383e413962329419aef3e8d8c34e47ead99f","datavalue":{"value":"https://hdl.handle.net/11584/434167","type":"string"},"datatype":"url"},"type":"statement","id":"Q7034183$CE3B5ABE-084F-445F-B259-0FF5720BD6C6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"75a97b8f669a5bbfde1efe72f42b491d1e58bafa","datavalue":{"value":"The authors give a complete description of its subclassical extensions by considering pure left variable inclusion companion of classical logic. They also provide relative axiomatizations and characteristic (sets of) matrices for each one of these extensions, as well as syntactic descriptions (in terms of variable inclusion criteria) for the valid entailments of some of them and determine in each case the algebra reducts of the Suszko-reduced matrix models.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034183$DC1BEA22-7FE3-4AC0-86E3-B1322FC48BF4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"130c57655740c2168382aba317ecd01271321d07","datavalue":{"value":{"entity-type":"item","numeric-id":278390,"id":"Q278390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$A1EBCDCB-026F-4502-B22D-108280C2224F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034183$2B0ED785-7870-4A6B-81F2-B5761F394CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034183$E2AD42E4-9E39-4FD9-89AD-E51E52FB493E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034183$D755D666-CB84-462E-940C-1B14B227C074","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aaa4bcb971ff966cb61570701b31ef72b1ba6945","datavalue":{"value":"7977890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034183$F5D415AF-9827-49B2-9C8F-4216C3CE1076","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034183$CC41A5B6-019D-4D81-A080-B2B6EA750600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea28ba5e6ec1a7caa17f180ce828ff9ba10178f0","datavalue":{"value":"logics of variable inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034183$E32656EC-8468-49D4-A0AE-726D82982C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67ef87665727de33e24a8b924e5e7c6e68e54d29","datavalue":{"value":"paraconsistent weak Kleene logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034183$C40C9997-F63B-49A1-97BF-A12BD2D96DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b97b72314437e11d30ab7d8d7d97682822d8f3d","datavalue":{"value":"P\u0142onka sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034183$FE9F190D-0290-4587-ACF6-7A7076F22C81","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":"Q7034183$58368D70-F330-4A5A-9A85-1CBC7A82E3E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c10e76e8884382d7f9bd46bd2f9cab1ff9c9c2","datavalue":{"value":{"entity-type":"item","numeric-id":1685564,"id":"Q1685564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$984BE46A-76CD-4452-86DA-1F17CF71F44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26de084a0a2a628e4717b05274fcaa7a72fe7ebc","datavalue":{"value":{"entity-type":"item","numeric-id":5595182,"id":"Q5595182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$BB185446-8F01-4A97-80AB-4E16D442FF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894501e38d3870f0e13b4cb5c8a363441ac38c10","datavalue":{"value":{"entity-type":"item","numeric-id":1272249,"id":"Q1272249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$8270404E-F4F1-4AC4-8D73-1917091C466F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab49790066d529ac5da53291087e9b4204b882f8","datavalue":{"value":{"entity-type":"item","numeric-id":2598611,"id":"Q2598611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$D051D8F9-1873-4E4E-925A-65C7AC64296B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdb02a8cbc0c6812de30af50942e4a7fe81b51d","datavalue":{"value":{"entity-type":"item","numeric-id":526733,"id":"Q526733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$156A01E5-80EB-4012-A7C3-C04679A0623D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d57f8d8ea9fd6d41cbbdfc1b13723124535c1d9","datavalue":{"value":{"entity-type":"item","numeric-id":2422316,"id":"Q2422316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$A6523DC8-778B-47DD-B6D8-3BD281918BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6dd75bc29d4388823f6c7ec82e015787ced037f","datavalue":{"value":{"entity-type":"item","numeric-id":2219088,"id":"Q2219088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$71F6C870-FA49-44C1-A076-EE87738927D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f4da2126d4a4a83798108738b41915ace14451f","datavalue":{"value":{"entity-type":"item","numeric-id":2673340,"id":"Q2673340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$33A334A9-3A61-499D-8A7F-FD27DA025595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8ea0adc978ecbc41c3c32e5bbf728cce965bd8","datavalue":{"value":{"entity-type":"item","numeric-id":2062211,"id":"Q2062211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$9101C07A-7EF2-4C13-901C-98FC6F93106F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c777c4724881cfa5d3aa087c8b5779a04ab0d9be","datavalue":{"value":{"entity-type":"item","numeric-id":5215771,"id":"Q5215771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$169CFB1A-7EF0-4C4B-8FF3-9E6553B70B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b00f1b09fed5fd156c4f65128cdf8837ec5d1b2","datavalue":{"value":{"entity-type":"item","numeric-id":3121048,"id":"Q3121048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$A17E8E9A-8DFC-4601-86CC-F4DD0F287A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bbe5e43a337a5d2274078bba92c0066fdf540c","datavalue":{"value":{"entity-type":"item","numeric-id":5213389,"id":"Q5213389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$435F1130-527D-4D85-97C5-6C2A7695F8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b21a0cbd9d202c4d858892712685ade0d68231","datavalue":{"value":{"entity-type":"item","numeric-id":5638267,"id":"Q5638267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$CC1436CC-B888-4743-9CC9-0A7C2A6D8E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"064de5a3f742d4be011bf0e27991af03cc5c2a96","datavalue":{"value":{"entity-type":"item","numeric-id":1683263,"id":"Q1683263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$89A3BABB-B22A-4496-B2E2-A089D8D0D9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231c35167d2d6cb2de7e405681f0a9426aed9453","datavalue":{"value":{"entity-type":"item","numeric-id":3185647,"id":"Q3185647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$CD129D13-1551-4FB8-B9D1-67799B392E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e4aa9fefd25f1f34eeb6bfa44170e419f3416f","datavalue":{"value":{"entity-type":"item","numeric-id":5800353,"id":"Q5800353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$6C9D924A-ED0E-4CE1-ABC4-71EA612A55BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"503fac1a5c522f05539c4665bfc22d344b2ac891","datavalue":{"value":{"entity-type":"item","numeric-id":3093482,"id":"Q3093482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$F4B64160-048F-41F4-8425-78388A8C5664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebdd4bc4b1a179c83220c976025e0fc68aebac60","datavalue":{"value":{"entity-type":"item","numeric-id":5661553,"id":"Q5661553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$C49D16DD-23D6-4F08-9CE4-1EC7FB082D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$95E815D4-F098-4D8C-9F2F-8C1439AA3E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c27f533bdbbd890d0529a63ad4e0be9c8c312b0","datavalue":{"value":{"entity-type":"item","numeric-id":2556432,"id":"Q2556432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$DEE09E18-171C-4108-A997-B9954675C94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f50ef33c5210ccfbf2495ff417b2793ea1f18d9e","datavalue":{"value":{"entity-type":"item","numeric-id":2295595,"id":"Q2295595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$62CCB6BF-64E9-4228-9238-BEFFD4F69FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895d733e245ef9d918777e2d61a7dd90335e3840","datavalue":{"value":{"entity-type":"item","numeric-id":5014063,"id":"Q5014063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$824DE020-352E-4FE8-A29A-71C54864E741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa465282557d2054df536cdf9859fe6420f3cc00","datavalue":{"value":{"entity-type":"item","numeric-id":5066089,"id":"Q5066089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$63C7861E-6FEF-43F1-A336-68A8FFC45FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0fd86cc6eaab009876e209aca27725ec4917332","datavalue":{"value":{"entity-type":"item","numeric-id":5533194,"id":"Q5533194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$07BD45BE-6DC5-4A4D-B797-E8C1FFE6CB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4607a759880db20f15abbcce4041b5996d761fcd","datavalue":{"value":{"entity-type":"item","numeric-id":5555008,"id":"Q5555008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$027B3D77-1470-4233-9558-4B607DBD8AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"139fc3d5a391290ff7003cbb3b45c5fce812052c","datavalue":{"value":{"entity-type":"item","numeric-id":5579048,"id":"Q5579048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$52293D7B-789A-4008-B17A-9AF4D05944FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8858fc58547a323f2139a135787e33aa5b44bce4","datavalue":{"value":{"entity-type":"item","numeric-id":5579047,"id":"Q5579047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$5F3449D6-E575-4B79-AFAA-88F832EEF060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fabc83ee27363ec5f2f51ada2981bfc0b2e006","datavalue":{"value":{"entity-type":"item","numeric-id":5580270,"id":"Q5580270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$C0C727BF-AE23-4137-A5FE-AE20475B4D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae639fa80e7644ce2af9a3dad7ad0b97ab0772a6","datavalue":{"value":{"entity-type":"item","numeric-id":4029633,"id":"Q4029633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$16D45B0C-D66E-4F23-8B3B-129BDC30601A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490bf98783905a7b3373f8255009983f3c238ae0","datavalue":{"value":{"entity-type":"item","numeric-id":4789441,"id":"Q4789441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$822B9B35-31AE-4BC1-A59D-800EA34C0A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16070969458b7dabde1d7588493fc368a6ec2b81","datavalue":{"value":{"entity-type":"item","numeric-id":4789456,"id":"Q4789456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034183$67B3A2B4-24A0-47CA-B9E8-AC9ADF02B91B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Left variable inclusion logics associated with classical logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Left_variable_inclusion_logics_associated_with_classical_logic"}}}}}