Funder
Arts and Humanities Research Council UK
Reference18 articles.
1. Saturated Intuitionistic Theories;Aczel;Stud. Logic Found. Math.,1968
2. A note on the theory of positive induction;Afshari;Arch. Math. Logic,2010
3. Admissible Sets and Structures: An Approach to Definability Theory;Barwise,1975
4. Provable wellorderings of formal theories for transfinitely iterated inductive definitions;Buchholz;J. Symbolic Logic,1978
5. Notes on formal theories of truth;Cantini;Z. Math. Log. Grundl. Math.,1989
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION;The Journal of Symbolic Logic;2015-07-22
2. Introduction;Unifying the Philosophy of Truth;2015