“intuitionistic logic” in Turkish