La Palme Reyes M. and G. E. Reyes (1989). A Boolean-valued Version of Gupta’s
Semantics. Logique et Analyse 127-128. 247-265.