T-equivalences for positive sentences

Review of Symbolic Logic 4 (2):319-325 (2011)
  Copy   BIBTEX


Answering a question formulated by Halbach (2009), I show that a disquotational truth theory, which takes as axioms all positive substitutions of the sentential T-schema, together with all instances of induction in the language with the truth predicate, is conservative over its syntactical base.

Author's Profile

Cezary Cieslinski
University of Warsaw


Added to PP

349 (#33,052)

6 months
66 (#27,265)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?