The mathematical structure of Lewis's theory of strict implication Edward Huntington — 1935 Fundamenta Mathematicae