Three-valued Brouwer-Zadeh logic
scientific article; zbMATH DE number 575487