James Thomson

St Edmund Hall College, Oxford
  •  4
    This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain in the United States of …Read more
  •  38
    A correct polynomial translation of s4 into intuitionistic logic
    with Rajeev Goré
    Journal of Symbolic Logic 84 (2): 439-451. 2019.
    We show that the polynomial translation of the classical propositional normal modal logic S4 into the intuitionistic propositional logic Int from Fernández is incorrect. We give a modified translation and prove its correctness, and provide implementations of both translations to allow others to test our results.