2005-09-21 さらにメモ 哲学 http://plato.stanford.edu/entries/logic-substructural/ http://plato.stanford.edu/entries/logic-paraconsistent/