-
1
-
-
85058742925
-
-
Princeton University Press, Princeton, NJ
-
Anderson, A.R. and Belnap, N.D.: Entailment: The Logic of Relevance and Necessity, Princeton University Press, Princeton, NJ, 1975.
-
(1975)
Entailment: The Logic of Relevance and Necessity
-
-
Anderson, A.R.1
Belnap, N.D.2
-
2
-
-
14144255247
-
A general characterization of adaptive logics
-
45-68, Appeared
-
Batens, D.: A general characterization of adaptive logics, Logique et Analyse, 173-175 (2001), 45-68. (Appeared 2003).
-
(2001)
Logique et Analyse
, pp. 173-175
-
-
Batens, D.1
-
3
-
-
14144251186
-
Pushing the search paths in the Proofs, Logique et Analyse
-
113-134, Appeared
-
Batens, D. and Provijn, D.: Pushing the search paths in the Proofs, Logique et Analyse, 173-175 (2001), 113-134. (Appeared 2003).
-
(2001)
, pp. 173-175
-
-
Batens, D.1
Provijn, D.2
-
4
-
-
33947618785
-
Sieving out relevant and efficient questions
-
De Clercq, K. and Verhoeven, L.: Sieving out relevant and efficient questions, Logique et Analyse, 185-188 (2004), 189-216.
-
(2004)
Logique et Analyse
, vol.185-188
, pp. 189-216
-
-
De Clercq, K.1
Verhoeven, L.2
-
7
-
-
84910776762
-
General theory of cumulative inference
-
M. Reinfrank, J. de Kleer, M.L. Ginsberg, and E. Sanderwall eds, Springer, Berlin Heidelberg New York
-
Makinson, D.: General theory of cumulative inference, in M. Reinfrank, J. de Kleer, M.L. Ginsberg, and E. Sanderwall (eds.), Non-monotonic Reasoning, Springer, Berlin Heidelberg New York, 1989, pp. 1-18.
-
(1989)
Non-monotonic Reasoning
, pp. 1-18
-
-
Makinson, D.1
-
9
-
-
5644296448
-
-
M. Reinfrank, J. de Kleer, M.L. Ginsberg, and E. Sandewall eds, Springer, Berlin Heidelberg New York
-
M. Reinfrank, J. de Kleer, M.L. Ginsberg, and E. Sandewall (eds.), Non-monotonic Reasoning, Springer, Berlin Heidelberg New York, 1989.
-
(1989)
Non-monotonic Reasoning
-
-
-
10
-
-
84925903725
-
Every sentential logic has a two-valued worlds semantics
-
Routley, R. and Meyer, R.K.: Every sentential logic has a two-valued worlds semantics, Logique et Analyse, 71 (1976), 345-364.
-
(1976)
Logique et Analyse
, vol.71
, pp. 345-364
-
-
Routley, R.1
Meyer, R.K.2
-
11
-
-
14044277500
-
Relevant deduction. From solving paradoxes towards a general theory
-
Schurz, G.: Relevant deduction. From solving paradoxes towards a general theory, Erkenntnis 35 (1991), 391-437.
-
(1991)
Erkenntnis
, vol.35
, pp. 391-437
-
-
Schurz, G.1
-
12
-
-
0003774220
-
-
Springer, Berlin Heidelberg New York
-
Schütte, K.: Proof Theory, Springer, Berlin Heidelberg New York, 1977.
-
(1977)
Proof Theory
-
-
Schütte, K.1
-
14
-
-
27544466672
-
On the exclusivity implicature of 'or' or on the sense of eating strawberries
-
Verhoeven, L. and Horsten, L.: On the exclusivity implicature of 'or' or on the sense of eating strawberries, Studia Logica 81(1) (2005), 19-42.
-
(2005)
Studia Logica
, vol.81
, Issue.1
, pp. 19-42
-
-
Verhoeven, L.1
Horsten, L.2
|