{"entities":{"Q1378428":{"pageid":1389168,"ns":120,"title":"Item:Q1378428","lastrevid":46953933,"modified":"2025-12-25T22:25:07Z","type":"item","id":"Q1378428","labels":{"en":{"language":"en","value":"The greatest extension of S4 into which intuitionistic logic is embeddable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1117768"}},"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":"Q1378428$7CB54751-206A-4755-ABD8-DB5282F140DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"def2556798d45971de8f54910b19a5c9859c4625","datavalue":{"value":{"text":"The greatest extension of S4 into which intuitionistic logic is embeddable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1378428$89C18998-F6B0-4F5F-9B7A-F7C040198E6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bb1cc09c02ec70c2fe5c8fdb6fcf97f4b58d3b0","datavalue":{"value":"0920.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378428$45666BA5-B9C0-49E4-B8BC-4E969DCAE224","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02462bca0d5a4d4d10f55aa6e64b614eb9a133e1","datavalue":{"value":"10.1023/A:1005084328298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378428$098F4305-F404-4065-9CDE-7A4B9D1E8712","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":"Q1378428$BB3E16B6-9C13-4CA6-85C0-4F92080B9338","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"991e475abd37be734cb0d7a05f99118046b2fc75","datavalue":{"value":{"time":"+1999-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1378428$B4C7C925-4AE4-4AF6-8896-4D630FD24F87","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0873ca8995fa3c69024565687fc0ebabbe372c20","datavalue":{"value":"The main result of the paper is the existence of the greatest quasi-normal `modal companion' of the intuitionistic logic Int, i.e. the existence of the greatest extension \\(M^\\ast\\) of S4 into which Int is embeddable by G\u00f6del translation (a quasi-normal modal logic is closed under substitution and modus ponens, but not necessarily under \\(\\square\\)-introduction). This is an analogue of the well-known fact that Grzegorczyk logic Grz is the greatest normal modal companion of Int. The logic \\(M^\\ast\\) is explicitly axiomatized by an infinite set of axioms; the question of its finite axiomatizability remains open. Also it is proved that \\(M^\\ast\\) is decidable, lacks the fmp (and thus is a proper extension of Grz), is Halld\u00e9n-complete and has the modal disjunction property. On the other hand, the analogue of the Blok-Esakia theorem for \\(M^\\ast\\) fails: the author constructs an intermediate logic which has no modal companions among the extensions of \\(M^\\ast\\). The proofs are based on the method of canonical formulas developed by the author in many papers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378428$A3C47ACD-5E9A-47DE-99B3-B8BA22D3D3F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378428$174B8553-5DE1-4B85-8C48-4C7EAAB35022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378428$D6ECC8B2-123C-4705-9E97-45EE6180370E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8ee1ff056dd34ee0cc7df0a17453a5805e4e810","datavalue":{"value":"1117768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378428$99C8598E-994B-4035-AD5F-D3CC9F347BD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378428$D099CE0A-9316-4E09-BB96-D83EB592D282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"163496271377941bf36a66ea355f01e3fed7001b","datavalue":{"value":"quasi-normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378428$C7AB942F-CAE4-439E-B783-81C0E32CE12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4221e3ddb0a8a18735f0c9ba8301ab3a063f40","datavalue":{"value":"G\u00f6del translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378428$AD7D249E-372E-479F-9861-537F097B50B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bd3b85c6ebb5d53f1511035a1e4768e32cc8cfc","datavalue":{"value":"modal companion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378428$2AB0DB39-75DA-4A7E-A02F-65B48F8B5392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bf2a4abd3a68c8d01f25861901d997aa430007b","datavalue":{"value":"canonical formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378428$3FFFB5BD-6725-4B91-B64E-41DBC46EA925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de855ea8fd65a3e3409eb19aa5d66ba3dd450e6","datavalue":{"value":"Grzegorczyk logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378428$0A4F5D35-4908-41BF-A3B3-A846F2DEF281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378428$87D594FF-8B3B-4DF6-9779-777211423F3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378428$803E5429-C0E3-48DC-8511-CED4D461C8BF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad7bfad8d872a3ea91c9dd215d7f4f38e1e07b24","datavalue":{"value":{"entity-type":"item","numeric-id":472807,"id":"Q472807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378428$55E8173E-2386-4479-8D3D-802FFD817E06","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":"Q1378428$01F23B06-F6B0-411A-B9DF-7F6E6EC0725B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08d34466dc9287932cd9f57134a7fcbf45f139ba","datavalue":{"value":"https://doi.org/10.1023/a:1005084328298","type":"string"},"datatype":"url"},"type":"statement","id":"Q1378428$BA2553E1-6925-4171-A933-184D0F7349E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22cc26bda5815b92d7c5dabf5db345768c9ae7f0","datavalue":{"value":"W1575624441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378428$0C674EEC-4FCE-48DD-8427-49C9D3639306","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b220d2727f97c02874dda1c5407d0fd29ff84daa","datavalue":{"value":{"entity-type":"item","numeric-id":2372685,"id":"Q2372685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74451ca44d77e5118fc34bb7bae9ce8e4c080ed","datavalue":{"value":{"amount":"+0.8158064484596252","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":"Q1378428$A3B64BEE-E0FB-496F-B565-E7984511A945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a347f60fb490476ef48c5bee278c32fe855ae2ab","datavalue":{"value":{"entity-type":"item","numeric-id":3363754,"id":"Q3363754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196025ee3254db68c98a9ceba68b7bd98d860043","datavalue":{"value":{"amount":"+0.7688318490982056","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":"Q1378428$88B75F29-00A0-4670-8909-EA51B199DF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea17d8319106036189dd20e04075299f94c7a36e","datavalue":{"value":{"entity-type":"item","numeric-id":4694248,"id":"Q4694248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b15ef04413ac0bc6a2f7bc5a9e707671e27ae32d","datavalue":{"value":{"amount":"+0.7663458585739136","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":"Q1378428$C0B2C4B1-A4B4-4076-9A59-C49DECA42BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99382cdef8ed2f484d29437f7ae5bea8b082b78","datavalue":{"value":{"entity-type":"item","numeric-id":4948690,"id":"Q4948690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caf75d9ff077c3a4e3ac380dbcec32e74592038c","datavalue":{"value":{"amount":"+0.7610320448875427","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":"Q1378428$4C77226E-F124-4A9D-BC09-FB1C409E712D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1378428","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1378428"}}}}}