Elected 1978
Philosophy
Links between logic and semantics, including model-theoretic definitions of mathematical constructions, formal semantics for sentences with scope peculiarities, the logic of Ibn Sina and its semantic foundations
