Now showing items 1-7 of 7

  • Analyticity, balance and non-admissibility of Cut in Stoic Logic 

    Bobzien, Susanne; Dyckhoff, Roy (2018-04-20) - Journal article
    This paper shows that, for the Hertz-Gentzen Systems of 1933 (without Thinning), extended by a classical rule T1 (from the Stoics) and using certain axioms (also from the Stoics), all derivations are analytic: every cut ...
  • Normalisation & equivalence in proof theory & type theory 

    Lengrand, Stéphane J. E. (University of St Andrews, 2006-12-08) - Thesis
    At the heart of the connections between Proof Theory and Type Theory, the Curry-Howard correspondence provides proof-terms with computational features and equational theories, i.e. notions of normalisation and equivalence. ...
  • On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics 

    Rothenberg, Robert (University of St Andrews, 2010-06-04) - Thesis
    In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric ...
  • Proof search issues in some non-classical logics 

    Howe, Jacob M. (University of St Andrews, 1999) - Thesis
    This thesis develops techniques and ideas on proof search. Proof search is used with one of two meanings. Proof search can be thought of either as the search for a yes/no answer to a query (theorem proving), or as the ...
  • Proof, rigour and informality : a virtue account of mathematical knowledge 

    Tanswell, Fenner Stanley (University of St Andrews, 2017-06-22) - Thesis
    This thesis is about the nature of proofs in mathematics as it is practiced, contrasting the informal proofs found in practice with formal proofs in formal systems. In the first chapter I present a new argument against the ...
  • The structure of logical consequence : proof-theoretic conceptions 

    Hjortland, Ole T. (University of St Andrews, 2010-06-25) - Thesis
    The model-theoretic analysis of the concept of logical consequence has come under heavy criticism in the last couple of decades. The present work looks at an alternative approach to logical consequence where the notion of ...
  • Tools and techniques for formalising structural proof theory 

    Chapman, Peter (University of St Andrews, 2010-06) - Thesis
    Whilst results from Structural Proof Theory can be couched in many formalisms, it is the sequent calculus which is the most amenable of the formalisms to metamathematical treatment. Constructive syntactic proofs are ...