This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
A. Avron , Gentzen-type systems, resolution and tableaux. Journal of Automated Reasoning, vol. 10 (1993), pp. 265–281.
M. Barr , Toposes without points. Journal of Pure and Applied Algebra, vol. 5 (1974), pp. 265–280.
M. Bezem and T. Hendricks , On the mechanization of the proof of Hessenberg’s theorem in coherent logic. Journal of Automated Reasoning, vol. 40 (2008), pp. 61–85.
C. Castellini and A. Smaill , A systematic presentation of quantified modal logics. Logic Journal of the IGPL, vol. 10 (2002), pp. 571–599.
R. Dyckhoff and S. Negri , Proof analysis in intermediate logics. Archive for Mathematical Logic, vol. 51 (2012), pp. 71–92.
J. Fisher and M. Bezem , Query Completeness of Skolem Machine Computations, Machines, Computations and Universality, 2007 Proceedings, LNCS 4664, Springer, 2007, pp. 182–192.
P. Freyd , Aspects of topoi. Bulletin of the Australian Mathematical Society, vol. 7 (1972), pp. 1–76.
J. Harrison , Handbook of Practical Logic and Automated Reasoning, Cambridge University Press, New York, NY, 2009.
W. Hodges , Model Theory, Cambridge University Press, Cambridge, 1993.
P. Johnstone , Stone Spaces, Cambridge University Press, Cambridge, 1982.
S. Mac Lane and I. Moerdijk , Sheaves in Geometry and Logic: A First Introduction to Topos Theory, Springer, New York, 1992.
P. Maffezioli , A. Naibo , and S. Negri , The Church-Fitch knowability paradox in the light of structural proof theory. Synthese, vol. 190 (2013), pp. 2677–2716.
M. Makkai and G. E. Reyes , First-Order Categorical Logic, Lecture Notes in Mathematics, vol. 611, Springer, Berlin, 1977.
J. Minker , Overview of disjunctive logic programming. Annals of Mathematics and Artificial Intelligence, vol. 12 (1994), pp. 1–24.
S. Negri , Contraction-free sequent calculi for geometric theories, with an application to Barr’s theorem. Archive for Mathematical Logic, vol. 42 (2003), pp. 389–401.
S. Negri , Proof analysis in modal logic. Journal of Philosophical Logic, vol. 34 (2005), pp. 507–544.
S. Negri , Proofs and countermodels in non-classical logics. Logica Universalis, vol. 8 (2014), pp. 25–60.
S. Negri and J. von Plato , Structural Proof Theory, Cambridge University Press, Cambridge, 2001.
S. Negri and J. von Plato , Proof Analysis, Cambridge University Press, Cambridge, 2011.
E. Palmgren , An intuitionistic axiomatisation of real closed fields. Mathematical Logic Quarterly, vol. 48 (2002), pp. 297–299.
J von Plato , In the shadows of the Löwenheim-Skolem theorem: Early combinatorial analyses of mathematical proofs. Bulletin of Symbolic Logic, vol. 13 (2005), pp. 189–225.