Lattice of exponential modalities

From LLWiki
(Difference between revisions)
Jump to: navigation, search
(lattice drawing only)
 
m (declared as stub)
Line 1: Line 1:
  +
{{stub}}
  +
 
<math>
 
<math>
 
\xymatrix{
 
\xymatrix{

Revision as of 22:28, 16 October 2009

This page is a stub and needs more content.



\xymatrix{
 & & {\wn} \\
 & & & & {\wn\oc\wn}\ar[ull] \\
\emptyset\ar[uurr] & & & {\oc\wn} \ar[ur] & & {\wn\oc} \ar[ul] \\
 & & & & {\oc\wn\oc} \ar[ul]\ar[ur] \\
 & & {\oc} \ar[uull]\ar[urr]
}

Personal tools