The logic of linear tolerance

Studia Logica 51 (2):249 - 277 (1992)
  Copy   BIBTEX

Abstract

A nonempty sequence T1,...,Tn of theories is tolerant, if there are consistent theories T 1 + ,..., T n + such that for each 1 i n, T i + is an extension of Ti in the same language and, if i n, T i + interprets T i+1 + . We consider a propositional language with the modality , the arity of which is not fixed, and axiomatically define in this language the decidable logics TOL and TOL. It is shown that TOL (resp. TOL) yields exactly the schemata of PA-provable (resp. true) arithmetical sentences, if (A1,..., An) is understood as (a formalization of) PA+A1, ..., PA+An is tolerant.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,703

External links

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

Through your library

Similar books and articles

Tolerance.Kimberley Jane Pryor - 2009 - Tarrytown, NY: Marshall Cavendish Benchmark.
The conditions of tolerance.Ryan Muldoon, Michael Borgida & Michael Cuffaro - 2012 - Politics, Philosophy and Economics 11 (3):322-344.
Quantifiers, anaphora, and intensionality.Mary Dalrymple, John Lamping, Fernando Pereira & Vijay Saraswat - 1997 - Journal of Logic, Language and Information 6 (3):219-273.
The conjoinability relation in Lambek calculus and linear logic.Mati Pentus - 1994 - Journal of Logic, Language and Information 3 (2):121-140.

Analytics

Added to PP
2009-01-28

Downloads
34 (#402,259)

6 months
2 (#650,101)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Undecidability in diagonalizable algebras.V. Yu Shavrukov - 1997 - Journal of Symbolic Logic 62 (1):79-116.
Essential hereditary undecidability.Albert Visser - forthcoming - Archive for Mathematical Logic:1-34.

Add more citations

References found in this work

Relative Interpretations.Steven Orey - 1961 - Mathematical Logic Quarterly 7 (7‐10):146-153.
Relative Interpretations.Steven Orey - 1961 - Mathematical Logic Quarterly 7 (7-10):146-153.

Add more references