Lattice of exponential modalities

From LLWiki
(Difference between revisions)
Jump to: navigation, search
(lattice drawing only)

Revision as of 22:37, 5 October 2009

\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] }

Retrieved from "http://140.77.166.78/mediawiki/index.php?title=Lattice_of_exponential_modalities&oldid=416"
Personal tools