{"entities":{"Q1311077":{"pageid":1321827,"ns":120,"title":"Item:Q1311077","lastrevid":47218537,"modified":"2026-01-01T01:18:25Z","type":"item","id":"Q1311077","labels":{"en":{"language":"en","value":"Continuality of the set of maximal superintuitionistic logics with the disjunction property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 484247"}},"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":"Q1311077$0BC2C958-67A7-411C-A2AE-A2E6B51947D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63ed2ba3c0f91585c00837c9cdc0d14bcd84c5ca","datavalue":{"value":{"text":"Continuality of the set of maximal superintuitionistic logics with the disjunction property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1311077$BDFE0A16-31EB-4456-9C18-7F4A8AD50019","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b99c0ba29012fc8595984832664af09559d9fcf","datavalue":{"value":"0795.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311077$FDE8C2D9-7047-4137-83F6-C8371DD615EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d31820512f5a3c50c3a5cac0aacde6cd9428db22","datavalue":{"value":"10.1007/BF02102127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311077$1F57CE25-0835-47F9-9479-13F7379BF864","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311077$8FB57AD7-6CBC-49C7-909D-A938DFF9C09C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"027b89baff93515bcff52fbfef2ae31a0ae261dd","datavalue":{"value":{"time":"+1994-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1311077$C25D1008-835F-4434-9CE5-74B117CD7544","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4f9d5599aea277d3d7bfdd5ad9d9cd48261570a2","datavalue":{"value":"A superintuitionistic logic is a logic containing intuitionistic logic. Here the author treats only consistent superintuitionistic propositional logics, that is, the intermediate propositional logics. The disjunction property for a logic says that if ``\\(A\\) or \\(B\\)'' belongs to the logic, then either \\(A\\) or \\(B\\) belongs to it. In this paper, the cardinality of the maximal intermediate logics with the disjunction property is studied and as the Main Theorem, it is proved that there are a continuum of such maximal logics. Besides the Main Theorem, this note presents good information around the problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311077$B4C68284-0749-4BD7-A817-D7840705A609","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311077$5938E482-E788-4265-BBEE-2FA5784F19D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"256756e1a893356e9c2fab8497b8e19ced2fd281","datavalue":{"value":"484247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311077$AEE1AF62-7437-4AC3-A0EB-1F3602AB8A0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311077$7ADFCDF3-4E27-426A-B7FA-A149D76AFA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"844982ebebe88ce0efe8b7fb70d507804d83e99f","datavalue":{"value":"intermediate propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311077$717D27A1-FD8F-4AED-A656-4397381FF927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21303deb5916f859cc0c5409721f9b983149b475","datavalue":{"value":"cardinality of the maximal intermediate logics with the disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311077$897362AD-11DC-47D2-B431-B652E4E29C8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9766154da8868329ab713f56377e5e5d3217fc5","datavalue":{"value":{"entity-type":"item","numeric-id":1181480,"id":"Q1181480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311077$EB53DACD-542F-4A42-A0F6-D8CDFDB323C7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"851bf76d21f8adc9231295bc43bb317620bc1e90","datavalue":{"value":{"entity-type":"item","numeric-id":1111544,"id":"Q1111544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311077$70976D80-4A44-41D5-A551-48BA86720A0E","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":"Q1311077$1BBC37AA-5CD1-4224-AF71-639C2F642D22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d24cb6b0653e5ab48480c9fc9fba5674218aedc3","datavalue":{"value":{"entity-type":"item","numeric-id":4065518,"id":"Q4065518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311077$7F8EEF59-5E65-4A97-9258-7A7EF04B56F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355d08d5e5c4643fed69139b854c7f31566ba807","datavalue":{"value":{"entity-type":"item","numeric-id":1097260,"id":"Q1097260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311077$5C3CC1C9-A728-46A1-89B4-AACB8440193F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e19a8bfe94f413c65a683d2264d1c901dfb7f1","datavalue":{"value":{"entity-type":"item","numeric-id":3783273,"id":"Q3783273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311077$D1465557-1ACD-4D73-ADAE-9C5740DD1F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f803209c67528497565ed0fcd089fb74d3efa2f","datavalue":{"value":{"entity-type":"item","numeric-id":1096618,"id":"Q1096618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311077$B9BA0D3F-CD0F-4965-9413-0B671B38E4CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed083349616f2da5d7c34bf347441d9ef4c59bd0","datavalue":{"value":{"entity-type":"item","numeric-id":1097260,"id":"Q1097260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17ac0b2bc610566f3528ff4edaa818b5506efb88","datavalue":{"value":{"amount":"+0.8365552425384521","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":"Q1311077$EDABD9B3-377B-4F39-B3AA-9D667376448B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e1dcb046ecbe546b36f74dd3f93b3da1323a6ca","datavalue":{"value":{"entity-type":"item","numeric-id":1902974,"id":"Q1902974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f4d72aef04fdfad0ee15ac65cb9e19ad3704e9e","datavalue":{"value":{"amount":"+0.827332079410553","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":"Q1311077$BD9855DC-A85F-4D48-B24F-01F5AF8CA6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34bf78987d21b7a2317b9d94c1c19ec5680de703","datavalue":{"value":{"entity-type":"item","numeric-id":3783273,"id":"Q3783273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86fb9710fc24e7ba308910c17f5faf4c6aa05b57","datavalue":{"value":{"amount":"+0.8185935616493225","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":"Q1311077$995AA033-DC41-42E7-8A4D-EB067B13BE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b48cc1febfdd0de1d35c6fb41f37769bdfbeb7","datavalue":{"value":{"entity-type":"item","numeric-id":1902977,"id":"Q1902977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7a4beadff52fcb73d0fcd442ad0b18ff8cb309c","datavalue":{"value":{"amount":"+0.8034390211105347","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":"Q1311077$8A08ADBD-9249-4EEE-AF77-A6B04BB2B9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d353193d645f492418de14fa5d803186eb43d85","datavalue":{"value":{"entity-type":"item","numeric-id":609765,"id":"Q609765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0b643943e293bafeb4b152ecf3f02c2341cec3","datavalue":{"value":{"amount":"+0.8000786304473877","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":"Q1311077$76886BCA-D03F-40E3-AE5F-E9D1CFADFC60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1311077","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1311077"}}}}}