The top documents tagged [linear logic mathematics]