Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 43, Number 4 (2002), 221-230.
The Expressive Truth Conditions of Two-Valued Logic
In a finitary closure space, irreducible sets behave like two-valued models, with membership playing the role of satisfaction. If f is a function on such a space and the membership of $fx_1 ,\ldots, x_n$ in an irreducible set is determined by the presence or absence of the inputs $x_1 ,\ldots, x_n$ in that set, then f is a kind of truth function. The existence of some of these truth functions is enough to guarantee that every irreducible set is maximally consistent. The closure space is then said to be expressive. This paper identifies the two-valued truth functional conditions that guarantee expressiveness.
Notre Dame J. Formal Logic, Volume 43, Number 4 (2002), 221-230.
First available in Project Euclid: 17 January 2004
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Pollard, Stephen. The Expressive Truth Conditions of Two-Valued Logic. Notre Dame J. Formal Logic 43 (2002), no. 4, 221--230. doi:10.1305/ndjfl/1074396307. https://projecteuclid.org/euclid.ndjfl/1074396307