linear logic


Also found in: Wikipedia.

linear logic

(theory)
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].

References in periodicals archive ?
We rationalize and use linear logic, which is what I'm doing right now as I write my column.
There is centralized management of key commodity segments such as printed circuit boards, semiconductors (ICs and linear logic), power products, connectors, electronic components (relays, electrolytic, ceramic and film capacitors), plastics and metals.
The partial stability and equilibrium of our immediate surroundings and the orderly natural cycles on the human scale have helped human beings to gradually develop a linear model of the world based on order and stability and eventually a linear logic (or thinking) which has been the dominant way of thinking, especially in the last two centuries.
Here, reading and writing are not subject to any linear logic, but instead lead to new constellations of both spatial and temporal relations, with meaning constantly reinscribed.
"Somewhat more common, on the other hand, is the phenomenon of armed forces that act according to mistaken expectations of their own vast inherent superiority, and therefore rely overmuch on linear logic to optimize the administration of their own means, without a sufficient effort to surprise the enemy by suitably paradoxical conduct."
But I would specifically say poetry and not literature: poetry doesn't follow a linear logic like much literature and is in tune with visual art, which is not linear.
His afterword works, on the one hand, to make sense of our contemporary fascination with "sensation," and on the other, to resist subjecting a complex, multidirectional, polyvalent world of sensation to linear logic or teleologically based forms of argumentation.
xvii)--both because, in Sanjines's view, it subverts modernity's linear logic, triumphalist teleologies, and empiricist truth claims, and because, through the essay form, Sanjines seeks to reclaim the alternative voices and experiences of those silenced or marginalized by western paradigms of modernity (both on the page and on the ground).
Brathwaite's linguistic preoccupation has mostly dealt with the syntactic destabilization of language as a mirror of the deconstruction of European linear logic. Interestingly enough, as this chapter discusses, Brathwaite's digital poetry project, SycoraxVS, was de-digitalized and is only available in printing, a gesture that coherently continues the writer's political and linguistic resistance for a Caribbean vernacular and that, once again, combats the idea of Western center in modern poetics.
McLuhan argued that Gutenberg's fixed linear type introduced fixed linear logic to Western thought and that the move to what he called electric media, beginning with the telegraph, shattered that comfortable rational world, creating his famous interconnected global village.
From concepts and proofs to fun examples, this covers the basics of numbers, their odd relationships, the evolution of Roman numerals and their use today, and modern linear logic and theory.