Pandora: A Reasoning Toolbox using Natural Deduction Style

Abstract

Journal Article Pandora: A Reasoning Toolbox using Natural Deduction Style Get access Krysia Broda, Krysia Broda Department of Computing, Imperial College London, South Kensington Campus, Exhibition Road, London SW7 2AZ, UK. E-mails: {[e-mail],[e-mail],[e-mail],[e-mail]} Search for other works by this author on: Oxford Academic Google Scholar Jiefei Ma, Jiefei Ma Department of Computing, Imperial College London, South Kensington Campus, Exhibition Road, London SW7 2AZ, UK. E-mails: {[e-mail],[e-mail],[e-mail],[e-mail]} Search for other works by this author on: Oxford Academic Google Scholar Gabrielle Sinnadurai, Gabrielle Sinnadurai Department of Computing, Imperial College London, South Kensington Campus, Exhibition Road, London SW7 2AZ, UK. E-mails: {[e-mail],[e-mail],[e-mail],[e-mail]} Search for other works by this author on: Oxford Academic Google Scholar Alexander Summers Alexander Summers Department of Computing, Imperial College London, South Kensington Campus, Exhibition Road, London SW7 2AZ, UK. E-mails: {[e-mail],[e-mail],[e-mail],[e-mail]} Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 15, Issue 4, August 2007, Pages 293–304, https://doi.org/10.1093/jigpal/jzm020 Published: 01 August 2007 Article history Received: 18 May 2007 Published: 01 August 2007