Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Symposium on Mathematical Practice and Cognition II. Paper Presented at AISB/IACAP World Congress (30-31) |
| Pages | 30-31 |
| Number of pages | 2 |
| Publication status | Published - 23 Apr 2012 |