{"entities":{"Q454383":{"pageid":456150,"ns":120,"title":"Item:Q454383","lastrevid":61992165,"modified":"2026-04-11T03:02:43Z","type":"item","id":"Q454383","labels":{"en":{"language":"en","value":"Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6088856"}},"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":"Q454383$79D3D1CE-1E01-487D-A90B-CCF17DD4ABC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f955c4dcad6f78a453a88f4723699bdf2c40a7c","datavalue":{"value":{"text":"Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q454383$5CC15332-BC7F-4CF0-A020-7C860BF5DB0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"787b00747fa1e412020c006d4960d23646f5fd22","datavalue":{"value":"1258.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454383$EDBF679B-0314-4F0A-BA5B-E17272E62D62","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":"Q454383$D78EEBB4-BD82-4626-9FA8-827B00F49375","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce482458de9f4ace900fbb372ae38b12a79d36f","datavalue":{"value":{"time":"+2012-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q454383$CC1F9B3F-8272-47A9-8DF8-90CB060CB52B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"49641d7582d668af66a7d384cad4420ff666051b","datavalue":{"value":"The paper analyzes the completeness of the combinations of \\(\\mathbf{QH}\\), the intuitionistic predicate logic, with the axioms \\(D^* \\equiv \\forall x (P(x) \\vee Q) \\rightarrow Q \\vee \\forall x \\exists y (P(y) \\&\\neg\\neg[x = y])\\), the weak constant domain principle, \\(K \\equiv \\neg\\neg \\forall x (P(x) \\vee \\neg P(x))\\), the Kuroda principle, and \\(J \\equiv \\neg Q \\vee \\neg\\neg Q\\), the weak excluded middle principle.  The completeness of the considered systems is developed in the class of Kripke frames with equality, which is equivalent to Kripke sheaves. It is worth noticing how all the considered systems are incomplete in the standard Kripke semantics, where equality is the diagonal relation in each possible world.  Extending the techniques developed in his previous works, the author establishes appropriate completeness results for \\((\\mathbf{QH} + D^*)\\), \\((\\mathbf{QH} + D^* \\&K)\\), and \\((\\mathbf{QH} + D^* \\&K \\&J)\\). Also, the paper proves that the system \\((\\mathbf{QH} + D^* \\&J)\\) is incomplete with respect to the considered semantics.  Some discussions about how these intermediate systems can be considered as the Kripke completions of other intermediate logics, e.g., \\((\\mathbf{QH} + E \\&K\\&J)\\), where \\(E\\) is a variant of the Markov principle, complete the article.","type":"string"},"datatype":"string"},"type":"statement","id":"Q454383$4F58515C-E121-48D3-8368-4551BDB636EB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d70cf3bb8deac95780b40e015c668ee4c90151aa","datavalue":{"value":{"entity-type":"item","numeric-id":590180,"id":"Q590180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454383$E199CA60-F025-4872-BCD3-C951A34CE7BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454383$8DEE03A3-E0F9-4467-9F4A-52CDCDFEEAAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66f37a66a0ef16cfdcd3447d8979ff515f74cb96","datavalue":{"value":"6088856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454383$06135777-B0AB-4387-A9A5-D255B6D010C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b012ab48c2faa74275f2481de54c4e7b9f98617","datavalue":{"value":"superintuitionistic predicate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q454383$287934CB-CCC1-42DC-B0B6-AF0371872BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q454383$E105AE70-AEB1-4598-BBDC-B2A51B19ED3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d6a5861c8ad1e79f9f77dfe64b28ece41174795","datavalue":{"value":"Kripke sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q454383$B267257F-4683-4600-A9EF-8E3E7FEFEC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeb6037d7222b00ecda24c86e9c9f80c10978b71","datavalue":{"value":"Kripke sheaf completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q454383$971E25AD-D72B-440E-A01E-DAF94801408B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd59af15ea010a801b5df83d78fefecdd883b86b","datavalue":{"value":"intermediate predicate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q454383$11E34D8D-B704-456E-B362-6A34236C7DA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e5c7a0fa17b322a9e2262053ffff4fc6798d1e","datavalue":{"value":{"entity-type":"item","numeric-id":731483,"id":"Q731483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454383$35C179DD-62FA-436F-AEE1-781FCB3521CF","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":"Q454383$BB27DF53-1DB3-4B8F-9A77-AFAC7F2C11DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5859133dd49fc7079c4820b71893c94a9fece33","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9382-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q454383$C8C93651-F522-42E2-BA88-658D7CAE47CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"270f395fdf138596881d10ff127fcad1cbd4a4f1","datavalue":{"value":"W2051936959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454383$03665674-9982-4433-A2FB-F9FBF31FC5AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2065d700f2825fdfa933ca5dcce9965a089dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1264137,"id":"Q1264137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454383$F104049A-0492-4D2C-A714-5A827634A9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454383$1D26DEC0-79AE-44E3-AAD5-3C87E0260E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6e2c2b01fad4a983c99ac89d3f4df75d551130","datavalue":{"value":{"entity-type":"item","numeric-id":5654019,"id":"Q5654019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454383$3A986E57-1FD4-4632-BB38-8A6DB5812373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6adbacb915dbf54fc550a4feb912036627eb","datavalue":{"value":{"entity-type":"item","numeric-id":731484,"id":"Q731484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454383$8658772D-02DD-41A1-AE91-842055C4EA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07696fca1aa99d197789cc76962015833ce12ac8","datavalue":{"value":{"entity-type":"item","numeric-id":582278,"id":"Q582278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454383$F9C1D83A-C58F-4449-A66F-38FFA9966063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f7bde8459c6368935933bcc5cd40403a585d1a","datavalue":{"value":{"entity-type":"item","numeric-id":4053614,"id":"Q4053614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454383$85387945-4778-471A-B0DA-4F93A0086FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019bd4c75dfd12975ef47facd414f509a089febe","datavalue":{"value":{"entity-type":"item","numeric-id":3669380,"id":"Q3669380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454383$D68EECB9-37E9-4961-840D-8ED481690EBB","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":"Q454383$26E841EC-6461-4CF6-B4AB-BA001A3A0871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9f4c080eb8a000a64f90365ac6d0f2d002ef5f","datavalue":{"value":{"entity-type":"item","numeric-id":1208113,"id":"Q1208113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454383$463E59A2-EE5F-4580-A3BD-1C81A281B022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbec5946ac30814939d078be2c6257f1fe1a4e2a","datavalue":{"value":{"entity-type":"item","numeric-id":1344873,"id":"Q1344873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454383$EA4370BD-C803-436F-8506-1CDE5A418D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f0df1585f881d71b275dca89eec04a214d1561c","datavalue":{"value":{"entity-type":"item","numeric-id":1770592,"id":"Q1770592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454383$226102DB-F430-4378-BC90-ADEBA96EBF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb27b6f456fc6c7e2cea8df7d80a3b4165ebb37","datavalue":{"value":{"entity-type":"item","numeric-id":817691,"id":"Q817691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454383$567C25AB-D305-4BEB-91FC-8EF8207A22AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad6c828ad66b9a57131754457aafaaafcce5d26d","datavalue":{"value":{"entity-type":"item","numeric-id":454383,"id":"Q454383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454383$7156DB19-79E0-4BA0-A74E-267AF795C3AE","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":"Q454383$7DE81A16-48D3-49C0-8B63-94CFB082775D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d01e9234d7e3a7d3a088900e0ac70815098331","datavalue":{"value":{"entity-type":"item","numeric-id":3809773,"id":"Q3809773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454383$2BDE6179-E1E7-4F4F-BC05-C2C298BD70AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4654f62ece911ffc25fc44ebb99e3eecc1405e75","datavalue":{"value":"10.1007/S11225-012-9382-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454383$F6D99A55-201A-4089-8E80-A957D81892A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3296a5f8733ae44dc771721dc76c22f25e2cd35","datavalue":{"value":{"entity-type":"item","numeric-id":1208117,"id":"Q1208117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a4aba90a7a7f2efc0fe9ea6e3c3c5b6a5bb7e6","datavalue":{"value":{"amount":"+0.8488132357597351","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":"Q454383$CC26FF42-7C63-4CC6-9DBD-E852762A46BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4c7b8adbca0d83722bdce0f41b61e57a204872","datavalue":{"value":{"entity-type":"item","numeric-id":4834486,"id":"Q4834486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e9d4a33219c8b3eb0ca3f43a031540fe480910","datavalue":{"value":{"amount":"+0.8481624722480774","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":"Q454383$01590D21-BFED-46EB-83B6-1604F00DBBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eea9e30a2aba55171c506fd3e0a835872d48fcd0","datavalue":{"value":{"entity-type":"item","numeric-id":1580656,"id":"Q1580656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3849e60258276cfcb89f974ce42928208acad87e","datavalue":{"value":{"amount":"+0.831508994102478","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":"Q454383$7DEC931B-997E-4AAB-8D85-511A42FBD189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc0d3defdf4688b61f02b8a131384e87cf9d289","datavalue":{"value":{"entity-type":"item","numeric-id":1208113,"id":"Q1208113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c45489bc851a6acf9ea1b548a57dbdeb5ef3eb0a","datavalue":{"value":{"amount":"+0.8259685039520264","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":"Q454383$76E73249-9F09-4E45-973C-305DB4E0A08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beffcec4b90f77b8bbb35573d98e8c6b0bc3790a","datavalue":{"value":{"entity-type":"item","numeric-id":3094149,"id":"Q3094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8900a72824e0e110ef202b1cdd514bc241ea5f48","datavalue":{"value":{"amount":"+0.8243443369865417","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":"Q454383$F1566CE1-C227-4ED4-9B9C-46923DCB10E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kripke_sheaf_completeness_of_some_superintuitionistic_predicate_logics_with_a_weakened_constant_domains_principle"}}}}}