Affine Logic
A
substructural logic
that denies the
structural rule
of
contraction
. It can also be characterized as
linear logic
with
weakening
. Affine logic can be embedded into linear logic by rewriting the affine arrow
A \rightarrow B
as the linear arrow
A {-\!\circ} B \otimes \top
. Affine logic forms the foundation of
ludics
.
See also
Linear logic
Strict logic
and
relevant logic
Substructural logic
Ludics
<< Previous
Word Browser
Next >>
halcyon, california
evans & sutherland
max berg
dana snyder
conference national
head (movie)
dave willis
lithium orotate
winningreen llc
weakening
c. martin croker
noble (car)
scaly breasted munia
stu barnes
jennifer pea
mu operator
aeschylus (disambiguation)
quasi satellite
dry line
dick smith
bruntingthorpe
black headed munia
murray baron
william congreve
sultartangaln
william congreve (inventor)
north sydney bears
bor district
list of kansas rivers
volcanoes national park
svnavatn
strict logic
bor (god)
hvalvatn
bor (middle earth)
shawn bates
angel (vampire)
tjrnin
yucca valley high school
lonchura
medial longitudinal fasciculus
bates battaglia
siglduln
noncommutative logic
Copyright 2005-2009 OnPedia.com. All Rights Reserved