Intuitionistic Linear Logic

A variant of linear logic that allows a single, or no more than one, conclusion. Continues in discussion.

 

<< PreviousWord BrowserNext >>
noncommutative logic
military surplus
undermind
materiel
navy store
nolan baumgartner
lateral lemniscus
map of yvelines
prochlorococcus
foundation (charity)
interdependence
horrorcore
dismemberment
washita river
dave (movie)
foundation (architecture)
numerical control
maurice hinchey
cyborg theory
ridge lift
sutro tower
sartrouville
lombax
israeli embassy attack in london
farman salmanov
fabian strategy
uss la salle (ap 102)
answer me!
saint quentin en yvelines
bobby rahal
airspeed horsa
buddy rice
george herbig
50 pence
globalization and its discontents
the land conservancy
batter's box
skolem noether theorem
insomniac games
muhammad baqir al sadr
george frederick bodley
personal life index
alicia machado
alcaeus