The choice of mathematical symbols, such as connectives, while being arbitrary from a logic point of view, is nevertheless important for intuitive understanding, especially in new and unfamiliar theories. The case of Linear Logic, where there are two distinctly different proposals for the choice of connectives, shows the influence of different mathematical analogies at work.
|Title of host publication||Symposium on Mathematical Practice and Cognition II. Paper Presented at AISB/IACAP World Congress (30-31)|
|Number of pages||2|
|Publication status||Published - 23 Apr 2012|