Publisher
Springer Science and Business Media LLC
Reference39 articles.
1. Barringer, H., J. H. Cheng, and C. B. Jones: 1984, ?A Logic Covering Undefinedness in Program Proofs?,Acta Informatica 21, 251?69.
2. Beeson, M.: 1981, ?Formalizing Constructive Mathematics: Why and How??, in F. Richman (ed.),Constructive Mathematics: Proceedings, New Mexico, 1980, Vol. 873 ofLecture Notes in Mathematics, Springer-Verlag, Berlin, pp. 146?90.
3. Beeson, M. J.: 1985,Foundations of Constructive Mathematics, Springer-Verlag, Berlin.
4. Burge, T.: 1971,Truth and Some Referential Devices, Ph.D. thesis, Princeton University.
5. Burge, T.: 1991, ?Truth and Singular Terms?, in K. Lambert (ed.),Philosophical Applications of Free Logic, Oxford University Press, Oxford, pp. 189?204.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Free Logics;The Blackwell Guide to Philosophical Logic;2017-11-15
2. Preventing arithmetic overflows in Alloy;Science of Computer Programming;2014-11
3. Preventing Arithmetic Overflows in Alloy;Abstract State Machines, Alloy, B, VDM, and Z;2012
4. Formalizing Undefinedness Arising in Calculus;Automated Reasoning;2004
5. The lazy logic of partial terms;Journal of Symbolic Logic;2002-09