On Stratified Truth

In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Stratified languages.A. Pétry - 1992 - Journal of Symbolic Logic 57 (4):1366-1376.
Relative arithmetic.Sam Sanders - 2010 - Mathematical Logic Quarterly 56 (6):564-572.
The Stratified Spaces of Intern Degrees of Freedom.V. P. Sevrjuk - 2008 - Proceedings of the Xxii World Congress of Philosophy 43:243-253.
Stratified bundles and étale fundamental group.Hélène Esnault & Xiaotao Sun - 2014 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 13 (3):795-812.
Type theories, toposes and constructive set theory: predicative aspects of AST.Ieke Moerdijk & Erik Palmgren - 2002 - Annals of Pure and Applied Logic 114 (1-3):155-201.
Consistency of strictly impredicative NF and a little more ….Sergei Tupailo - 2010 - Journal of Symbolic Logic 75 (4):1326-1338.
Partial Truth.Andrea Cantini - 2003 - In Leon Horsten & Volker Halbach (eds.), Principles of Truth. De Gruyter. pp. 183-202.
The Hauptsatz for Stratified Comprehension: A Semantic Proof.Marcel Crabbé - 1994 - Mathematical Logic Quarterly 40 (4):481-489.
On the complexity of Bounded Second-Order Unification and Stratified Context Unification.Jordi Levy, Manfred Schmidt-schauß & Mateu Villaret - 2011 - Logic Journal of the IGPL 19 (6):763-789.
Typical ambiguity and elementary equivalence.Daniel Dzierzgowski - 1993 - Mathematical Logic Quarterly 39 (1):436-446.
Relating Quine's NF to Feferman's EM.Andrea Cantini - 1999 - Studia Logica 62 (2):141-162.
A theory of formal truth arithmetically equivalent to ID.Andrea Cantini - 1990 - Journal of Symbolic Logic 55 (1):244 - 259.
Characterizations of differentiability for h-convex functions in stratified groups.Valentino Magnani & Matteo Scienza - 2014 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 13 (3):675-697.
Levels of Truth.Andrea Cantini - 1995 - Notre Dame Journal of Formal Logic 36 (2):185-213.
A note on three-valued logic and Tarski theorem on truth definitions.Andrea Cantini - 1980 - Studia Logica 39 (4):405 - 414.

Analytics

Added to PP
2015-08-16

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Andrea Cantini
Università degli Studi di Firenze

Citations of this work

Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.

Add more citations

References found in this work

No references found.

Add more references