Conservativity for theories of compositional truth via cut elimination

Journal of Symbolic Logic 80 (3):845-865 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2015.27

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Minimal truth and interpretability.Martin Fischer - 2009 - Review of Symbolic Logic 2 (4):799-815.
Reducing compositional to disquotational truth.Volker Halbach - 2009 - Review of Symbolic Logic 2 (4):786-798.
DEFLATIONARY TRUTH: CONSERVATIVITY OR LOGICALITY?Henri Galinon - 2015 - Philosophical Quarterly 65 (259):268-274.
Typed and Untyped Disquotational Truth.Cezary Cieśliński - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.
Sequent calculus proof theory of intuitionistic apartness and order relations.Sara Negri - 1999 - Archive for Mathematical Logic 38 (8):521-547.
A Semantic Approach to Conservativity.Tomasz Połacik - 2016 - Studia Logica 104 (2):235-248.
The Innocence of Truth.Cezary Cieśliński - 2015 - Dialectica 69 (1):61-85.
Remarks on Compositionality and Weak Axiomatic Theories of Truth.Günther Eder - 2014 - Journal of Philosophical Logic 43 (2-3):541-547.
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Definability and quantifier elimination for j3-theories.Ítala M. L. D'Ottaviano - 1987 - Studia Logica 46 (1):37 - 54.
Proof normalization modulo.Gilles Dowek & Benjamin Werner - 2003 - Journal of Symbolic Logic 68 (4):1289-1316.
Compositional Supervenience Theories and Compositional Meaning Theories.Stephen Schiffer - 1993 - Analysis 53 (1):24 - 29.
On the conservativity of the axiom of choice over set theory.Timothy J. Carlson - 2011 - Archive for Mathematical Logic 50 (7-8):777-790.
An ordinal analysis for theories of self-referential truth.Graham Emil Leigh & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):213-247.
The Strength of Truth-Theories.Richard Heck - manuscript

Analytics

Added to PP
2016-06-30

Downloads
37 (#419,437)

6 months
7 (#425,192)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Truth, disjunction, and induction.Ali Enayat & Fedor Pakhomov - 2019 - Archive for Mathematical Logic 58 (5-6):753-766.
Consistency and the theory of truth.Richard Heck - 2015 - Review of Symbolic Logic 8 (3):424-466.

View all 20 citations / Add more citations

References found in this work

Conservative theories of classical truth.Volker Halbach - 1999 - Studia Logica 62 (3):353-370.
Minimal truth and interpretability.Martin Fischer - 2009 - Review of Symbolic Logic 2 (4):799-815.
An Axiomatic Approach to Self-Referential Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 33 (1):1--21.
A proof-theoretic account of classical principles of truth.Graham E. Leigh - 2013 - Annals of Pure and Applied Logic 164 (10):1009-1024.

View all 6 references / Add more references