Author:
Mineshima Koji,Okada Mitsuhiro,Takemura Ryo
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference20 articles.
1. Corcoran, J., Aristotle’s natural deduction system, in J. Corcoran (ed.), Ancient Logic and its Modern Interpretations, D. Reidel, 1974, pp. 85–131.
2. Francez N., Dyckhoff R., Ben-Avi G.: Proof-theoretic semantics for subsentential phrases. Studia Logica 94, 381–401 (2010)
3. Gentzen, G., Untersuchungen über das logische Schließen, Mathematische Zeitschrift 39: 176–210, 405–431, 1935. (M. Szabo, ed. and trans, Investigations into logical deduction, in The Collected Papers of Gerhard Gentzen, North Holland, 1969.)
4. Łukasiewicz J.: Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic, Second edition. Clarendon Press, Oxford (1957)
5. MacCartney, B., and C. Manning, Modeling semantic containment and exclusion in natural language inference, The 22nd International Conference on Computational Linguistics (Coling-08), 2008, pp. 140–156.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献