-
1
-
-
84941949267
-
Tonk, plonk and plink
-
Belnap, N. D. 1962: "Tonk, plonk and plink". Analysis, 22, pp. 130-134
-
(1962)
Analysis
, vol.22
, pp. 130-134
-
-
Belnap, N.D.1
-
2
-
-
34250280337
-
Natural deduction, separation, and the meaning of logical operators
-
Bendall, K. 1978: "Natural deduction, separation, and the meaning of logical operators". Journal of Philosophical Logic, 7, pp. 245-276
-
(1978)
Journal of Philosophical Logic
, vol.7
, pp. 245-276
-
-
Bendall, K.1
-
4
-
-
0347368677
-
On sequence-conclusion natural deduction systems
-
Boricic, B. R. 1985: "On sequence-conclusion natural deduction systems". Journal of Philosophical Logic, 14, pp. 359-377
-
(1985)
Journal of Philosophical Logic
, vol.14
, pp. 359-377
-
-
Boricic, B.R.1
-
5
-
-
26044455679
-
-
Cambridge, Mass, Harvard University Press
-
Carnap, R. 1943: Formalization of Logic. Cambridge, Mass.: Harvard University Press
-
(1943)
Formalization of Logic
-
-
Carnap, R.1
-
6
-
-
38249010829
-
Existential instantiation and normalization in sequent natural deduction
-
Cellucci, C. 1992: "Existential instantiation and normalization in sequent natural deduction". Annals of Pure and Applied Logic, 58, pp. 111-148
-
(1992)
Annals of Pure and Applied Logic
, vol.58
, pp. 111-148
-
-
Cellucci, C.1
-
20
-
-
79953406770
-
Negation
-
Frege 1984
-
"Negation" in Frege 1984, pp. 373-389
-
Collected Papers
, pp. 373-389
-
-
-
22
-
-
0040953793
-
-
second edition, ed. I. Angelelli. Hildesheim: Georg Olms
-
- 1990: Kleine Schriften, second edition, ed. I. Angelelli. Hildesheim: Georg Olms
-
(1990)
Kleine Schriften
-
-
Frege, F.L.G.1
-
25
-
-
27944496797
-
Untersuchungen über das logische Schliessen
-
405-431
-
Gentzen, G. 1935: "Untersuchungen über das logische Schliessen". Mathematische Zeitschrift, 39, pp. 176-210, 405-431
-
(1935)
Mathematische Zeitschrift
, vol.39
, pp. 176-210
-
-
Gentzen, G.1
-
26
-
-
84942118207
-
Investigations into logical deduction
-
Gentzen 1969
-
"Investigations into logical deduction" in Gentzen 1969, pp: 68-131
-
Nachgelassene Schriften
, pp. 68-131
-
-
-
29
-
-
0003913615
-
-
ed. and trans. S. Feferman et al. Oxford: Clarendon Press
-
- 1986. Collected Works: Volume I, ed. and trans. S. Feferman et al. Oxford: Clarendon Press
-
(1986)
Collected Works
, vol.1
-
-
Godel, K.F.1
-
32
-
-
79953448903
-
-
Humberstone, I. L. Forthcoming: The revival of rejective negation.
-
Humberstone, I. L. Forthcoming: "The revival of rejective negation"
-
-
-
-
33
-
-
79953417498
-
-
Kasbauer, M. and F. von Kutschera, eds. 1962: Logik und Logikkalkkül. Freiburg: Alber
-
-
-
-
35
-
-
52849138429
-
Zum Deduktionsbegriff der klassischen Prädikatenlogik erster Stufe
-
Kasbauer and von Kutschera, eds., 1962
-
Kutschera, F. von 1962: "Zum Deduktionsbegriff der klassischen Prädikatenlogik erster Stufe". In Kasbauer and von Kutschera, eds., 1962, pp. 211-236
-
(1962)
Logik und Logikkalkkül
, pp. 211-236
-
-
von Kutschera, F.1
-
37
-
-
21244433754
-
Truth conditions, bivalence, and verificationism
-
Evans and McDowell, eds., 1976
-
McDowell, J. H. 1976: "Truth conditions, bivalence, and verificationism". In Evans and McDowell, eds., 1976, pp. 42-66
-
(1976)
Truth and Meaning: Essays in Semantics
, pp. 42-66
-
-
McDowell, J.H.1
-
39
-
-
84928466659
-
Understanding the logical constants: A realist's account
-
Peacocke, C. A. B. 1987: "Understanding the logical constants: a realist's account". Proceedings of the British Academy, 73, pp. 153-200
-
(1987)
Proceedings of the British Academy
, vol.73
, pp. 153-200
-
-
Peacocke, C.A.B.1
-
41
-
-
34447237728
-
Sense, assertion, Dummett, and denial
-
Price, H. 1983: "Sense, assertion, Dummett, and denial". Mind, 92, pp. 161-173
-
(1983)
Mind
, vol.92
, pp. 161-173
-
-
Price, H.1
-
42
-
-
34248840197
-
Why 'not'?
-
- 1990: "Why 'not'?". Mind, 99, pp. 221-238
-
(1990)
Mind
, vol.99
, pp. 221-238
-
-
Price, H.1
-
43
-
-
84960588748
-
The runabout inference ticket
-
Prior, A. N. 1960: "The runabout inference ticket". Analysis, 21, pp. 129-131
-
(1960)
Analysis
, vol.21
, pp. 129-131
-
-
Prior, A.N.1
-
44
-
-
52849122089
-
The categoricity problem and truth-value gaps
-
Rumfitt, I. 1997: "The categoricity problem and truth-value gaps". Analysis, 57, pp. 223-235
-
(1997)
Analysis
, vol.57
, pp. 223-235
-
-
Rumfitt, I.1
-
46
-
-
34248786377
-
Rejection
-
Smiley, T. J. 1996: "Rejection". Analysis, 56, pp. 1-9
-
(1996)
Analysis
, vol.56
, pp. 1-9
-
-
Smiley, T.J.1
-
48
-
-
61149108083
-
Negation, absurdity and contrariety
-
Gabbay and Wansing, eds., 1999
-
- 1999: "Negation, absurdity and contrariety". In Gabbay and Wansing, eds., 1999, pp. 199-222
-
(1999)
What is Negation?
, pp. 199-222
-
-
Tennant, N.W.1
-
49
-
-
61149104900
-
On an argument on behalf of classical negation
-
Wright, C. J. G. 1992: "On an argument on behalf of classical negation". Mind, 102, pp. 123-131
-
(1992)
Mind
, vol.102
, pp. 123-131
-
-
Wright, C.J.G.1
|