-
1
-
-
0001958635
-
Reasoning with Logical Bilattices
-
Arieli, O. and A. Avron. Reasoning with Logical Bilattices. Journal of Logic, Language and Information, 5(1): 25-63, 1996.
-
(1996)
Journal of Logic, Language and Information
, vol.5
, Issue.1
, pp. 25-63
-
-
Arieli, O.1
Avron, A.2
-
2
-
-
0032093523
-
The Value of the Four Values
-
Arieli, O. and A. Avron. The Value of the Four Values. Artificial Intelligence, 102(1): 97-141, 1998.
-
(1998)
Artificial Intelligence
, vol.102
, Issue.1
, pp. 97-141
-
-
Arieli, O.1
Avron, A.2
-
3
-
-
0001287652
-
Generalized Quantifiers and Natural Language
-
Barwise, J. and R. Cooper. Generalized Quantifiers and Natural Language. Linguistics and Philosophy, 4: 159-219, 1981.
-
(1981)
Linguistics and Philosophy
, vol.4
, pp. 159-219
-
-
Barwise, J.1
Cooper, R.2
-
4
-
-
0001842932
-
A Useful Four-Valued Logic
-
J.M. Dunn and G. Epstein, editors, Reidel, Dordrecht
-
Belnap, N.D. A Useful Four-Valued Logic. In J.M. Dunn and G. Epstein, editors, Modern Uses of Multiple-Valued Logic. Reidel, Dordrecht, 8-37, 1977.
-
(1977)
Modern Uses of Multiple-Valued Logic
, pp. 8-37
-
-
Belnap, N.D.1
-
5
-
-
0347210054
-
Questions with Quantifiers
-
Chierchia, G. Questions with Quantifiers. Natural Language Semantics, 1(2): 181-234, 1993.
-
(1993)
Natural Language Semantics
, vol.1
, Issue.2
, pp. 181-234
-
-
Chierchia, G.1
-
7
-
-
44949277265
-
Bilattices and the Semantics of Logic Programming
-
Fitting, M. Bilattices and the Semantics of Logic Programming. The Journal of Logic Programming, 11: 91-116, 1991.
-
(1991)
The Journal of Logic Programming
, vol.11
, pp. 91-116
-
-
Fitting, M.1
-
8
-
-
0003466885
-
-
The University of Chicago Press, Chicago
-
Gamut, L.T.F. Logic, Language, and Meaning, Vol. 2: Intensional Logic and Logical Grammar, The University of Chicago Press, Chicago, 1991.
-
(1991)
Logic, Language, and Meaning, Vol. 2: Intensional Logic and Logical Grammar
, vol.2
-
-
Gamut, L.T.F.1
-
9
-
-
84990616630
-
Multi-Valued Logics: A Uniform Approach to Inference in Artificial Intelligence
-
Ginsberg, M.L. Multi-Valued Logics: a Uniform Approach to Inference in Artificial Intelligence. Computational Intelligence, 4(3): 265-316, 1988.
-
(1988)
Computational Intelligence
, vol.4
, Issue.3
, pp. 265-316
-
-
Ginsberg, M.L.1
|