Funder
Research School, Ruhr University Bochum
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference36 articles.
1. Baaz, M., C. G. Fermüller, and G. Salzer, Automated deduction for many-valued logics, in A. Robinson, and A. Voronkov, (eds.), Handbook of Automated Reasoning, vol. 2, Elsevier Science B.V., 2001, pp. 1355–1402.
2. Baaz, M., C. G. Fermüller, G. Salzer, and R. Zach. Multlog 1.0: Towards an expert system for many-valued logics, in M. A. McRobbie, and J. K. Slaney, (eds.), Automated Deduction—Cade-13, Springer Berlin Heidelberg, 1996, pp. 226–230.
3. Belnap, N. D., A useful four-valued logic, in J. M. Dunn, and G. Epstein, (eds.), Modern Uses of Multiple-Valued Logic, Dordrecht, Springer Netherlands, 1977, pp. 5–37.
4. Belnap, N. D., How a computer should think, in G. Ryle, (ed.), Contemporary aspects of philosophy, 1977, pp. 30–55.
5. Bimbó, K., and J. Dunn, Four-valued logic, Notre Dame Journal of Formal Logic 42(3):171–192, 2001.