{"entities":{"Q1580656":{"pageid":1591396,"ns":120,"title":"Item:Q1580656","lastrevid":43225853,"modified":"2025-07-22T13:48:05Z","type":"item","id":"Q1580656","labels":{"en":{"language":"en","value":"On some Kripke complete and Kripke incomplete intermediate predicate logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512007"}},"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":"Q1580656$73C23E91-FC66-435E-A95C-E48C631BA176","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d74cdceeb38f51ec4d1b3d90240e09c71148e521","datavalue":{"value":{"text":"On some Kripke complete and Kripke incomplete intermediate predicate logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1580656$D84FCA35-9B4C-4871-9590-6A00770704EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9c4041cda851a60f0e9f0982862a21510b333ad","datavalue":{"value":"0969.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580656$29368A11-E3E5-41C6-9372-9E08E8FA4B07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e881f9a0925d186948782b2318a41e60c96095d0","datavalue":{"value":"10.1023/A:1005029515564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580656$A7CFDC10-BDB7-456A-B04F-37008919926E","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":"Q1580656$73996B93-377F-4984-9E83-9559D06D4B76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5304ee1acd0d951d9b3b4a189a7d247f2a4fdb47","datavalue":{"value":{"time":"+2001-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1580656$9B9BD479-58E8-4605-A390-DEBD67F97100","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"13d5242e76344cf42c971c0f6aeec30dd84b758c","datavalue":{"value":"The Kripke completeness problem of intermediate predicate logics is investigated in relation to the constant domain axiom, the Kuroda axiom, and three kinds of propositional axioms, including the weak excluded middle, which are cofinal subframe formulas comparable on the intuitionistic base. As for some of these logics the problem has been already solved affirmatively (or not) by the author, Shekhtman, Ghilardi, and Shimura. In this paper, the author determines it for the remaining ones. Among the seven systems to be discussed it is proved that two of them are Kripke complete but the other ones are not. In particular, the incompleteness result gives rise to a negative answer to Shimura's question asking whether any extension of the constant domain intermediate predicate logic with Kuroda axiom by disjunction-free propositional formulas is Kripke complete. The incompleteness proof is carried out by an application of Kripke bundle.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580656$FBD36A52-D88F-4BF4-86F6-5F7AA8A737A1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580656$78FD262F-B6F1-44AD-AC79-66DFA1C513B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580656$712BF189-5CCE-4201-8C56-C0F8ECE7B163","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a25d226a7c6bdba13b7f531c25577f30f8c37f8","datavalue":{"value":"1512007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580656$49835E2A-AEE1-4348-8D69-883442920BA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd59af15ea010a801b5df83d78fefecdd883b86b","datavalue":{"value":"intermediate predicate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580656$65AFF2E6-1263-424B-BA28-789F59553697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810500790c3bf4aae7a430c18a31e7af9ae3ecad","datavalue":{"value":"Kripke completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580656$692AA793-3B92-4BEB-A01F-19ED846D9ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6844eb391dbc6b9c954ed5ef48bbd4b661beb5af","datavalue":{"value":"Kripke incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580656$326653A5-896D-4200-9D20-37EB70C1B131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8267e3656381f171a34e6298be2117e4269a71d","datavalue":{"value":"Kripke bundle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580656$08C9A326-8B00-4B87-B888-AA283B6A27A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9206855512e8049bff886ab6253f7ad45bd985a7","datavalue":{"value":"constant domain axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580656$9F5A7DA6-C9F6-4F8D-9AF8-D7479A60E19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0250cb456f6f48f634d9d629acb31f000987487","datavalue":{"value":"Kuroda axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580656$9574D8C9-1BFC-4436-8C54-DACC873B6BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3411ed60d3172bfb93ca9b707ae57936ae54a2ec","datavalue":{"value":"cofinal subframe formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580656$F0E1D406-B56A-46F2-8A2C-EB2759D67CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580656$155CF0ED-7BBB-4409-9CA0-96F850148484","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":"Q1580656$319BDAED-4DEB-49F6-A0FE-99D2654FDDF7","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":"Q1580656$A12226A8-8448-4BAD-9F21-4CEEDD83F92E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bfbf27c485a337c3da747d360e1ecbf159fbad1","datavalue":{"value":"https://doi.org/10.1023/a:1005029515564","type":"string"},"datatype":"url"},"type":"statement","id":"Q1580656$12755559-D42F-4545-8310-079FA8486CD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58a78743eb23fa746f72f7a1bc522876e60cfaca","datavalue":{"value":"W1501433448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580656$5B6CCAF4-A4E9-4606-8C38-35163C8E7EAD","rank":"normal"}],"P1643":[{"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":"bd88b6643a79e49b7d66c3fc0c62ed23848b2ab9","datavalue":{"value":{"amount":"+0.97854596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1580656$0B4D2C7C-5704-4779-A7BD-29F67DE7B228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a7dead3c25a41859c2a337e489ca85d49b8bee","datavalue":{"value":{"entity-type":"item","numeric-id":3707996,"id":"Q3707996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c18d4db59709c240387f243288ce5ff5cca7b9","datavalue":{"value":{"amount":"+0.9414399","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1580656$197E623B-2513-43A0-B9B9-79C85D152B70","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":"288b4bf8ab877fc5d96249d645e3bdb9055703a9","datavalue":{"value":{"amount":"+0.93096536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1580656$E48E742F-E188-43EA-BEA8-20112DF7DFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fec4e7deecb0f7024e304691aad87c74e55c5a9","datavalue":{"value":{"entity-type":"item","numeric-id":5311050,"id":"Q5311050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3134ad23121c098e5ea2e2bd753bc2f5eb3d0127","datavalue":{"value":{"amount":"+0.927629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1580656$B4174EF2-B22D-4BB1-B038-B675915071F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107eaf6a0ffaf5cd86d3acfd1e53cbabb96f92aa","datavalue":{"value":{"entity-type":"item","numeric-id":4733853,"id":"Q4733853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75efdc5a25a5b96680951442e90e7b19685dd327","datavalue":{"value":{"amount":"+0.92456836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1580656$5EB730BD-ACE3-4B82-80AE-8C2A5C9D685F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"261cbb04b447ab0cb1db4c9b05e30484e5245f19","datavalue":{"value":{"entity-type":"item","numeric-id":3830979,"id":"Q3830979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daab7670ddec55aaa37a81b119ed04f08a446395","datavalue":{"value":{"amount":"+0.9180834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1580656$A80868B2-9137-4062-A8F0-F109DB0187D3","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":"dd2f9a783507e9d10d432d7272f3bf72f7672539","datavalue":{"value":{"amount":"+0.914546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1580656$A46F32D8-BE19-4870-9131-3FC2C9458F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a402cab32c67386f854d1347f9981c692df3a0","datavalue":{"value":{"entity-type":"item","numeric-id":1061734,"id":"Q1061734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e832181cb24c377403d6b7ecb0e44cffe56769c2","datavalue":{"value":{"amount":"+0.9137018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1580656$63BC0264-16C7-4073-A5A7-288F3D126050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcaf5dcbbc41b337e20d7a68e812ee7476d08ba1","datavalue":{"value":{"entity-type":"item","numeric-id":701294,"id":"Q701294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c64719c5e6429b853bff3f8a81e981531b15ac","datavalue":{"value":{"amount":"+0.90778595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1580656$CD7738F6-806E-4A76-B40F-933C77E87163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d67063b2c37fbf80d12f7dfaa0eebca4f0db919","datavalue":{"value":{"entity-type":"item","numeric-id":4025000,"id":"Q4025000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e33eff632c3870df3ddb0db9a8330275dfa9d7","datavalue":{"value":{"amount":"+0.90766346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1580656$C79B1D48-253F-4DAB-87CB-FE2D5B08B57F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1580656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1580656"}}}}}