{"entities":{"Q1775868":{"pageid":1786610,"ns":120,"title":"Item:Q1775868","lastrevid":48477730,"modified":"2026-01-04T22:53:33Z","type":"item","id":"Q1775868","labels":{"en":{"language":"en","value":"Combining classical logic, paraconsistency and relevance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2165048"}},"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":"Q1775868$8D795B9C-E661-444C-9B67-3036BE42BC36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46c4e6cc9b79181e3d85a4839de27672e3874cf3","datavalue":{"value":{"text":"Combining classical logic, paraconsistency and relevance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1775868$187E1EAD-7F65-4372-BB29-00852316F9CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"297bf90dbfbb90b295a4f768b12c198c2a0e1a58","datavalue":{"value":"1067.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1775868$C00747F2-E2A9-47A8-A783-4CC88EC6FDDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$13F4BFA0-101D-4496-9C43-B7AB17917799","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$D465F75C-EADF-4DE2-AC59-DB73CC862C1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87c9e290fe6a50f86e719ce6413845bc3314f33a","datavalue":{"value":{"time":"+2005-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1775868$F9C61141-BDBC-4DEA-901A-349132245D34","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"42486416b4cf8bcda96f7d45439ff111d732062d","datavalue":{"value":"In this paper the author presents a many-valued simple algebraic semantics \\(A_\\omega\\) for a pure intensional propositional language \\({\\mathcal IL}\\), which has many interesting features. \\(A_\\omega\\) has classical propositional logic and proper extensions of the da Costa logics \\(C_1\\) and \\(C_\\omega\\) as fragments, while also having the variable sharing property of relevance logics. \\(A_\\omega\\) is based on two criteria: Symmetry: There should be no way to distinguish between two different basic paradoxical truth values on a logical basis. Isolation of contradictions: a formula may be assigned a given paradoxical value only if all its constituents are assigned that paradoxical value. While the criteria seem a little \\textit{ad hoc}, isolation of contradictions is probably essential for relevance. In the present set-up both are as: An \\(n\\)-ary operation \\(F\\) on \\(A_\\omega\\) is definable in \\({\\mathcal IL}\\) if and only if it satisfies both criteria. Cut-free Gentzen-style and Hilbert-style formulations of \\({\\mathcal IL}\\) are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1775868$C8783B29-540B-4FFD-AC69-AD7DF7D1BF65","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":"Q1775868$EA33DB27-BB17-4BCD-9DEE-8A1A9BA70EA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1775868$AF9ACC84-C2FA-4E3A-A33D-4ABDCD776AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1775868$678A2929-E1D7-49BC-B3C7-61395CAE9CAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b412a333cb4fdc0996b2c407cbab3c58f10853cf","datavalue":{"value":"2165048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1775868$2D3275F7-FEDC-431C-9C79-A9EC8FC7855B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf50e81767295ee9013bf102588a950860da455a","datavalue":{"value":"paraconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1775868$1CF48497-C77A-465B-A4AF-8B3DD57D80AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1775868$BCB1B722-B79E-4218-BD29-E2CB617F34F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1775868$EFE2D9FC-D24C-4C84-BCBE-EC4291F95E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf48bd3e8e13df31c34a8c1ff398c0da05fdb0e3","datavalue":{"value":"many-valued semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1775868$2C6A0F28-2187-49E4-A04D-5F01F664CD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9b6b8c6c93069a7d96a8f897bb93c1aa9ff5aec","datavalue":{"value":"Gentzen-type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1775868$F79AB816-4EAE-44B0-A378-F1C70AF478BA","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":"Q1775868$0C8F5B3B-7501-4145-8FCD-C5F26131F297","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdb1fe5d44ca2bc29609bfabf71c63aad9b44a11","datavalue":{"value":"https://doi.org/10.1016/j.jal.2004.07.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q1775868$FA537E38-B870-46EE-ADFF-BA8E6DE475C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3b6c051bed9fc36bb2c62417008d2fdf2ffe911","datavalue":{"value":"W2059075712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1775868$184BF84F-AD87-49A2-A032-BC20264A5C77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$631191F8-ACF8-417C-9A42-DB72850D93CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$D942253B-0835-4233-A5C7-54DFB40A4961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8930c54d1c42255213199ec68b58ab8bd12e8f41","datavalue":{"value":{"entity-type":"item","numeric-id":3712316,"id":"Q3712316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$4FD1AB0F-2F49-4D70-AEF8-9143F9BEC3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a394c809c6f332dec417e66a5e917d4c8c28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1088648,"id":"Q1088648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$C8DFC151-CCC3-4DE6-A736-033DDBBC35CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$93752907-EAFC-4281-9CF8-44DA8C4D8E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$2A62B168-73F7-41F5-A31B-B31032891E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec66ae5e25e6ecc884c1ac85afec009ec34c7ca6","datavalue":{"value":{"entity-type":"item","numeric-id":1198408,"id":"Q1198408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$9C9C0B6E-CB21-4F1C-8C6D-BF0A8FA3A71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00b57a939ba107655b93666582c790393345c077","datavalue":{"value":{"entity-type":"item","numeric-id":4007158,"id":"Q4007158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$A60AA5D2-28E5-4F97-8A9A-E3D8A9E3A582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22008dafc3fa688b784da91d8757a5aad8390bbd","datavalue":{"value":{"entity-type":"item","numeric-id":3126403,"id":"Q3126403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$00FBF34B-6B67-4B49-A859-9A5888E1310A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e3a92781638289e36926c03c49a66a56204cf18","datavalue":{"value":{"entity-type":"item","numeric-id":4440555,"id":"Q4440555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$5E36D139-4916-42D5-BCB6-E1CE001860E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ebd3c1485bfb307534e31cfc4eea5466ee1888","datavalue":{"value":{"entity-type":"item","numeric-id":2552121,"id":"Q2552121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$D26AB6B1-E2D7-43F3-BE5C-DFB9FA62047D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$BAEE51EF-C838-4408-A20C-FF910DED6B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f919f8b4d2eb645debd94e27c0809c0d981df70d","datavalue":{"value":{"entity-type":"item","numeric-id":3995890,"id":"Q3995890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$4BE17FC8-A2FC-4B68-98E5-5393524E8AC8","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":"Q1775868$4A75AC84-6A07-4469-8727-1963ABE72BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$D0993061-8699-4432-BD6F-91D573430400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0080581af6b898632de30fb1a2719f14a7086b1","datavalue":{"value":{"entity-type":"item","numeric-id":4495850,"id":"Q4495850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$57E4C484-5C73-4EC1-87C5-5CF877FA4DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71601441c3e97560bd1824fab22a5be27c682049","datavalue":{"value":{"entity-type":"item","numeric-id":1159607,"id":"Q1159607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$59EA0FAD-F57A-43F5-96C2-61AEBF19225F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972ff267e777a7938b717557203857d0f2cebfd4","datavalue":{"value":{"entity-type":"item","numeric-id":1123189,"id":"Q1123189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$713E9050-E914-4F56-9360-935502774737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb00a863c44730b9ebf150a6747d81ad91a6aa39","datavalue":{"value":{"entity-type":"item","numeric-id":5816696,"id":"Q5816696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1775868$FC824286-06B6-4033-98CE-BB7F8ACE1E63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"233225162a78ea0bcee1c15102ea7143d396f036","datavalue":{"value":"10.1016/J.JAL.2004.07.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1775868$66616F1E-8C26-4614-BA8B-9CCD289F40DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41dc572c1071954d2609ae38331c93b7e53dd17b","datavalue":{"value":{"entity-type":"item","numeric-id":1015485,"id":"Q1015485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3116af699651f140e63d85bff2e665fda96eab59","datavalue":{"value":{"amount":"+0.79436194896698","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":"Q1775868$0ADDF7AC-51B1-4F6A-971A-DB38E4DC3839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cfd37d77df6e811ea7de9ac86eecff72b31618e","datavalue":{"value":{"entity-type":"item","numeric-id":5464034,"id":"Q5464034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789e2f6820e95fa905fc560430258fd2f7e2308f","datavalue":{"value":{"amount":"+0.7688758373260498","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":"Q1775868$ECD8A34A-8479-4B22-BB07-E3E19B7B35D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6114bc6aa57f7f5594b06847ed8a1f0ac10c8408","datavalue":{"value":{"entity-type":"item","numeric-id":4440556,"id":"Q4440556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062fa0e0cc04d16f17f2151023ee69ff95903ea6","datavalue":{"value":{"amount":"+0.7652344107627869","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":"Q1775868$D2B90D89-3B06-4D98-8CEC-151E24169F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c2a2db63ef97708fef911bd82893dc58136b70","datavalue":{"value":{"entity-type":"item","numeric-id":4385438,"id":"Q4385438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d7862ce3b08847d8cf554050ff409bb9862c1a","datavalue":{"value":{"amount":"+0.7620856165885925","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":"Q1775868$C3B6516E-1E73-4E37-AC89-66F0FDEA542B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778ffcec5bb172f72e1b97df25978902234d96d8","datavalue":{"value":{"entity-type":"item","numeric-id":3525005,"id":"Q3525005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335c01df1306c87a993d3264ee30fd478935c938","datavalue":{"value":{"amount":"+0.7612391114234924","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":"Q1775868$4B318E17-CE07-4975-91A9-380DE14ABD71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1775868","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1775868"}}}}}