CSE 563, Spring 2003


Last Update: 21 February 2003

Note: NEW or UPDATED material is highlighted

  1. Ackermann, Robert (1967), An Introduction to Many-Valued Logics (London: Routledge & Kegan Paul; New York: Dover).

  2. Rescher, Nicholas (1969), Many-Valued Logic (New York: McGraw-Hill).

  3. Urquhart, Alasdair (1986), "Many-valued Logic," in Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Vol. III: Alternatives to Classical Logic (Dordrecht, Holland: D. Reidel): 71-116.

  4. Gries, David (1981), The Science of Programming (New York: Springer-Verlag): 68-70.

  5. Nutter, J. Terry (1983), "Default Reasoning in A.I. Systems", Technical Report 204 (Buffalo: SUNY Buffalo Department of Computer Science).

  6. Belnap, Nuel D., Jr. (1992), "A Useful Four-Valued Logic: How a Computer Should Think", in Anderson, Alan Ross; Belnap, Nuel D., Jr.; Dunn, J. Michael; et al. (1992), Entailment: The Logic of Relevance and Necessity, Vol. II (Princeton: Princeton University Press), §81, pp. 506-542.

There is also a conference sponsored by the IEEE Computer Society on "Multiple-Valued Logics".

Copyright © 2003 by William J. Rapaport (rapaport@cse.buffalo.edu)
file: 563/many.valued.logic.2003.02.21.html