If you're interested in this sort of thing Vaughan Pratt has an excellent paper explaining all this mindy/body dualism using Chu spaces[1]. When I was reading l

If you're interested in this sort of thing Vaughan Pratt has an excellent paper explaining all this mindy/body dualism using Chu spaces[1]. When I was reading linear logic I found it a pleasant diversion [1] http://boole.stanford.edu/pub/ratmech.pdf http://boole.stanford.edu/pub/ratmech.pdf