Intuitionism and the liar paradox

Annals of Pure and Applied Logic 163 (10):1437-1445 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2012.01.014

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,139

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

Effectively closed mass problems and intuitionism.Kojiro Higuchi - 2012 - Annals of Pure and Applied Logic 163 (6):693-697.
Annals of pure and applied logic.Ja Makowsky - forthcoming - Annals of Pure and Applied Logic.
Introducing article numbering to Annals of Pure and Applied Logic.Giovanni Raneri - 2019 - Annals of Pure and Applied Logic 170 (11):102728.
Erratum to “Ordinal notations and well-orderings in bounded arithmetic” [Annals of Pure and Applied Logic 120 (2003) 197–223]. [REVIEW]Arnold Beckmann, Samuel R. Buss & Chris Pollett - 2003 - Annals of Pure and Applied Logic 123 (1-3):291.
Erratum to “Definitional equivalence and algebraizability of generalized logical systems” Annals of Pure and Applied Logic 98 (1999) 1–68. [REVIEW]Alexej P. Pynko - 2000 - Annals of Pure and Applied Logic 102 (3):283-284.
Ann. Pure Appl. Logic.Jean H. Gallier - 1997 - Annals of Pure and Applied Logic 89 (2-3):275.
Pure patterns of order 2.Gunnar Wilken - 2018 - Annals of Pure and Applied Logic 169 (1):54-82.
Coalgebraic logic.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 96 (1-3):277-317.
Ann. pure appl. logic : Erratum to “coalgebraic logic” 96 277–317.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 99 (1-3):241-259.

Analytics

Added to PP
2013-10-27

Downloads
37 (#611,759)

6 months
12 (#301,340)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Systems of logic based on ordinals..Alan Turing - 1939 - London,: Printed by C.F. Hodgson & son.
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.
[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.

Add more references