-
1
-
-
85058742925
-
-
Princeton University Press, Princeton
-
Anderson, A. R. and Belnap, N. D.: Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton University Press, Princeton, 1986.
-
(1986)
Entailment: The Logic of Relevance and Necessity
, vol.1
-
-
Anderson, A.R.1
Belnap, N.D.2
-
3
-
-
28844504413
-
Provability, truth and modal logic
-
Boolos, G.: Provability, truth and modal logic, J. Philos. Logic 9 (1980), 1-7.
-
(1980)
J. Philos. Logic
, vol.9
, pp. 1-7
-
-
Boolos, G.1
-
4
-
-
0003874773
-
-
Cambridge University Press, Cambridge
-
Boolos, G.: The Logic of Provability, Cambridge University Press, Cambridge, 1993.
-
(1993)
The Logic of Provability
-
-
Boolos, G.1
-
5
-
-
14044261194
-
The non-triviality of dialectical set theory
-
G. Priest, R. Routley and J. Norman (eds), Philosophia Verlag
-
Brady, R. T.: The non-triviality of dialectical set theory, in G. Priest, R. Routley and J. Norman (eds), Paraconsistent Logic: Essays on the Inconsistent, Philosophia Verlag, 1989, pp. 437-470.
-
(1989)
Paraconsistent Logic: Essays on the Inconsistent
, pp. 437-470
-
-
Brady, R.T.1
-
6
-
-
0009996547
-
Toward useful type-free theories, I
-
Feferman, S.: Toward useful type-free theories, I, J. Symbolic Logic 49 (1984), 75-111.
-
(1984)
J. Symbolic Logic
, vol.49
, pp. 75-111
-
-
Feferman, S.1
-
8
-
-
85033655425
-
Mathematical undecidables, metaphysical realism and equivalent descriptions
-
L. Hahn (ed.), Open Court
-
Field, H.: Mathematical undecidables, metaphysical realism and equivalent descriptions, in L. Hahn (ed.), The Philosophy of Hilary Putnam, Open Court, 2003.
-
(2003)
The Philosophy of Hilary Putnam
-
-
Field, H.1
-
9
-
-
38249037909
-
An axiomatic approach to self-referential truth
-
Friedman, H. and Sheard, M.: An axiomatic approach to self-referential truth, Ann. Pure Appl. Logic 33 (1987), 1-21.
-
(1987)
Ann. Pure Appl. Logic
, vol.33
, pp. 1-21
-
-
Friedman, H.1
Sheard, M.2
-
10
-
-
0034402468
-
The liar paradox and fuzzy logic
-
Hajek, P., Paris, J. and Shepherdson, J.: The liar paradox and fuzzy logic, J. Symbolic Logic 65 (2000), 339-346.
-
(2000)
J. Symbolic Logic
, vol.65
, pp. 339-346
-
-
Hajek, P.1
Paris, J.2
Shepherdson, J.3
-
11
-
-
0000235860
-
Outline of a theory of truth
-
Kripke, S.: Outline of a theory of truth, J. Philos. 72 (1975), 690-716.
-
(1975)
J. Philos.
, vol.72
, pp. 690-716
-
-
Kripke, S.1
-
12
-
-
0040409362
-
-
Hackett, Indianapolis
-
McGee, V.: Truth, Vagueness, and Paradox, Hackett, Indianapolis, 1991.
-
(1991)
Truth, Vagueness, and Paradox
-
-
McGee, V.1
-
13
-
-
8344287123
-
Paraconsistent logic
-
D. M. Gabbay and F. Günthner (eds), D. Reidel, Dordrecht
-
Priest, G.: Paraconsistent logic, in D. M. Gabbay and F. Günthner (eds), Handbook of Philosophical Logic, 2nd edn, Vol. 3, D. Reidel, Dordrecht, 2000, pp. 437-470.
-
(2000)
Handbook of Philosophical Logic, 2nd Edn.
, vol.3
, pp. 437-470
-
-
Priest, G.1
-
15
-
-
52649085002
-
Arithmetic and truth in Łukasiewicz's infinitely valued logic
-
Restall, G.: Arithmetic and truth in Łukasiewicz's infinitely valued logic, Logique et Analyse 139-140 (1992), 303-312.
-
(1992)
Logique et Analyse
, vol.139-140
, pp. 303-312
-
-
Restall, G.1
|