The expressive truth functions of two-valued logic have all been identified. This paper begins the task of identifying the expressive truth functions of n-valued logic by characterizing the unary ones. These functions have distinctive algebraic, semantic, and closure-theoretic properties.
References
[1] Beall, J. C. , and B. C. van Fraassen, Possibilities and Paradox, Oxford University Press, Oxford, 2003.
[2] \global\editortrue Gabbay, D. M. , and H. Wansing, editors, What Is Negation?, vol. 13 of Applied Logic Series, Kluwer Academic Publishers, Dordrecht, 1999.
[3] Martin, N. M. , and S. Pollard, Closure Spaces and Logic, vol. 369 of Mathematics and its Applications, Kluwer Academic Publishers Group, Dordrecht, 1996.
[4] Pollard, S., "The expressive truth conditions of two-valued logic", Notre Dame Journal of Formal Logic, vol. 43 (2002), pp. 221--30.
[5] Pollard, S. , and N. M. Martin, "Contractions of closure systems", Notre Dame Journal of Formal Logic, vol. 35 (1994), pp. 108--15.
[6] Pollard, S. , and N. M. Martin, "Closed bases and closure logic", The Monist, vol. 79 (1996), pp. 117--27.
[7] Rasiowa, H., An Algebraic Approach to Nonclassical Logics, vol. 78 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1974.
[8] van Fraassen, B. C., Formal Semantics and Logic, Macmillan, New York, 1971.
[9] Weaver, G., "Compactness theorems for finitely-many-valued sentential logics", Studia Logica, vol. 37 (1978), pp. 413--16.
[10] Wójcicki, R., Theory of Logical Calculi: Basic Theory of Consequence Operations, vol. 199 of Synthese Library, Kluwer Academic Publishers Group, Dordrecht, 1988.
[11] Woodruff, P. W., "On compactness in many-valued logic. I", Notre Dame Journal of Formal Logic, vol. 14 (1973), pp. 405--7.
