Author:
Barrett Thomas William,Halvorson Hans
Funder
National Science Foundation Graduate Research Fellowship Program
Publisher
Springer Science and Business Media LLC
Reference47 articles.
1. Andréka, H., & Németi, I. (2014). Comparing theories: The dynamics of changing vocabulary. A case-study in relativity theory. In Johan van Benthem on logic and information dynamics. Springer.
2. Andréka, H., Madarász, J. X., & Németi, I. (2005). Mutual definability does not imply definitional equivalence, a simple example. Mathematical Logic Quarterly, 51(6), 591–597.
3. Andréka, H., Madaraśz, J. X., & Németi, I. (2008). Defining new universes in many-sorted logic. Budapest: Mathematical Institute of the Hungarian Academy of Sciences. 93.
4. Barnes, D. W., & Mack, J. M. (1975). An algebraic introduction to mathematical logic. Berlin: Springer.
5. Barrett, T. W., & Halvorson, H. (2015). Quine’s conjecture on many-sorted logic. Manuscript. http://philsci-archive.pitt.edu/11660/ .
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献