On the Expressive Power of Three-Valued and Four-Valued Languages

Arnon Avron. On the Expressive Power of Three-Valued and Four-Valued Languages. Journal of Logic and Computation, 9(6):977-994, 1999. [doi]

Abstract

Abstract is missing.