{"entities":{"Q1891930":{"pageid":1902672,"ns":120,"title":"Item:Q1891930","lastrevid":73715448,"modified":"2026-04-14T17:01:04Z","type":"item","id":"Q1891930","labels":{"en":{"language":"en","value":"Constructing a continuum of predicate extensions of each intermediate propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 761090"}},"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":"Q1891930$C700909B-72DF-4F01-AA92-A1EB7AA2066C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dea0166afcd9e6e27ccda96eb7b0bfa29748d61d","datavalue":{"value":{"text":"Constructing a continuum of predicate extensions of each intermediate propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1891930$EBF1E6B9-87BE-475B-A269-861973E3F038","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"166ea91578df3071714d9548012a403f838c6578","datavalue":{"value":"0837.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891930$33CEAEB3-9A2E-4BE7-A3E9-291282E60F7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67d8bfd09c721260f8b2a3a3e69280212b76e3f0","datavalue":{"value":"10.1007/BF01063151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891930$A112E1A2-DE84-4FC4-828E-9CEBEBDA28ED","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":"Q1891930$7E1BFF27-D543-4F4E-A19E-52377441A987","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":"Q1891930$F64EA818-2CB3-447E-9CD6-68380566CE29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae6bbe402fa411517b9e3e0f1a301dad51f71610","datavalue":{"value":{"time":"+1996-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1891930$1AE77E95-AAC6-4ADE-9EEA-F5769E367812","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bfcb7c6cc2c454f267050ce9359b88b24763d7ed","datavalue":{"value":"Waisberg and Jankov gave powerful methods for constructing a continuum of logics. But their methods are not suitable for superintuitionistic and modal predicate logics. Using a modification of these methods, the author shows that there is a continuum of logics between the intuitionistic predicate logic and the logic of constant domains; between a predicate extension of S4 and S4 with the Barcan formula. Besides, he proves that there is a continuum of predicate logics with equality whose ``equality- free fragment'' is just the intuitionistic predicate logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891930$E1ED58DF-BAF2-4CF4-93D4-9479249D2E7C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"eeec67f38e1d89854fb40771a8f249be9e614272","datavalue":{"value":{"entity-type":"item","numeric-id":1337511,"id":"Q1337511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891930$B60A482F-E1A0-4FAA-833A-90C4F62A7B60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891930$565BB6EF-0233-46B8-80D6-18BB059D07FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9899d7448074b6d1643f33ed36e5db2c0488894b","datavalue":{"value":"761090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891930$A57A9555-D1F9-4DA9-8815-5E702D3C99CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891930$F3303708-348E-4955-B99E-A9AAE839718F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3483169bf9945210868b516324780bb3f081e40e","datavalue":{"value":"logic of constant domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891930$FFFFAEBE-4B35-44F4-8F08-E3FAE31E23F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aff4f5fd381252da3735bb98e2261d557a52ab1","datavalue":{"value":"predicate extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891930$C763039E-F787-413E-9876-E413277FFE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbbcce5d958a0130862ba486d8886f3214101b0c","datavalue":{"value":"S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891930$033D9778-1D96-457A-BEC1-8F2B0475C7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666779a38fa937251fc61ea056c3be2b34fda746","datavalue":{"value":"Barcan formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891930$479E5C43-2117-42ED-AAB6-D32BE93BA086","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":"Q1891930$D4D612B7-F57B-497E-ACA2-F176F3F52D66","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb352cf3a8aa1bcadf6623070f33c0f521239455","datavalue":{"value":{"entity-type":"item","numeric-id":4342093,"id":"Q4342093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891930$A74515B5-0924-4337-8BEA-6A5E55235D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891930$44465D37-B588-4D63-B89B-D3E0AF4B6A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba35c317457b7e6ce78d79a6e2bac095c8308d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4401418,"id":"Q4401418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891930$7A26666C-90D4-4D7C-A5BE-02EEF8D9832D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891930$3E11FFE8-E4FB-4BF9-BE4F-BA2ED522F9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91aed4ff7969ae62a864e7e6e6061b889189f091","datavalue":{"value":{"entity-type":"item","numeric-id":5519127,"id":"Q5519127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891930$A57228F3-DA5B-4AC2-BD05-46CF522B88E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90e62a647d76324dd712fbc39d6d3cb2ce86e17","datavalue":{"value":{"entity-type":"item","numeric-id":5595146,"id":"Q5595146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891930$C2FBB877-F2A9-4A7C-AA94-4137F9F7DBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d869703fee80be20b6627dc739b2c1ebfaa39938","datavalue":{"value":{"entity-type":"item","numeric-id":5829018,"id":"Q5829018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891930$4F6812AD-9D03-49E3-AD09-04CDFB02931C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891930$6F40B202-9956-490C-9C44-22BE0554442D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d14d473b17b76e9069e2128d7a1079b30d8eac4","datavalue":{"value":{"entity-type":"item","numeric-id":2548955,"id":"Q2548955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891930$E8157DE2-3D25-4C20-B6D3-846B4F5EEC7E","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":"Q1891930$93D5593F-1D5D-4413-B702-3392C58CF587","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":"Q1891930$35BEA4A0-AD8C-4DF5-AA6B-46366C42A003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474a90a944e7cd909ccf37b4b52d8545b3851c9","datavalue":{"value":{"entity-type":"item","numeric-id":4694215,"id":"Q4694215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891930$8B0FA337-A92A-40D0-835F-53CD97DB872D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d5c6732a8f540208ccad025f78aa4d51924c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4287341,"id":"Q4287341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891930$67EDA9E4-065C-41D8-9282-ED659E736873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9056278c17123acc0c2448aadcda92f8dfa9ee37","datavalue":{"value":{"entity-type":"item","numeric-id":1208117,"id":"Q1208117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891930$1D5A0E64-1739-4E73-A08F-C951BB04F847","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":"Q1891930$A202A094-F978-4329-83A6-FE088DC65F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4977850ce5142634f32984b139abed4ce1f93e","datavalue":{"value":{"entity-type":"item","numeric-id":5518354,"id":"Q5518354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891930$D05CCBEA-2689-4BC9-9B5A-E7967657F508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fee35a91ce498ca029e8ce0718a61eba7cff092","datavalue":{"value":{"entity-type":"item","numeric-id":1839675,"id":"Q1839675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891930$6E1BD491-82E2-4636-ABEA-19BDC81135C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0726e741dcd03c927c7154b418e0b47a28bd0941","datavalue":{"value":"https://doi.org/10.1007/bf01063151","type":"string"},"datatype":"url"},"type":"statement","id":"Q1891930$56444AEC-E9F9-467F-8C4A-767785C691C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e66c3f194470406a7f0fc81f69190e5c273054b","datavalue":{"value":"W2010376212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891930$259A6F00-51AD-4FE7-AF3F-B54A15701D40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d8e164145591c13c2fe7fd184b7af4b9891b7e8","datavalue":{"value":{"entity-type":"item","numeric-id":1975164,"id":"Q1975164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae65f709ed0c211644a25ca146b20181b3cd09f5","datavalue":{"value":{"amount":"+0.8673727512359619","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":"Q1891930$CBC20150-8891-48C6-9B0E-AC70A0B34A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec8fc0b629f05a314b45af4bcea0863f48ef8b7","datavalue":{"value":{"entity-type":"item","numeric-id":2709301,"id":"Q2709301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600502461341a92246515ddc06333c1506f33a33","datavalue":{"value":{"amount":"+0.8217961192131042","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":"Q1891930$A0E4EFC6-D8B5-4797-B708-CCE1CAABAEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2c3b9288b61e33523ebbb5eaf88fe6b9644ad16","datavalue":{"value":{"entity-type":"item","numeric-id":3535111,"id":"Q3535111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89acbf4b7a9a7fe72753761fae842a4926afff36","datavalue":{"value":{"amount":"+0.8122222423553467","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":"Q1891930$8959B362-0DE5-40F7-8ACF-1FEC6B7C43AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6ca55590e3faf0cfda020dac9ab5e00f6786ca","datavalue":{"value":{"entity-type":"item","numeric-id":4215598,"id":"Q4215598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc9797add6081359a62c4534f296afdc6c45c01","datavalue":{"value":{"amount":"+0.795074999332428","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":"Q1891930$EF356BFE-FCE2-462B-9584-7E30B14235CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ec534e37564ff0db18ec1209852854293b5fd4","datavalue":{"value":{"entity-type":"item","numeric-id":4283073,"id":"Q4283073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d0c76a076952f5217ec8740e4bbbf860613500","datavalue":{"value":{"amount":"+0.7854378819465637","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":"Q1891930$63E28AB4-03A1-4DAB-A59B-4641AAB1DC76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructing a continuum of predicate extensions of each intermediate propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructing_a_continuum_of_predicate_extensions_of_each_intermediate_propositional_logic"}}}}}