Robuta

https://ncatlab.org/nlab/show/boolean-valued+function/cite Cite — boolean-valued function in nLab boolean valued functioncitenlab