Publisher
Springer Science and Business Media LLC
Reference56 articles.
1. Ackermann, W. (1950). Widerspruchsfreier Aufbau der Logik I: Typenfreies System ohne tertium non datur. Journal of Symbolic Logic, 15, 33–57.
2. Ajtai, M., & Gurevich, Y. (1987). Monotone versus positive. Journal of the Association for Computing Machinery, 34, 1004–1015.
3. Angell, R. B. (1960). The sentential calculus using rule of inference R e . Journal of Symbolic Logic, 25, 143.
4. Angell, R. B. (1960). Note on a less restricted type of rule of inference. Mind, 69, 253–255.
5. Bigelow, J., & Pargetter, R. (1990). Science and necessity. Cambridge: Cambridge University Press. Paperback edition 2008.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献