Brouwer-Zadeh logic, decidability and bimodal systems
scientific article; zbMATH DE number 63835