Added the citesort.sty style, because it orderes references which makes
it slightly easier to follow the bibliography.
Added a bibliography file bib.bib.
Added some notes about relating additive conjunction in linear logic
to !A in eremic logic.