Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference200 articles.
1. Adamowicz Z., Bigorajska T.: Existentially closed structures and Gödel’s second incompleteness theorem. J. Symb. Log. 66, 349–356 (2001)
2. Anderson, A.R., Belnap, N.: Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton University Press, Princeton (1975)
3. Anderson, A.R., Belnap, N., Dunn, M.J.: Entailment: The Logic of Relevance and Necessity, vol. 2. Princeton University Press, Princeton (1992)
4. Artemov, S.N., Beklemishev, L.D.: Provability logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 13, pp. 189–360. Springer, Dordrecht (2005)
5. Awodey S.: An answer to Hellman’s question: does category theory provide a framework for mathematical structuralism. Philosophia Mathematica 12, 54–64 (2004)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献