@Article{Av99, author = {Avron, A.}, title = {On the expressive power of three-valued and four-valued languages}, journal = {Journal of Logic and Computation}, year = {1999}, volume = {9}, number = {6}, pages = {977--994}, }