Yet another constructivization of classical logic