intuitionistic linear logic Synonyms