Combinatory logic is known to be related to substructural logics. Algebraic considerations of the latter, in particular, algebraic considerations of two distinct implications (→, ←), led to the ...

The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...

THOSE who, like the present writer, have been privileged to hear Major MacMahon give an account of his methods of solving the problems of which the well-known Latin Square is typical—problems of ...

IN this little book Major P. A. MacMahon has given a short introduction to his two volumes on combinatory analysis which were published in 1915–16. The theories of combination, permu tation, ...