Article contents
T-EQUIVALENCES FOR POSITIVE SENTENCES
Published online by Cambridge University Press: 23 May 2011
Abstract
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2011
References
BIBLIOGRAPHY
- 5
- Cited by