Expressive Three-valued Truth Functions
Stephen B Pollard · The Australasian Journal of Logic · 2006
The expressive truth functions of two-valued logic have all been characterized, as have the expressive unary truth functions of finitely-many-valued logic. This paper introduces some techniques for identifying expressive functions in three-valued logics.