Mathematical notation and analogy

Alan Smaill

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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 languageEnglish
Title of host publicationSymposium on Mathematical Practice and Cognition II. Paper Presented at AISB/IACAP World Congress (30-31)
Number of pages2
Publication statusPublished - 23 Apr 2012

Fingerprint Dive into the research topics of 'Mathematical notation and analogy'. Together they form a unique fingerprint.

Cite this