Author:
Middelburg C. A.,Renardel de Lavalette G. R.
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. A. Avron. Foundations and proof theory of 3-valued logics. LFCS Report ECS-LFCS-88-48, University of Edinburgh, Department of Computer Science, 1988.
2. H. Barringer, H. Cheng, and C.B. Jones. A logic covering undefinedness in program proofs. Acta Informatica, 21:251–269, 1984.
3. M. J. Beeson. Foundations of Constructive Mathematics. Springer Verlag, 1985.
4. M.J. Beeson. Towards a computation system based on set theory. Theoretical Computer Science, 60:297–340, 1988.
5. E. Bencivenga. Free logics. In D. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic, Volume III, chapter III.6. D. Reidel Publishing Company, 1986.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献