{"entities":{"Q920079":{"pageid":921927,"ns":120,"title":"Item:Q920079","lastrevid":65388429,"modified":"2026-04-12T02:14:39Z","type":"item","id":"Q920079","labels":{"en":{"language":"en","value":"Syntax and semantics of superintuitionistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4162858"}},"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":"Q920079$6AAC1209-2E69-47C3-B4AF-3F5F894B4570","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80fc3bc8bd6b173dc8bb0f9ded3f4f8430049b7a","datavalue":{"value":{"text":"Syntax and semantics of superintuitionistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920079$81796D52-B1DB-4B49-8331-FB8B8924D7F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ad5138e6930e6fcd8f8246d616f6b296c971e7e","datavalue":{"value":"0708.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920079$B3E2D0B9-1469-42D2-A609-FD6134BA4DF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6376269dbe5270771297ba03cada45237013a20","datavalue":{"value":"10.1007/BF01982017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920079$45D55D79-CA39-401A-9A68-1C9D8380F45E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920079$EE8AC2A2-92C4-4C31-9FD0-94C4244F788E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q920079$C004F302-19E4-4B6D-BCE0-F70BA379C517","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"39307c346a463f32eaba09a69ed54079964f69a8","datavalue":{"value":"The aim of this paper is to study general properties of superintuitionistic logics basing on the introduction of a special kind of canonical formulas. It is shown that any superintuitionistic logic (s.l.) can be axiomatized by means of canonical formulas. At the same time, it is proved that any set of formulas with the above mentioned property can be decreased, that is, the set of all s.l. has no axiomatical basis. By means of the introduced tools of canonical formulas, the author gives a solution of the Dummet-Lemmon hypothesis about the largest modal counterpart. It is proved that the finite model property is preserved under going to the smallest counterpart. New examples of modal counterparts of \\({\\mathcal I}nt\\) without finite model property are given. Properties of s.l. with axioms in restricted languages are considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q920079$53C6EBD9-5D12-45C8-81BF-F25D4BBE224B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920079$B42D3EA6-55ED-4376-8B5E-9C9828C90E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920079$5BBDBC98-86EA-4444-A805-F5C9CB5F1EAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df6051e49030cabdc9778c0a74534478276a393e","datavalue":{"value":"4162858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920079$CA7BA43C-5CC0-464F-B49B-38DE2EFD1943","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38cf68a5879dc0699cc660450d7bce2437ecb0ae","datavalue":{"value":"superintuitionistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q920079$B206216E-4AE7-4160-B210-46046989E66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1be9c7f9061e71374cdf3fcdde9f2be907b9ee7","datavalue":{"value":"canonical formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q920079$3FA6C3DF-5B70-4521-A3DD-8A92E13A25AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"389b9a2ff3893279a55c6f6e7e9d8b35744a46f3","datavalue":{"value":"Dummet-Lemmon hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q920079$7BF0E25C-2AA2-4C9F-AD02-89E9356D9E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9289ae2c896875f2c4e2f22dde394a0275b4c59d","datavalue":{"value":"modal counterpart","type":"string"},"datatype":"string"},"type":"statement","id":"Q920079$0C07DF61-DD12-440B-9F46-EBFE991D601E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q920079$EDE80840-CA73-4AEA-995A-B798F5DA6C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b97ac32bc9cd3dafebe8e1f2d408ffac8aac069","datavalue":{"value":"restricted languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q920079$5B0B2D25-4F1F-4DE6-8915-B2B80FFEC268","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":"Q920079$31059CE6-3A12-47AA-AC5E-1BE312B1D5F0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b4569bc40e6a72bfae622e1549e11d4577f6e6fd","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920079$95F27070-6F0C-4438-B850-6AE2CD238AB5","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":"Q920079$249D8188-EFE9-4ECD-9D54-A3D9C386A4ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4ee6aac608fa2149f1c5b993a8f29a233f8243","datavalue":{"value":{"entity-type":"item","numeric-id":4204132,"id":"Q4204132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920079$B954A5B9-243C-40A5-9129-E36E55A4DA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03c6775dfe1db95e36e72c52d3b4b186d2447d0","datavalue":{"value":{"entity-type":"item","numeric-id":3671129,"id":"Q3671129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920079$E0953CFC-6FFE-4C6F-8AE9-EB9DB2D7D54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1689434b8a8715c4866359ea8026b729021b6d","datavalue":{"value":{"entity-type":"item","numeric-id":5650663,"id":"Q5650663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920079$9BDF04C5-FCBE-4912-9E4A-F4F7D5DF644C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e77b2f30d1034d911c04cb89df0eeada2776e59","datavalue":{"value":{"entity-type":"item","numeric-id":4192037,"id":"Q4192037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920079$015FF4CB-BAD1-4DDE-BDDC-AE57F8EE80E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e63886085ceb41f0201583e8895135f7b6d31fdc","datavalue":{"value":{"entity-type":"item","numeric-id":3902989,"id":"Q3902989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920079$E2B21DFD-0FC7-4631-A406-E7ED281C2C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920079$A15BD8FD-BE35-445F-BD7B-0BE6F83E827B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec842f244293bbf8375f7e382cf748a52233713","datavalue":{"value":{"entity-type":"item","numeric-id":5567827,"id":"Q5567827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920079$0DE80F42-BB32-4AB1-BEFC-5EDDFE23D5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e077e7607e20bb5a3fdafc25ee20d2f189f763a0","datavalue":{"value":{"entity-type":"item","numeric-id":4773678,"id":"Q4773678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920079$84D26A9E-641F-4B09-908E-CEF614A09AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61348cbc7897006cbf43596adc1b3a59cad5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920079$851DB12D-44F9-460C-B70B-05DADB38E647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1583acb2b9353fcb03f8b0420b193966affeb10c","datavalue":{"value":{"entity-type":"item","numeric-id":5582306,"id":"Q5582306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920079$2244C653-B56C-4B1A-99ED-E60C26F289FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9c0420aef247f44d1eec39528b10ee9fac6006","datavalue":{"value":{"entity-type":"item","numeric-id":5565105,"id":"Q5565105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920079$ADF0EC55-8195-4A18-B714-5A4BB9DD3C95","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":"Q920079$AE2034FA-A4B1-480B-B8F3-B94D8E06F807","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b925ab95532ef2b9ff95d7f4745ed096563214a4","datavalue":{"value":"https://doi.org/10.1007/bf01982017","type":"string"},"datatype":"url"},"type":"statement","id":"Q920079$47F3C01F-78CA-4B10-BE98-BF0992BD21FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efb059ebb385e5156a8a60e9876145a995eafd8c","datavalue":{"value":"W2038444809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920079$B436479C-5C6F-4594-9097-941948BF44F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7f600ba45b83efea3a1b485c5f2f9c258856674","datavalue":{"value":{"entity-type":"item","numeric-id":1357375,"id":"Q1357375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b042bf4197fb89ff0e491a6ea3b1454fd150ffb4","datavalue":{"value":{"amount":"+0.7898414731025696","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":"Q920079$7E954C1A-0A69-44C1-A278-7D6AB0D065A5","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":"76eeecc5b0b007404a2d85ef464136546260b7f5","datavalue":{"value":{"amount":"+0.7813000082969666","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":"Q920079$ADC400AD-B9D6-4104-B11F-53679B0A5B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f51006f64124449e649ce40acb20e911a58036","datavalue":{"value":{"entity-type":"item","numeric-id":3329444,"id":"Q3329444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c119386c518aa547b4d1040edfb057c388d773","datavalue":{"value":{"amount":"+0.777446448802948","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":"Q920079$FDA829A0-B7D0-495E-9179-6750E711D684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e889ce7d2824bca47601b9178450c5dd4562391","datavalue":{"value":{"entity-type":"item","numeric-id":4204133,"id":"Q4204133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf38c5c404f5151421e364b4ac83c89ab484aa8","datavalue":{"value":{"amount":"+0.7698978781700134","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":"Q920079$88F8388F-BF6E-46E9-9F9B-E5010668B420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec98814eee2915e37094045b3f72b9a62bfd6510","datavalue":{"value":{"entity-type":"item","numeric-id":1876415,"id":"Q1876415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a324b246efb8090bd3957cd139b7d0dca52ec480","datavalue":{"value":{"amount":"+0.7691931128501892","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":"Q920079$9B52CB54-6DB6-4EB5-8C0F-69AB194EFA35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntax and semantics of superintuitionistic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syntax_and_semantics_of_superintuitionistic_logics"}}}}}