{"entities":{"Q1074572":{"pageid":1085324,"ns":120,"title":"Item:Q1074572","lastrevid":69812673,"modified":"2026-04-13T09:33:30Z","type":"item","id":"Q1074572","labels":{"en":{"language":"en","value":"An application of Rieger-Nishimura formulas to the intuitionistic modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3948227"}},"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":"Q1074572$544D957A-0700-4537-B3D5-C935574912B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d25d16447ccd6820b36a6b09e1cbcc00591f1023","datavalue":{"value":{"text":"An application of Rieger-Nishimura formulas to the intuitionistic modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1074572$65A93EE0-4A3E-4813-8ADD-95BB8A4DC115","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8534b8612987aa75855c47fb9a32d267614a1916","datavalue":{"value":"0591.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074572$2A9F34A2-AEF1-4627-8488-EE2FD7A8D398","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81082cbcb8a601ff0ca21f082c37648dcf2695d4","datavalue":{"value":"10.1007/BF00370811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074572$BC00A03A-04DE-47BA-B81A-A7103FC873DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7ea5f16cc816facd5f588acca584d7c7aab2792","datavalue":{"value":{"entity-type":"item","numeric-id":454384,"id":"Q454384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074572$70D0434E-5983-4F65-9A7F-2761EF0EBC97","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":"Q1074572$9561B771-0776-4249-B431-16F574E13E54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1074572$049A0160-EE73-476E-906F-29998F80028B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"92546b53e637fb042cf5b948b99a9ca816dcbb43","datavalue":{"value":"Intuitionistic monotone modal logic (imml) is a set of propositional modal formulas containing the usual intuitionistic axioms and closed under modus ponens, substitution and the rule (A\\(\\to B)/(MA\\to MB)\\). Extending results of his previous work [ibid. 40, 103-111 (1981; Zbl 0469.03009)], the author proves that for any monadic nonmodal propositional formula A which is derivable classically but not intuitionistically, there is a continuum of immls L such that \\(L+A\\) is inconsistent. There exists a consistent imml L such that \\(L+A\\) is inconsistent for any such A. There exist at least countably many immls.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074572$8B427CA0-C495-4DC6-9DB3-AFEC685C991D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074572$06D0662C-BC23-4462-8A64-915FD79D7D71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a02ea873bcbc05a52669958bae3bafb5cce381b9","datavalue":{"value":"3948227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074572$956FCB35-2C01-4A1C-8C13-C57C4DEADCD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074572$E7B95097-2443-43A0-A6C7-7C176AE4B31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074572$FAA6FADD-610B-4371-BEBA-80B1AB8E5386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534a4cdb125041d9c6f6c58479e2a9484fa1b00c","datavalue":{"value":"monadic formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074572$D154630B-529C-43BD-A327-01F943F1AE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b12f6d427d2b76c72ad3132c355c85b2bd30becf","datavalue":{"value":"Intuitionistic monotone modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074572$5392CE76-A4DC-4201-AC4D-571D4C753061","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074572$D5A952A7-D2A6-4A70-B267-521D351F6718","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":"Q1074572$FA1183D3-615E-4E1B-B2C5-F22597D4DE70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"430aeea16287474b9301e5bb7d6f8fdfac8a8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074572$333C9AA0-7214-4F07-8244-ED7A1FF1627A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074572$6BC4BCE2-1C7D-4419-8AB6-A207EFE5EB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8e02cfe97cc01f6f17cf6355854c168f0a78db","datavalue":{"value":{"entity-type":"item","numeric-id":5518356,"id":"Q5518356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074572$2047405E-DD95-4ADD-B9A1-A39ABF04A55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e582ea7117eeb9b951ef45ce037187e023c55c","datavalue":{"value":{"entity-type":"item","numeric-id":3322075,"id":"Q3322075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074572$CE59AB0E-D040-4EF9-9BC3-B7B24C6F6866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7f1a1f3a414dcf1a427244ae76a8c9436dae5f","datavalue":{"value":{"entity-type":"item","numeric-id":1156786,"id":"Q1156786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074572$32590326-AD00-4F8A-A31F-F571E03513C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371776522740723e965c7bc56d124ebff60967fc","datavalue":{"value":{"entity-type":"item","numeric-id":4071195,"id":"Q4071195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074572$18B5742A-2E35-4964-96C1-3A289918AC94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c10b3e069736435c49e8d95b78831626236f94c8","datavalue":{"value":{"entity-type":"item","numeric-id":3322075,"id":"Q3322075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72175cb3ca954cf0823e4438a474d003f747e62e","datavalue":{"value":{"amount":"+0.8503837585449219","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":"Q1074572$94255292-9162-4B3B-98FF-483716DC83FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e37c02e5fc129026c4872920f1f5be7b13eae3a","datavalue":{"value":{"entity-type":"item","numeric-id":4250043,"id":"Q4250043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4027b9dba69c13a3742f118d8542c829f1842d61","datavalue":{"value":{"amount":"+0.7818286418914795","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":"Q1074572$941226D1-034C-43DB-8301-D9293192D08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50e3e650b7ff98cb108a1a5c9ae348f7c876072","datavalue":{"value":{"entity-type":"item","numeric-id":3161185,"id":"Q3161185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c1a893b52dcf9c7cc5c9b2441156741c02c6a4","datavalue":{"value":{"amount":"+0.7782881259918213","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":"Q1074572$3D763724-2317-4B0B-B65A-2F33B673C692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e6e713efccdb5eee4f32d7096b0be233014ec1","datavalue":{"value":{"entity-type":"item","numeric-id":3472079,"id":"Q3472079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8af5fffa3ff215252ca94e72354abf088f2a95c1","datavalue":{"value":{"amount":"+0.768730878829956","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":"Q1074572$CC430A41-D3BE-43C0-A812-894D83755E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd49034f418630eb2080eb498816a62cd138565","datavalue":{"value":{"entity-type":"item","numeric-id":3333006,"id":"Q3333006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"addc723d7fba26a0bf56fb9f1653388830e7c537","datavalue":{"value":{"amount":"+0.767458975315094","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":"Q1074572$0D47B4AB-D34F-4B1B-9064-F9933C4B6DB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An application of Rieger-Nishimura formulas to the intuitionistic modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_application_of_Rieger-Nishimura_formulas_to_the_intuitionistic_modal_logics"}}}}}