訂正日: 2006/08/29訂正理由: -訂正箇所: 引用文献情報訂正内容: Right : [1] J. B. Rosser and A. R. Turquette, Many-valued logics, Studies in logic and the foundations of mathematics, Amsterdam, 1952. [2] Z. P. Dienes, On an implication function in many-valued systems of logic, J. Symbolic Logic, 14 (1949), 95-97. [3] Alonzo Church, Non-normal truth-tables for the propositional calculus, Boletin de la Sociedad Matematica Mexicana, 10 (1953), 41-52. [4] Lukasiewicz and Tarski, Untersuchungen über den Aussagenkalkül, Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III, 23 (1930), 1-21. [5] S. C. Kleene, On notation for ordinal numbers, J. Symbolic Logic, 3 (1938), 150-155. [6] S. Jaskowski, Recherches sur le système de la logique intuitioniste, Actualité scientifiques et industrielles 393, Paris, 1936, 58-61. [7] G. Gentzen, Untersuchungen über das logische Schliessen, Math. Zeit., 39 (1934-5), 176-210, 405-431. [8] T. Umezawa, Über die Zwischensysteme der Aussagenlogik, Nagoya Math. J., 9 (1955), 181-189. [9] T. Umezawa, On intermediate propositional logics, A forthcoming issue of J. Symbolic Logic.