{"entities":{"Q2307305":{"pageid":2318048,"ns":120,"title":"Item:Q2307305","lastrevid":73902567,"modified":"2026-04-14T17:40:34Z","type":"item","id":"Q2307305","labels":{"en":{"language":"en","value":"Simple axiomatizations for pretabular classical relevance logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7183499"}},"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":"Q2307305$4C5E3127-879A-48AF-B2D6-BACB1BCD77A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d2a9d7b911d2d6761d838823f369e89d42bcbe3","datavalue":{"value":{"text":"Simple axiomatizations for pretabular classical relevance logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2307305$59E63D6C-093A-4217-A134-2494D1A607AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae514682bfe1495c9a76732b2dd7611a025c79ed","datavalue":{"value":"1476.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307305$466CA9DD-079F-487A-8B87-FCE425D1286F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eda578e172daf72792ddd5c053ebb662fc10ee3","datavalue":{"value":{"entity-type":"item","numeric-id":1708105,"id":"Q1708105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307305$924B0162-C5E0-4B1C-BF1D-8F3754B27706","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307305$8301B95A-B394-4A8A-A293-0131A455B68E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec4cb0b4c536568ca2260266084e3f57aac30821","datavalue":{"value":{"time":"+2020-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2307305$5CCDE39A-E660-44BA-A9EF-EE72FDBBCA84","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"005cf10406e9568a389881e2d4672ee964413917","datavalue":{"value":"\\(\\mathbf{KR}\\) is an extension of Anderson and Belnap's relevance logic \\(\\mathbf{R}\\) with classical axiom (\\(p \\ \\& \\ \\sim p) \\to q\\) and it is called classical relevance logic. A logic is pretabular if it is not a logic of any finite logical matrix, but each of its proper extension can be defined by a finite matrix. \\(\\mathbf{KR}\\) has precisely two pretabular extension: the logics \\(\\mathcal{L}\\) and \\(\\mathcal{M}\\) [\\textit{A. Fallahi}, Stud. Log. 106, No. 1, 191--214 (2018; Zbl 1437.03096)]. The paper offers different (with and without propositional constants relative to \\(\\mathbf{KR}\\)) axiomatizations of the logic \\(\\mathcal{L}\\), as well as different axiomatizations of the logic \\(\\mathcal{M}\\).  In the final sections, the Routly-Meyer semantics for the logics \\(\\mathcal{L}\\) and \\(\\mathcal{M}\\) are considered, and some open problems are formulated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2307305$CE4DF277-1947-4CC5-BD5F-9576F02EC34D","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":"Q2307305$4058BB9E-0437-470B-9F82-D2F305D9F68D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307305$4555E164-9565-4C2C-AD01-2FE8F90F32F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307305$A2254607-D57C-4C57-AA68-5D2E46F1BC26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"577c8e2a735a544526f0cddaf20034fe5da3f287","datavalue":{"value":"7183499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307305$1D83A509-7EA2-4F37-9649-B2373900FC69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2307305$FFE4C4F3-FA7A-4E45-9DDA-C3882AFA167B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"672de12b698776e1fd7ad0beee69d3b0edb45e2b","datavalue":{"value":"pretabularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2307305$09C7AE98-9228-4885-B091-B0AE1CCD9568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c023db56a9cd6825de03aef86d9e8f2c370ad640","datavalue":{"value":"classical relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2307305$03923F02-9265-425A-A0AA-7EACA7F4D742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aa522d3e4ef61aff459dc0f6e8ac1007c1f454c","datavalue":{"value":"relational world semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2307305$5EE94E63-1BEF-4D42-89D2-0ED9104F371C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358c78dd701bde900613005c5df0e5fbf889ef13","datavalue":{"value":"Routley-Meyer semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2307305$1637275E-CE3C-4367-8C7A-336461BE78D9","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":"Q2307305$B5937B44-9360-4ECC-9A7B-912796465764","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f58dcc336ae2eeded9ac353f5580fb327010ca62","datavalue":{"value":"https://doi.org/10.1007/s11225-019-09844-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2307305$102888BF-031F-45BD-B5DD-2EEED265DC7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f37021e2326ff3cb6a20ca873956e83d64a558d1","datavalue":{"value":"W2917858005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307305$2FC172D0-0F0D-4869-9289-3AD730A0F00E","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":"Q2307305$5A3E26E9-150B-4AEE-A856-F3D55A60DAD5","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":"Q2307305$26BAC5D2-76C7-4053-80DA-7F5E7D0D854E","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":"Q2307305$CCA993BA-8C1C-4763-B497-A0A65191090B","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":"Q2307305$808CD737-EA8F-40A2-AE31-38CF0C3F4AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e027f5650296472fc746ced3fc44df7db916881","datavalue":{"value":{"entity-type":"item","numeric-id":5665173,"id":"Q5665173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307305$FB5A4FDF-64BE-467B-A0F6-B515BB3A3A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28f1c1b779685d63342d7f2fc87f70e7155eed35","datavalue":{"value":{"entity-type":"item","numeric-id":1708106,"id":"Q1708106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307305$E4EEB8B9-AEBE-4EF2-BA55-FDE00E05965B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f335f5584c0c9217cdd3b65bb10844cc486e7a09","datavalue":{"value":{"entity-type":"item","numeric-id":1935566,"id":"Q1935566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307305$965F4EA7-D569-4091-9E38-6A3775464249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf490388982bfac3f4f1794d615c967b0dfebf55","datavalue":{"value":{"entity-type":"item","numeric-id":3305421,"id":"Q3305421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307305$251ED244-8DA4-4B89-91D0-2B9760629368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8c81ff62c2e545ddf7d5a2887405cf334d4a40","datavalue":{"value":{"entity-type":"item","numeric-id":1187984,"id":"Q1187984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307305$41E2F049-EB60-4A85-BC86-6887029C549D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e250ba8c2b1f0ecbce7e2a3047a90fd64d76f9f4","datavalue":{"value":{"entity-type":"item","numeric-id":5804992,"id":"Q5804992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307305$76F4F594-FF74-4EA4-A9D4-D6ADAF47C673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b90a30d86097a0c3391c7d1a7888b91a1be5ae","datavalue":{"value":{"entity-type":"item","numeric-id":5502814,"id":"Q5502814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2307305$2B2704B1-406F-4A4F-B019-172B778E9830","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f4fafb969cbb31289f4bc84a8266bd266395a65","datavalue":{"value":"10.1007/S11225-019-09844-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2307305$311A4EB0-D556-4808-8ACB-38941F8014A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6987d3ad8e2e67dd8dd2a283d31b751e580aceca","datavalue":{"value":{"entity-type":"item","numeric-id":1708106,"id":"Q1708106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"817d8dacf77a460475bb733ba6c957c45d9ddc30","datavalue":{"value":{"amount":"+0.9074289798736572","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":"Q2307305$C498F658-D63B-49DB-8066-4B86D584653C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b84d59b27f729d02566cc114308d300d2e0a2d78","datavalue":{"value":{"entity-type":"item","numeric-id":1935566,"id":"Q1935566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9723307fbfab79fa8a2a70572dfb0795eecba3f3","datavalue":{"value":{"amount":"+0.8667745590209961","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":"Q2307305$F80F39CF-3B98-41CC-94A3-A30ECCC6073C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4159778931c1feaba3115b1bb0c6e21c7ebcc4a4","datavalue":{"value":{"entity-type":"item","numeric-id":5156188,"id":"Q5156188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f25f761ec5a33144396229588110f7f2bbb36397","datavalue":{"value":{"amount":"+0.8415179252624512","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":"Q2307305$DCEBC122-2327-4BB9-8746-236430411BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae0e8b2e84d4c74cf7ef3876d66ffe154610606","datavalue":{"value":{"entity-type":"item","numeric-id":3305421,"id":"Q3305421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b456df29974732010b9cbfe17a46b92f9c23a66b","datavalue":{"value":{"amount":"+0.7747577428817749","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":"Q2307305$68075D55-EAFE-40A1-B393-E5EE54F9B241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959b837d94d580672b64a0a264f79bb16dd8d0e0","datavalue":{"value":{"entity-type":"item","numeric-id":5502814,"id":"Q5502814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1517b7a1ba45785ef79a914a5921ac2bce16a52a","datavalue":{"value":{"amount":"+0.7541868090629578","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":"Q2307305$86F1A083-893D-4A5E-9C67-A583D8E969DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple axiomatizations for pretabular classical relevance logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simple_axiomatizations_for_pretabular_classical_relevance_logics"}}}}}