Funder
Российский Фонд Фундаментальных Исследований
Deutsche Forschungsgemeinschaft
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference45 articles.
1. Almukdad, A., and D. Nelson, Constructible falsity and inexact predicates, The Journal of Symbolic Logic 49(1):231–233, 1984.
2. Arieli, O., and A. Avron, Reasoning with logical bilattices, Journal of Logic, Language and Information 5(1):25–63, 1996.
3. Arieli, O., and A. Avron, The value of the four values, Artificial Intelligence 102:97–141, 1996.
4. Belnap, N. D., How a computer should think, in G. Ryle, (ed.), Contemporary Aspects of Philosophy, Oriel Press, Boston, 1977, pp. 30–56.
5. Belnap, N. D., A useful four-valued logic, in J. M. Dunn, and G. Epstein, (eds.), Modern Uses of Multiple-Valued Logic, Springer, Netherlands, 1977, pp. 5–37.