-
2
-
-
52549099449
-
-
Laboratory for Foundations of Computer Science, University of Edinburgh, April
-
Avron, A.: The semantics and proof theory of linear logic, Laboratory for Foundations of Computer Science, University of Edinburgh, April 1987.
-
(1987)
The Semantics and Proof Theory of Linear Logic
-
-
Avron, A.1
-
3
-
-
64249100403
-
Varieties of understanding
-
Rescher (ed.), University of Pittsburgh
-
Brandom, R.: Varieties of understanding, in Rescher (ed.), Reason and Rationality in Science, University of Pittsburgh.
-
Reason and Rationality in Science
-
-
Brandom, R.1
-
4
-
-
0348130939
-
Inference, expression and induction
-
Brandom, R.: Inference, expression and induction, Philos. Stud. 54 (1988), 257-285.
-
(1988)
Philos. Stud.
, vol.54
, pp. 257-285
-
-
Brandom, R.1
-
7
-
-
33846646253
-
Semantic analysis of ortho-logic
-
Goldblatt, R. I.: Semantic analysis of ortho-logic, J. Philos. Logic 3 (1974), 19-35.
-
(1974)
J. Philos. Logic
, vol.3
, pp. 19-35
-
-
Goldblatt, R.I.1
-
8
-
-
33746137492
-
Two concepts of entailment
-
Lance, M. N.: Two concepts of entailment, J. Philos. Res. XX (1995), 113-137.
-
(1995)
J. Philos. Res.
, vol.20
, pp. 113-137
-
-
Lance, M.N.1
-
9
-
-
60949374925
-
Quantification, substitution, and conceptual content
-
Lance, M. N.: Quantification, substitution, and conceptual content, Nous 30(4) (1996), 481-507.
-
(1996)
Nous
, vol.30
, Issue.4
, pp. 481-507
-
-
Lance, M.N.1
-
10
-
-
33746177157
-
The logical structure of linguistic commitment I: Four systems of non-relevant commitment entailment
-
Lance, M. N. and Kremer, P.: The logical structure of linguistic commitment I: Four systems of non-relevant commitment entailment, J. Philos. Logic 23 (1991), 369-400.
-
(1991)
J. Philos. Logic
, vol.23
, pp. 369-400
-
-
Lance, M.N.1
Kremer, P.2
-
11
-
-
11844273086
-
The logical structure of linguistic commitment II: Systems of relevant commitment entailment
-
Lance, M. N. and Kremer, P.: The Logical structure of linguistic commitment II: Systems of relevant commitment entailment, J. Philos. Logic 25 (1996), 425-449.
-
(1996)
J. Philos. Logic
, vol.25
, pp. 425-449
-
-
Lance, M.N.1
Kremer, P.2
-
12
-
-
52549101987
-
Logic of paradoxes
-
Priest, G.: Logic of paradoxes, J. Philos. Logic 8(2) (1979), 19-41.
-
(1979)
J. Philos. Logic
, vol.8
, Issue.2
, pp. 19-41
-
-
Priest, G.1
-
13
-
-
0040791678
-
Simplified semantics for basic relevant logics
-
Priest, G. and Sylvan R.: Simplified semantics for basic relevant logics, J. Philos. Logic 21(2) (1992) 217-232.
-
(1992)
J. Philos. Logic
, vol.21
, Issue.2
, pp. 217-232
-
-
Priest, G.1
Sylvan, R.2
-
14
-
-
11844269081
-
Four-valued semantics for relevant logics (and some of their rivals)
-
Restall, G.: Four-valued semantics for relevant logics (and some of their rivals), J. Philos. Logic 24 (1995), 139-160.
-
(1995)
J. Philos. Logic
, vol.24
, pp. 139-160
-
-
Restall, G.1
-
16
-
-
33244497235
-
Information flow and relevant logic
-
J. Seligman and D. Westerstahl (eds), CSLI Press
-
Restall, G.: Information flow and relevant logic, in J. Seligman and D. Westerstahl (eds), Logic, Language and Computation: The 1994 Moraga Proceedings, CSLI Press, 1995, pp. 463-477.
-
(1995)
Logic, Language and Computation: The 1994 Moraga Proceedings
, pp. 463-477
-
-
Restall, G.1
|