The simple substitution property of the intermediate propositional logics on finite slices (Q1208115)

The simple substitution property (SSP) was introduced by the reviewer [Stud. Logica 45, 3-8 (1986; Zbl 0615.03009)], but he did not give it a name. The author of the paper, a student of the reviewer, provided the name SSP by an advice of the reviewer. If a logic has SSP, then we can have a systematic and easy method for proving or disproving a formula in it by an axiomatic way. The paper proves for logics on finite slices that they have SSP if and only if they have finite characteristic models.