caa a22 4500 465779336 CHVBK 20180323111951.0 cr unu---uuuuu 170327e19901201xx s 000 0 eng 10.1007/BF00370159 doi (NATIONALLICENCE)springer-10.1007/BF00370159 Sasaki Katsumi Department of Information Sciences, Science University of Tokyo, Noda City, Chiba 278, Japan aut The simple substitution property of Gödel's intermediate propositional logics S n 's [Elektronische Daten] [Katsumi Sasaki] The simple substitution property provides a systematic and easy method for proving a theorem from the additional axioms of intermediate prepositional logics. There have been known only four intermediate logics that have the additional axioms with the property. In this paper, we reformulate the many valued logics S' n defined in Gödel [3] and prove the simple substitution property for them. In our former paper [9], we proved that the sets of axioms composed of one prepositional variable do not have the property except two of them. Here we provide another proof for this theorem. Polish Academy of Sciences, 1990 Studia Logica Kluwer Academic Publishers 49/4(1990-12-01), 471-481 0039-3215 49:4<471 1990 49 11225 https://doi.org/10.1007/BF00370159 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF00370159 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Sasaki Katsumi Department of Information Sciences, Science University of Tokyo, Noda City, Chiba 278, Japan aut NATIONALLICENCE 773 0- Studia Logica Kluwer Academic Publishers 49/4(1990-12-01), 471-481 0039-3215 49:4<471 1990 49 11225 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer