Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference10 articles.
1. M. Dummett, A propositional calculus with denumerable matrix, Journal of Symbolic Logic 24 (1959), pp. 97?106.
2. G. Gentzen, Untersuchungen über das logische Schliessen, Mathematische Zeitschrift 39 (1934?5), pp. 176?210, 405?431.
3. K. Gödel, Zum intuitionistischen Aussagenkalkül, Akademie der Wissenschaften in Wien, Mathematisch-naturwissenschaftliche Klasse, Anzeiger 69 (1932), pp. 65?66.
4. T. Hosoi, The axiomatization of the intermediate propositional systems S n of Gödel, Journal of the Faculty of Science, University of Tokyo 13 (1966), pp. 183?187.
5. T. Hosoi, Pseudo two-valued evaluation method for intermediate logics, Studia Logica 45 (1986), pp. 3?8.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献