Open Access
2005 The Expressive Unary Truth Functions of n-valued Logic
Stephen Pollard
Notre Dame J. Formal Logic 46(1): 93-105 (2005). DOI: 10.1305/ndjfl/1107220676

Abstract

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.

Citation

Download Citation

Stephen Pollard. "The Expressive Unary Truth Functions of n-valued Logic." Notre Dame J. Formal Logic 46 (1) 93 - 105, 2005. https://doi.org/10.1305/ndjfl/1107220676

Information

Published: 2005
First available in Project Euclid: 31 January 2005

zbMATH: 1098.03032
MathSciNet: MR2131549
Digital Object Identifier: 10.1305/ndjfl/1107220676

Subjects:
Primary: 03B50
Secondary: 03B22

Keywords: closure spaces , expressive logics , many-valued logics

Rights: Copyright © 2005 University of Notre Dame

Vol.46 • No. 1 • 2005
Back to Top