Author:
Slaney John,Walker Edward
Publisher
Springer Science and Business Media LLC
Reference8 articles.
1. Anderson, A.R., & Belnap, N.D. (1962). The pure calculus of entailment. Journal of Symbolic Logic, 27, 19–52.
2. Anderson, A.R., & Belnap, N.D. (1975). Entailment: The logic of relevance and necessity (Vol. 1). Princeton: Princeton University Press.
3. Byrd, M. (1976). Single variable formulas in S4→. Journal of Philosophical Logic, 5, 439–456.
4. Girard, J.-Y. (1987). Linear logic. Theoretical Computer Science, 50, 1–102.
5. Kowalski, T., & Slaney, J. (2008). A finite fragment of S3. Reports on Mathematical Logic, 43, 65–72.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献