{"entities":{"Q1814180":{"pageid":1824922,"ns":120,"title":"Item:Q1814180","lastrevid":69028998,"modified":"2026-04-13T03:50:08Z","type":"item","id":"Q1814180","labels":{"en":{"language":"en","value":"The simple substitution property of G\u00f6del's intermediate propositional logics \\(S_ n\\)'s"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 10263"}},"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":"Q1814180$66EDC50E-47EF-4A8B-8E53-3C2AB12266BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a0cd792a2a0569184f639a7127196560f8aeabd","datavalue":{"value":{"text":"The simple substitution property of G\u00f6del's intermediate propositional logics \\(S_ n\\)'s","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1814180$938E4D62-F0BE-482D-A301-6E8B6CC741D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cd35cf2826221b63d46dca83949b1e1757b35d7","datavalue":{"value":"0745.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814180$81DD70E2-C6C2-465D-B629-19024E265C8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ea0e629aa09113559aef8311b0c8e8e0492ac21","datavalue":{"value":"10.1007/BF00370159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814180$89009502-CBF1-40B1-BAB3-B749FFB6E8CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d676b080028b49a3114d69f7352481b869673136","datavalue":{"value":{"entity-type":"item","numeric-id":1208114,"id":"Q1208114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814180$2B2066BC-3239-4396-A4ED-DF3513AEAFDD","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":"Q1814180$B0E86BB8-2B70-4CB9-81B8-D11DCD3F5B25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1814180$915DE2AF-29A0-400A-9E26-D14C23E94E84","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d0e68048a9e139f0f52ac26b615e1394842f86ff","datavalue":{"value":"The intermediate logics which are dealt with here are supposed to be axiomatized in the form \\(\\hbox{L} \\hbox{J} + \\hbox{A}\\), where \\(\\hbox{L} \\hbox{J}\\) is intuitionistic logic and A is an additional axiom. The simple substitution property is a property concerning the axiom that a target formula is a theorem if and only if it is provable in \\(\\hbox{L} \\hbox{J}\\) from the formulas obtained from the axiom by substituting its variables by those variables used in the target formula. In this paper G\u00f6del's \\(n\\)-valued logics S\\(_ n\\) are axiomatized as to have this property. It is also proved here that axioms with only one variable do not have this property except two of them.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814180$E7AB6450-6501-49E8-BD3F-8738BFADB025","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814180$9962B74E-69C7-4E64-93FC-715465ACD01A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f26980dc8b89a7eb719e56875f94abe15721a55","datavalue":{"value":"10263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814180$24BD3415-C1B2-487E-A6B0-E794CFCD53E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814180$790215BD-17CA-4836-962F-29FF806D7524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814180$E118CF25-C3F1-49F1-8D0B-812D825831C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"679cf2a480022e955834e3b71187e2a6092211a7","datavalue":{"value":"simple substitution property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814180$122434BE-9091-4BE0-92E3-0C80A49548FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60d0a2eb888731095a8e4fb59ab67e8cbeede4b5","datavalue":{"value":"G\u00f6del's \\(n\\)-valued logics S\\(_ n\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1814180$E59B74FC-309B-4E08-BC17-0C30190911C4","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":"Q1814180$408EFC60-8FAE-4630-84C2-00F8A2D7D193","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":"Q1814180$530F9C16-72AD-47A3-A765-C128826F66A6","rank":"normal"}],"P223":[{"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":"Q1814180$CF4B8AFE-AF1B-42BB-A54A-7FA6EAFCB2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814180$6F538DE3-3708-4B50-8E1F-1131A82CCBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d3e515340606ae45d58314f0c72b73f8af74a7d","datavalue":{"value":{"entity-type":"item","numeric-id":5537356,"id":"Q5537356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814180$C94407A3-73D2-4A25-BEBE-08E70849383A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f260e96a3fb34f7e080b8746000bd4777946861","datavalue":{"value":{"entity-type":"item","numeric-id":1820766,"id":"Q1820766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814180$25E7BA03-DAB1-47D5-8571-B2187C514F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430aeea16287474b9301e5bb7d6f8fdfac8a8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814180$92E8D543-3058-41FC-AE78-B626190AFD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47577d0ca63c3c2aa0871ec82c200be4ccc0279f","datavalue":{"value":{"entity-type":"item","numeric-id":3474634,"id":"Q3474634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814180$A68FBD08-2330-42D6-9883-F58AE590A28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3e6eda0447a4e23e57c8338c30e70815365efa","datavalue":{"value":{"entity-type":"item","numeric-id":5720187,"id":"Q5720187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1814180$6FCB36EB-41C1-45A1-B290-0C95F1171F92","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bda5436008b427e58ccb3262320d73589889afa6","datavalue":{"value":"https://doi.org/10.1007/bf00370159","type":"string"},"datatype":"url"},"type":"statement","id":"Q1814180$06784F04-6C83-4B8F-84BC-1688A25400EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4db88396bc9d52681a2da9c2c76405d596dc3cc1","datavalue":{"value":"W2065608775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1814180$6C92FD18-5C58-4520-A356-3F4EE64DA18D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bc0d37caa81caac51790599bc85f9ea85c4a77","datavalue":{"value":{"entity-type":"item","numeric-id":3474634,"id":"Q3474634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0997f7d097148fe7fb4f9bb668f3a03f384760b0","datavalue":{"value":{"amount":"+0.9255011081695556","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":"Q1814180$B647FE3A-798F-47F8-B541-7B2794375381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ecbb3fd523f3c1e592499baaa191f4baf518faf","datavalue":{"value":{"entity-type":"item","numeric-id":4326748,"id":"Q4326748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"084b826c57ce45951ba1d985593169bd795a8229","datavalue":{"value":{"amount":"+0.8246005773544312","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":"Q1814180$A42B9106-AC64-450C-9EB0-A58BAFB573C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8664e69eda17dda2d1b16df973b9dd62a31d661","datavalue":{"value":{"entity-type":"item","numeric-id":1208115,"id":"Q1208115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"210fee3e27b6bf6162f5136eb8a58409040ae21f","datavalue":{"value":{"amount":"+0.8112847208976746","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":"Q1814180$5C9CD1C9-288A-4BD6-9386-9A9E699707ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The simple substitution property of G\u00f6del's intermediate propositional logics \\(S n\\)'s","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_simple_substitution_property_of_G%C3%B6del%27s_intermediate_propositional_logics_%5C(S_n%5C)%27s"}}}}}