Il a apporté des contributions importantes à la théorie de la preuve en clarifiant les liens entre la logique classique, la logique intuitionniste et la logique modale.
Il a apporté des contributions importantes à la théorie de la preuve en clarifiant les liens entre la logique classique, la logique intuitionniste et la logique modale.