LU

From Girard Reading Group

Revision as of 15:45, 4 December 2007 by Mtschant (Talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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"