-
1
-
-
0038631732
-
The truth is never simple
-
J. P. BURGESS, The truth is never simple. The Journalfor Symbolic Logic, vol. 51 (1986), no. 3, pp. 663-681.
-
(1986)
The Journalfor Symbolic Logic
, vol.51
, Issue.3
, pp. 663-681
-
-
BURGESS, J.P.1
-
2
-
-
0010697726
-
-
A. CANTTNI, A theory offormal truth arithmetically equivalent to IDi, The Journal for Symbolic Logic, vol. 55 (1990), no. 1, pp. 244-259.
-
(1990)
A theory offormal truth arithmetically equivalent to IDi, The Journal for Symbolic Logic
, vol.55
, Issue.1
, pp. 244-259
-
-
CANTTNI, A.1
-
3
-
-
33746617389
-
A revenge-immune solution to the semantic paradoxes
-
H. FIELD, A revenge-immune solution to the semantic paradoxes, Journal of Philosophical Logic, vol. 32 (2003), no. 3, pp. 139-177.
-
(2003)
Journal of Philosophical Logic
, vol.32
, Issue.3
, pp. 139-177
-
-
FIELD, H.1
-
4
-
-
0000986217
-
Higher set theory and mathematical practice
-
H. FRIEDMAN, Higher set theory and mathematical practice, Annals of Mathematical Logic, vol. 2 (1970), no. 3, pp. 325-327.
-
(1970)
Annals of Mathematical Logic
, vol.2
, Issue.3
, pp. 325-327
-
-
FRIEDMAN, H.1
-
5
-
-
33745229372
-
-
V. HALBACH and L. HORSTEN, Axiomatising Kripke's Theory of Truth, The Journal for SymboUc Logic, vol. 71 (2006), no. 1, pp. 677-712.
-
(2006)
Axiomatising Kripke's Theory of Truth, The Journal for SymboUc Logic
, vol.71
, Issue.1
, pp. 677-712
-
-
HALBACH, V.1
HORSTEN, L.2
-
9
-
-
74549200140
-
-
A. S. KECHRIS, On Spector classes, Cabal seminar 76-77 (A. S. Kechris and Y. N. Moschovakis, editors), Lecture Notes in Mathematics Series, 689, Springer, 1978, pp. 245-278.
-
A. S. KECHRIS, On Spector classes, Cabal seminar 76-77 (A. S. Kechris and Y. N. Moschovakis, editors), Lecture Notes in Mathematics Series, vol. 689, Springer, 1978, pp. 245-278.
-
-
-
-
10
-
-
0000235860
-
Outline of a theory of truth
-
S. KRIPKE, Outline of a theory of truth, Journal of Philosophy, vol. 72 (1975), pp. 690-716.
-
(1975)
Journal of Philosophy
, vol.72
, pp. 690-716
-
-
KRIPKE, S.1
-
11
-
-
74549195365
-
Revision and its rivals
-
D. A. MARTIN, Revision and its rivals. Philosophical Issues, vol. 8 (1997), pp. 407-418.
-
(1997)
Philosophical Issues
, vol.8
, pp. 407-418
-
-
MARTIN, D.A.1
-
13
-
-
34249680697
-
Aydeterminacy, comprehension and induction
-
M. O. MEDSALEM and K. TANAKA, Aydeterminacy, comprehension and induction. The Journal for Symbolic Logic, vol. 72 (2007), no. 2, pp. 452-462.
-
(2007)
The Journal for Symbolic Logic
, vol.72
, Issue.2
, pp. 452-462
-
-
MEDSALEM, M.O.1
TANAKA, K.2
-
14
-
-
74549215447
-
-
North-Holland, Amsterdam
-
Y. MOSCHOVAKIS, Elementary induction on abstract structures, Studies in Logic and the Foundations of Mathematics, vol. 77, North-Holland, Amsterdam, 1974.
-
(1974)
Elementary induction on abstract structures, Studies in Logic and the Foundations of Mathematics
, vol.77
-
-
MOSCHOVAKIS, Y.1
-
15
-
-
84989169860
-
Ultimate truth vis a vis
-
P. D. WELCH, Ultimate truth vis a vis stable truth, Review of Symbolic Logic, vol. 1 (2008), no. 1, pp. 126-142.
-
(2008)
stable truth, Review of Symbolic Logic
, vol.1
, Issue.1
, pp. 126-142
-
-
WELCH, P.D.1
|