The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s (Q1814180)

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ödel'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.