Author:
OHNISHI Masao,MATSUMOTO Kazuo
Publisher
The Japan Association for Philosophy of Science
Reference6 articles.
1. [1] W. Ackermann, Begründung einer strengen Implikation, J. Symb. Logic, 21 (1956), 113-128.
2. [2] A. R. Anderson and N. D. Belnap, Jr., A modification of Ackermann's “rigorous im-plication”, Twenty-Third Annual Meeting of the Association for Symbolic Logic, J. Symb. Logic, 23, (1958), 457.
3. [3] N. D. Belnap, Jr., Pure rigorous implication as a “Sequenzenkalkül” Summer Meet-ing of the Association for Symbolic Logic, J. Symb. Logic, 24 (1957), 282-283.
4. [4] R. Feys and J. Ladrière, Recherches sur la déduction logique, Paris, 1955.
5. [5] G. Gentzen, Untersuchungen über das logische Schliessen, Math. Z., 39 (1934), 176-210, 405-431.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Logic and Majority Voting;Journal of Philosophical Logic;2021-09-01
2. R-Mingle is Nice, and so is Arnon Avron;Outstanding Contributions to Logic;2021
3. Analytic Tableaux for Non-deterministic Semantics;Lecture Notes in Computer Science;2021
4. Concept Finding Proofs;Journal of Advanced Computational Intelligence and Intelligent Informatics;2011-09-20
5. A Logic for Conceptual Hierarchies;Advances in Artificial Intelligence – SBIA 2010;2010