Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
1,807,012,543 visitors served.
forum mailing list For webmasters
?
New: Language forums
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

linear logic

   Also found in: Wikipedia 0.03 sec.
(theory)linear logic - A logic invented by Girard in 1987 that can be used in proofs related to resource usage.

http://brics.dk/LS/96/6/BRICS-LS-96-6/BRICS-LS-96-6.html.

[Wadler, P., "Is there a use for linear logic", ACM/IFIP PEPM Conference, 1991].



How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
Email
Feedback
? Mentioned in ? References in periodicals archive
 
Not that von Trier's unhappiness follows what might be called linear logic.
It accounts for some narrative ambiguity where the impact of story is conveyed more clearly by tone than by linear logic, even somehow addresses the poet's own frustration with words, ".
What if this is really straight talk, sensible talk, and the linear stuff we take for granted, the linear logic that moves us from point a to b to c, is actually what gets us nowhere?
 
Encyclopedia browser? ? Full browser
 
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2009 Farlex, Inc.
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.