{"entities":{"Q1079558":{"pageid":1090310,"ns":120,"title":"Item:Q1079558","lastrevid":66260478,"modified":"2026-04-12T08:36:21Z","type":"item","id":"Q1079558","labels":{"en":{"language":"en","value":"A criterion for admissibility of rules in the modal system S4 and intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3963791"}},"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":"Q1079558$83067BC0-8519-44F3-97EF-FE365AA85FC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b90a31c566526fadd8ad08d4a4636cadabda0fa","datavalue":{"value":{"text":"A criterion for admissibility of rules in the modal system S4 and intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079558$6C370B35-0D63-4264-80E5-2CFD4E9E1CC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac49e454667ab603ab09ec06b63e4aa5a094f9b3","datavalue":{"value":"0598.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079558$7608EEBA-A79A-45B3-84DA-6FF18380FAA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"266ce5ab9a3959c9c6b9722eeaace9971c96986c","datavalue":{"value":"10.1007/BF01982031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079558$61CD0050-9042-4A5D-9B4D-15F05703264F","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":"Q1079558$52FB9430-8376-463C-BAC8-202F0E0559FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1079558$8D14166C-A35B-4647-8C51-CBCE486C0FD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e83c9b71692b2825f75be9b07a19ecdc641f4ee6","datavalue":{"value":"https://eudml.org/doc/187289","type":"string"},"datatype":"url"},"type":"statement","id":"Q1079558$D9C2D9FA-5F05-4C4D-A266-7FC785A11B88","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"18f838ab18fcf9b198c951d6281400aac6eca164","datavalue":{"value":"This important paper contains a positive solution of the Kuznetsov- Friedman problem on decidability of the set of rules admissible in intuitionistic propositional logic Int. It is known (Harrop 1960, Mints 1968) that Int is structurally incomplete, i.e. there are admissible but inderivable rules. Inference rules are defined as pairs of formulas with propositional parameters \\(A(x_ 1,...,x_ n)/B(x_ 1,...,x_ n)\\); such a rule is admissible iff Int\\(\\vdash A(C_ 1,...,C_ n)\\) implies Int\\(\\vdash B(C_ 1,...,C_ n)\\) for all formulas \\(C_ 1,...,C_ n\\). The rule is derivable iff Int\\(\\vdash A(x_ 1,...,x_ n)\\to B(x_ 1,...,x_ n).\\)    The positive solution of this problem by the author was preceded by his investigation of the same problem for other intermediate and modal logics. Call a logic A-decidable if the set of its admissible rules is decidable. The following logics were proved by the author to be A- decidable: S5 (1979), tabular and pre-tabular logics (1981), extensions of S4.3 (1982), logics of finite slices (1984), S4 and Int (the present paper), Grz (1984, published in 1986).    It follows from the results of the paper that the universal first order theories of Lindenbaum algebras for S4 and Int (i.e. of \\(F_{\\omega}(S4)\\) and \\(F_{\\omega}(Int))\\) are decidable (while their first-order theories are not - see the author's paper in Mat. Zametki 37, No.6, 797-802 (1985; Zbl 0593.03041).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079558$93CBFF2B-891E-4824-98E1-737B7C269740","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079558$3D6980AF-2BBE-4167-91CB-7E638BE50D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079558$A25E69F8-CCA8-47B4-AAEE-AB379620F167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079558$84E8AD95-9843-40AB-9775-394165544F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079558$89BB77A3-4BFD-41BE-9F5D-D0DAC97C2308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079558$47D29C72-872A-4B7F-8DE6-A93A1A1280A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079558$8EFF575C-FFC4-41A8-821F-6607827CC58C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"815b3936afa8ddc43c49c4204040a5e08d4bf8ea","datavalue":{"value":"3963791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079558$3512347D-AA66-4EBE-A3C4-0B7DB03F206F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079558$B6B393FF-92A2-46F5-84EC-AE920A0AF412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079558$A9AD0FFD-C716-4F70-9E36-CE09B803A40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079558$1E15CFFB-992B-44D1-A8BE-913EC1F2723B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079558$1F0DE20B-BBA3-44CB-ABEE-05D23B286268","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":"Q1079558$E6308A1E-3CAD-4B3F-8020-D5F2D5345034","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"304ee10cc1e351bf58a22d6b624ff6fc619dc833","datavalue":{"value":{"entity-type":"item","numeric-id":5607207,"id":"Q5607207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079558$ADDE36B7-7F1A-4A3C-99FF-D7BA6926AA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ed7790b73ca0627f9aea6069a6e8916b8f045a","datavalue":{"value":{"entity-type":"item","numeric-id":3950540,"id":"Q3950540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079558$74A02B0C-D777-4F31-B5FC-8276D9E0F3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b11bde3a81bed263542b7bc4096eb95242c70c","datavalue":{"value":{"entity-type":"item","numeric-id":1064315,"id":"Q1064315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079558$33546F60-5376-4475-94F8-BAC035B0BEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1f2b335da52ed4f882a1e68c165250063ca1bb","datavalue":{"value":{"entity-type":"item","numeric-id":4166741,"id":"Q4166741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079558$94DDA855-E639-4097-9960-35B6ECF92612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93dac38f16d261644fc5f7dd64cd00e25f1e7f54","datavalue":{"value":{"entity-type":"item","numeric-id":4198474,"id":"Q4198474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079558$890C68FD-E701-405E-B63A-4192745759D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079558$B41DC668-88C7-4E11-A066-1D81FF289120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079558$9371F539-758A-4422-9D29-A77AD9EC32E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086aee6eb1193c41f82d06f3f36ff262aca90e09","datavalue":{"value":{"entity-type":"item","numeric-id":1159660,"id":"Q1159660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079558$C28F847E-E8DF-43CC-805D-6315DFCE5983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079558$D5D89E0E-2D76-493B-9894-1853658671A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09ad5682d40b9ea8e3717a76263c0334656fcbae","datavalue":{"value":"W2046526482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079558$B59FAB56-CAA6-4116-8348-D08B194F0259","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ebc03e482d5f1b98817c56429a3448862d84bb","datavalue":{"value":{"entity-type":"item","numeric-id":3727965,"id":"Q3727965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86db2ad1e8c731f269253a2d378a79d9227e6d58","datavalue":{"value":{"amount":"+0.9147709608078004","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":"Q1079558$0CCAC828-0227-4E3B-A072-F8E0698C3F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f594a1f095d0dd5bab0109287228e6a716b42225","datavalue":{"value":{"entity-type":"item","numeric-id":3352998,"id":"Q3352998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3bca0a3f531361ad671ff90a2993ae31776e64b","datavalue":{"value":{"amount":"+0.8832917213439941","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":"Q1079558$D37D3671-70B8-46B7-B146-6D98B4B4F0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8f07adb79d287443d839a696210660b41f5b4f","datavalue":{"value":{"entity-type":"item","numeric-id":3032232,"id":"Q3032232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e77b1268a59cefd92416078da85d3dd7354f8ebc","datavalue":{"value":{"amount":"+0.8729709982872009","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":"Q1079558$169D1C83-13DE-4ADF-8B7B-0D68961D6BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4802d5e6ee3275da5085db6abd241ef72488ace","datavalue":{"value":{"entity-type":"item","numeric-id":1317616,"id":"Q1317616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b7b536f360c1d46a2f86d2941a82f93e63d8a5","datavalue":{"value":{"amount":"+0.8714960217475891","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":"Q1079558$2BBCE5DC-F439-4BCE-8C45-C88E86A12A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c938a79167e2d96812f708bfb7b073d565d4a3","datavalue":{"value":{"entity-type":"item","numeric-id":1079559,"id":"Q1079559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b7b536f360c1d46a2f86d2941a82f93e63d8a5","datavalue":{"value":{"amount":"+0.8714960217475891","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":"Q1079558$904689A5-BB8F-485C-B71F-726C01579BDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A criterion for admissibility of rules in the modal system S4 and intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_criterion_for_admissibility_of_rules_in_the_modal_system_S4_and_intuitionistic_logic"}}}}}