English Wikipedia - The Free Encycl...
Download this dictionary
Linear logic
Linear logic
is a
substructural logic
proposed by
Jean-Yves Girard
as a refinement of
classical
and
intuitionistic logic
, joining the
dualities
of the former with many of the
constructive
properties of the latter. Although the logic has also been studied for its own sake, more broadly, ideas from linear logic have been influential in fields such as
programming languages
,
game semantics
, and
quantum physics
, as well as
linguistics
, particularly because of its emphasis on resource-boundedness, duality, and interaction.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License