Author:
Dunn J. Michael,Restall Greg
Reference198 articles.
1. Wilhelm Ackermann. Begründung einer strengen implikation. Journal of Symbolic Logic, 21: 113–128, 1956.
2. Seiki Akama. Relevant counterfactuals and paraconsistency. In Proceedings of the First World Conference on Paraconsistency, Gent, Belgium., 1997.
3. Gerard Allwein and J. Michael Dunn. A kripke semantics for linear logic. Journal of Symbolic Logic, 58 (2): 514–545, 1993.
4. A. R. Anderson and N. D. Belnap Jr. Modalities in Ackermann’s ‘rigorous implication’. Journal of Symbolic Logic, 24: 107–111, 1959.
5. A. R. Anderson and N. D. Belnap Jr. A simple proof of Gödel’s completeness theorem. Journal of Symbolic Logic,24:320–321, 1959. (Abstract.).
Cited by
104 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献