The Expressive Unary Truth Functions of n-valued Logic

Stephen B Pollard · Notre Dame Journal of Formal Logic · 2005

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.

Read the paper · More papers on PaperTik