LU

From Girard Reading Group

Jump to: navigation, search

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)

Retrieved from "http://locuspocus.hyperkind.org/wiki/LU"
Personal tools