{"entities":{"Q910395":{"pageid":912243,"ns":120,"title":"Item:Q910395","lastrevid":49363009,"modified":"2026-01-07T01:02:54Z","type":"item","id":"Q910395","labels":{"en":{"language":"en","value":"An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4139715"}},"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":"Q910395$09D4BE44-EB8A-4739-A393-D1C2F55F645A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85638ed002e651dec094dc18fd948a6e7935eae4","datavalue":{"value":{"text":"An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q910395$716B4825-59D8-4B85-A2F7-4657617AF88D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35bcea5ddf24c7e46d2415d0b6c29096c02ee360","datavalue":{"value":"0696.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910395$A777E8FD-A8BF-4603-8AB4-EA41A723F683","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"989b5616344cd747e96eace52b03d54703947e88","datavalue":{"value":"10.1007/BF02770508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910395$14B7206C-92B1-44C4-9333-E251437610EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1016ebddca2e676bc3bfc667fc000a8deeaba30e","datavalue":{"value":{"entity-type":"item","numeric-id":757341,"id":"Q757341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910395$ACE01C4B-2DD4-48C7-A57A-F8AAF593CA7B","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":"Q910395$4F9EF52B-CD42-405F-B318-A0FF8108B154","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q910395$2187959A-57A5-46F1-A5E1-4613BFC616E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"18c689f6bae242f4ab89ec7dce3c12cd3f5c045c","datavalue":{"value":"This paper contains an algebraic study of intermediate predicate logics (IPL's) and their modal counterparts. The semantical tools used for intuitionistic modal logics (IML) are bi-topological pseudo-Boolean algebras. This semantics is a slightly refined version of the original one which was introduced by H. Ono. The author introduces a special construction of bi-topological pseudo-Boolean algebras from algebraic frames for predicate logics and studies relations between the mentioned objects. In this technique, necessary and sufficient conditions for characterizing an IML by such algebras are found. As it was shown by H. Ono, for each intermediate propositional logic \\({\\mathcal J}\\), there is the maximum IPL \\({\\mathcal J}^*\\) whose propositional fragment equals \\({\\mathcal J}\\). The author finds an axiomatization of the modal counterpart of \\({\\mathcal J}^*\\) by the given one for \\({\\mathcal J}\\). Examples of IML's K and IPL's L are given such that \\(K\\vdash A\\) iff \\(L\\vdash \\psi (A)\\), where \\(\\psi\\) is a translation of modal propositional formulas into non-modal first-order formulas \\((\\psi (\\square p)=\\forall xp^*(x)\\), \\(\\psi (\\diamond p)=\\exists xp^*(x))\\). It is shown that there is no maximum IML whose non-modal part is a given intermediate propositional logic \\({\\mathcal J}\\), if \\({\\mathcal J}\\) is not the classical one.","type":"string"},"datatype":"string"},"type":"statement","id":"Q910395$80B5D350-C36C-4E64-823E-FCA9CBE80902","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910395$C28DC81C-BEDC-44AF-B6A4-BAA57D99E8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910395$3D1B2335-C3CE-43DE-8251-C7ED5C82849D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b08d8136648e6de80526106aee09213826d8e74","datavalue":{"value":"4139715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910395$2FD90B18-F200-4621-AB9F-9F5D221D8100","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q910395$BB5857DE-E41A-49A8-86EC-B0A49D69E76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd59af15ea010a801b5df83d78fefecdd883b86b","datavalue":{"value":"intermediate predicate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q910395$9F2C1B12-3CFF-45A2-8C9E-002901FC58AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4edc44af0afae3eb9ce509009e3d9b8dbab24f4","datavalue":{"value":"intuitionistic modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q910395$6EA25850-158A-4743-AE18-B1663BB86B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7356ca06a40430fc7f8cda919e1481037202fedb","datavalue":{"value":"bi-topological pseudo-Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q910395$3C50224F-60E8-4CBF-BF8B-BCCDE26260D0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b4569bc40e6a72bfae622e1549e11d4577f6e6fd","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910395$E4735196-4587-4DAD-91A7-4C50DCE65028","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":"Q910395$83B7B81E-ECF5-4E09-A344-A4F4F897A24A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc7261581be2247eafa3592bf3f840a736de9d81","datavalue":{"value":{"entity-type":"item","numeric-id":5586229,"id":"Q5586229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910395$F8F4BDAE-E8FF-4145-AA19-A2869FF77FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910395$CD758D26-C373-4A50-BB53-03455DFD816B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b01c430c91cec5f0c7619c27c486ede0808e55","datavalue":{"value":{"entity-type":"item","numeric-id":1096613,"id":"Q1096613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910395$58C4F3ED-DB20-4F05-9875-84ACA446D965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fef2cf1950c1728b573e32ed4257010f53dccbd","datavalue":{"value":{"entity-type":"item","numeric-id":3726084,"id":"Q3726084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910395$77ECD30C-1EAF-4FF5-ADBF-E0F5C3418400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a66ff41fbcfd81f3126133c415e30a6cabc423b","datavalue":{"value":{"entity-type":"item","numeric-id":1099162,"id":"Q1099162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910395$851F4076-C1FC-4E73-A536-454621A88D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35270007a8b5b5aab8e168d2707e8c4fcf0f52b","datavalue":{"value":{"entity-type":"item","numeric-id":1843560,"id":"Q1843560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910395$0A6EBD93-47D2-4A86-BA3C-6D81162F03CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e0c1a4e478a32752a62b530cc2a5255baa77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1244216,"id":"Q1244216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910395$3E84FE30-9734-4597-A1F7-B9F028145ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35cf2593590aecca43a7f8a6e13cb4417cd5c2ff","datavalue":{"value":{"entity-type":"item","numeric-id":3830979,"id":"Q3830979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910395$AEAE230D-729E-490B-B56A-DF6232E2836F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab83b65f312cf5c30a3f2d43de77b4fe05a973e1","datavalue":{"value":{"entity-type":"item","numeric-id":3472079,"id":"Q3472079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910395$6CAE8BD2-D130-4B40-BFDA-D7553FE4C6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910395$71D62E62-0448-409D-9AAB-EA98B60F473E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1fb5c684b1bc29cfd6cf1961f834c3edaf5ba57","datavalue":{"value":"https://doi.org/10.1007/bf02770508","type":"string"},"datatype":"url"},"type":"statement","id":"Q910395$2E29C360-0564-4093-9C21-D002473DA0CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0957f7e9adead6378c4ff995c68ede71cee80b59","datavalue":{"value":"W1997477297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910395$25E1D8E1-1970-4901-91DC-0955B7F8EE01","rank":"normal"}],"P1643":[{"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":"500c35f90d3ca5ee7f38f32b36f21c6b57596f49","datavalue":{"value":{"amount":"+0.8318618535995483","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":"Q910395$A2DBF218-A515-40B9-A57E-E48D1D326B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13739c4556b8348bc875990944e401cb4d120be0","datavalue":{"value":{"entity-type":"item","numeric-id":757342,"id":"Q757342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8726663a86cc758631772d07bef1cbca281a0ec5","datavalue":{"value":{"amount":"+0.8118516206741333","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":"Q910395$5881D032-A755-4B1F-BE88-481E51661982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2992da8d0fed1ab473691d85f466f4e7363920ea","datavalue":{"value":{"entity-type":"item","numeric-id":3309811,"id":"Q3309811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e08242c3062a7cf7cb100d528852f8d688fbeb71","datavalue":{"value":{"amount":"+0.804581344127655","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":"Q910395$C76F3C62-8F15-4F85-9567-BC9E7AD69036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de78a50c621b87933bb71bf3e2585e5d8f4a50c4","datavalue":{"value":{"entity-type":"item","numeric-id":3731574,"id":"Q3731574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"261d6c922dd6ba08d45c75c0b750c75f53066975","datavalue":{"value":{"amount":"+0.7778990864753723","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":"Q910395$F00EB2A6-1CFE-449B-9958-735B3A89CD33","rank":"normal"},{"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":"82b29b676c236c66a5dd3a6939775286a20ffea8","datavalue":{"value":{"amount":"+0.7718019485473633","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":"Q910395$AD1750AF-2515-430D-92B1-33DE9BB94341","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:910395","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:910395"}}}}}