{"entities":{"Q2782585":{"pageid":2793323,"ns":120,"title":"Item:Q2782585","lastrevid":83239046,"modified":"2026-05-07T06:46:38Z","type":"item","id":"Q2782585","labels":{"en":{"language":"en","value":"Intuitionism and relevance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1724834"}},"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":"Q2782585$1C4A8750-A34C-4EC8-BF9D-D18C6DE1CB63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c445311425d2c9447ba28e6ced03a8a5149bf26","datavalue":{"value":"0989.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782585$A9D22ED4-35C9-45D5-BA0C-03A1A363736A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a75aa0ce15c29930bb5bfb3686899092a610e21","datavalue":{"value":{"entity-type":"item","numeric-id":590167,"id":"Q590167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782585$9A65E3D4-22EA-44EA-A954-8D9AD165B086","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"139fdaa7fd4d0729feb997bd5c9e17abb36abf69","datavalue":{"value":{"time":"+2002-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2782585$8487546B-4585-482F-A29A-EE5EFD032F6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782585$7C6ED1EF-389C-43E4-84D7-EED9CEF28C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782585$2307CE68-B06A-48F0-B424-1ED7D32FBFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782585$977FC317-D0BC-4CAC-82DE-7D0F6D18D1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782585$2B68B81A-280B-4138-B39C-68AF37990503","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41c1b72efa720ccb71846cfa1073766b9ae183ae","datavalue":{"value":"1724834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782585$FC7329F3-6227-4DF3-BC8C-866C5D9CAF54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a56c88c9deda8446e9336abc24560ac27f46e702","datavalue":{"value":"relevant intuitionistic implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782585$484C5544-AE38-419B-A622-D7FF009420F7","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":"Q2782585$DAE0894E-32F6-4394-BEDF-272912B067FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50851d1e52dee4b074e26d8738285bba5472ba21","datavalue":{"value":{"entity-type":"item","numeric-id":2735823,"id":"Q2735823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f9ae88e5e5576099d6396d50dda468253a235ee","datavalue":{"value":{"amount":"+0.8242905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2782585$F859F5CB-E27F-4955-935C-0E5EB69EC3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642af5239d22e3add2058fe2b674d5f5f52809bd","datavalue":{"value":{"entity-type":"item","numeric-id":3647286,"id":"Q3647286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1799de8ef6e61d0cad9249d80921e7646bd2883","datavalue":{"value":{"amount":"+0.8218973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2782585$2E8CA09C-CC8C-4499-AEFF-57C30E550BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5e13ef08b6841b2129e403f92c7418431f65a9a","datavalue":{"value":{"entity-type":"item","numeric-id":2770974,"id":"Q2770974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4886d843549b04e934ec81ce47cfb2fcceb49b82","datavalue":{"value":{"amount":"+0.8153408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2782585$820EF382-1EFB-4D35-B328-C15FE76B3739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a455511d49677dc782565dda4a9adda3fff2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2715525,"id":"Q2715525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"714569fa8ec3f22444b19fe20f7e44802010437f","datavalue":{"value":{"amount":"+0.81493044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2782585$3A7339D7-30C7-4FF7-A870-EA91744A0AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb9083894e6a6ee813cdd8de0842fca44feeed6","datavalue":{"value":{"entity-type":"item","numeric-id":1072541,"id":"Q1072541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0725be5fb106ea9755c2f6a454ecec5c397f16","datavalue":{"value":{"amount":"+0.8082175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2782585$DEE27D35-4606-45C6-9A41-EDE5A1F02DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"611668d1f47a45deb042a9074adae630e84de23a","datavalue":{"value":{"entity-type":"item","numeric-id":3400792,"id":"Q3400792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2204c8f7e83b7d8a471493732a0e07d6fc0a3792","datavalue":{"value":{"amount":"+0.8050646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2782585$2199150E-2C86-4058-B374-61B74256466B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7c1cb7d077b8b46a45e1b77189dff63d2d38c6","datavalue":{"value":{"entity-type":"item","numeric-id":3647235,"id":"Q3647235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58e6d65c55e003f005a7196e9e2489ac0758ba5","datavalue":{"value":{"amount":"+0.80335635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2782585$780D4F79-FA1A-4747-A473-BE7B6D0AF0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50162e624bbd79419f5271133c52926f1d8c0bc8","datavalue":{"value":{"entity-type":"item","numeric-id":3784049,"id":"Q3784049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b51480f29ea3a4e3c62a47986907b62bec203ec","datavalue":{"value":{"amount":"+0.79770935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2782585$35EA1E4A-24DD-4A17-8441-717CE371010C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b90bd43a1fe8494c7d198fb70f1d73430e1d53","datavalue":{"value":{"amount":"+0.7952383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2782585$8A9DE31A-F639-4AE7-AF17-7B8B58619614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c0de55988eb79a391012e29bf2807205933a12d","datavalue":{"value":{"entity-type":"item","numeric-id":4508262,"id":"Q4508262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc2742c12e0603f856288d58c315b124bbd107a0","datavalue":{"value":{"amount":"+0.78866637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2782585$33EEEF28-1B64-48A9-A64B-ED75663DAE1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57bfbc6d0be721d33e6ccd61e4a14bf76070f2c4","datavalue":{"value":{"text":"Intuitionism and relevance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2782585$1BF163A3-1B95-4BD2-A68E-15A2094CEE27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"824e2d3755eb4e0fd6f5484d250e49cd96c486e3","datavalue":{"value":{"entity-type":"item","numeric-id":6770336,"id":"Q6770336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782585$DB82D7BA-3ABA-48B0-A539-57DE503A94C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8c645f2de59e4b3cdecf0d43eded3a24acf440ec","datavalue":{"value":"Just like the logic of entailment is concerned with making classical implication relevant, the author of this monograph is concerned with making intuitionistic implication, and thus intuitionistic propositional logic, relevant. NEWLINENEWLINENEWLINEAfter introducing a semantic notion of intuionistic relevance \\(\\models_{\\text{Irel}}\\) (to be later made ``philosophically plausible'' by means of a modified Grzegorczyk semantics as in the author's [Log. Anal., Nouv. S\u00e9r. 41, No. 161-163, 167-188 (1998; Zbl 1009.03017)]) based on state descriptions, the author puts forward an axiom system for relevant intuitionistic implication \\(A\\rightarrow B\\) between formulas \\(A\\) and \\(B\\) composed with \\(\\wedge\\), \\(\\vee\\), \\(\\sim\\) alone, and proves a completeness theorem for these two notions. NEWLINENEWLINENEWLINEA completeness theorem is also proved for a hierachy of constructive systems of negations, after which the positive logic \\({\\mathbf E}+\\) (in which no negation sign occurs) of \\textit{R. Routley} and \\textit{R. K. Meyer} [J. Philos. Logic 1, 192-208 (1972; Zbl 0317.02019)] is extended to a system containing a symbol for falsehood, on the basis of which negation is defined, giving rise to the minimal entailment system \\textbf{ME} for which a completeness theorem is also proved. NEWLINENEWLINENEWLINEThe author takes great care to motivate and discuss philosophically the steps taken. NEWLINENEWLINENEWLINEErrata: In Theorem 2.6.1 and Definition 2.7.14, rel should be replaced by Irel.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782585$BAD7D28B-E195-43AD-B292-210C22E744F7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2936d2ca75b282fe91002e3a0760ae48486e8ea","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782585$BB782D09-C421-4FD8-AE97-201A8B487833","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionism and relevance","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionism_and_relevance"}}}}}