1. Almukdad, A., & Nelson, D. (1984). Constructible falsity and inexact predicates. Journal of Symbolic Logic, 49, 231–233.
2. Avigad, J. (2011). Proof theory. To appear in S.O. Hansson & V. Hendricks (Eds.), Handbook of formal epistemology. Dordrecht: Springer.
3. Avigad, J., & Reck, E. H. (2001). Clarifying the nature of the infinite: The development of metamathematics and proof theory. Carnegie-Mellon technical report CMU-PHIL-120. Available at
http://www.andrew.cmu.edu/user/avigad/Papers/infinite.pdf
.
4. Avron, A. (1988). The semantics and proof theory of linear logic. Theoretical Computer Science, 57, 161–184.
5. Avron, A. (1996). The method of hypersequents in the proof theory of propositional non-classical logics. In W. Hodges, M. Hyland, C. Steinhorn, & J. Truss (Eds.), Logic: From foundations to applications (pp. 1–32). Oxford: Oxford Science Publications.