LU

A logic by Girard that has classical, intuitionistic, and linear logics as fragments. Detailed in "On the Unity of Logic" (see http://hal.inria.fr/action/open_file.php?url=http://hal.inria.fr/docs/00/07/50/95/PDF/RR-1467.pdf&docid=75095)