Learn More
The first attempt at a systematic approach to axiomatic theories of truth was undertaken by Friedman and Sheard [11]. There twelve principles consisting of axioms, axiom schemata and rules of inference, each embodying a reasonable property of truth were isolated for study. Working with a base theory of truth conservative over PA, Friedman and Sheard raised(More)
Recently a new connection between proof theory and formal language theory was introduced. It was shown that the operation of cut elimination for proofs in first-order predicate logic involving Π 1-cuts corresponds to computing the language of a particular class of regular tree grammars. The present paper expands this connection to the level of Π 2-cuts.(More)
This paper explores the interface between principles of self-applicable truth and classical logic. To this end, the proof-theoretic strength of a number of axiomatic theories of truth over intuitionistic logic is determined. The theories considered correspond to the maximal consistent collections of fifteen truth-theoretic principles as isolated in Leigh(More)
Richard Heck in [2] and Volker Halbach in [1] have recently manifested much interest in an unconventional way of constructing (axiomatic) theories of truth, in which syntactic and logical notions concerning the object theory O are formalised in a disjoint theory of syntax S. In the talk, I shall first argue for the proposed alternative. I will then present(More)
  • 1