Rob Arthan

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 9

Top Topics

Predicate Logic

Theorem Proving

Semantics For Logic Programs

Algebraic Structures

Top Venues

J. Autom. Reason.

J. Formaliz. Reason.

Publications

Rob Arthan, Paulo Oliva
On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem. J. Log. Anal. 13 (2021)
Rob Arthan, Paulo Oliva
Double Negation Semantics for Generalisations of Heyting Algebras. Stud Logica 109 (2) (2021)
Rob Arthan, Paulo Oliva
Negative Translations for Affine and Lukasiewicz Logic. CoRR (2019)
Rob Arthan, Paulo Oliva
Studying Algebraic Structures using Prover9 and Mace4. CoRR (2019)
Rob Arthan, Paulo Oliva
A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic. CoRR (2018)
Rob Arthan
On Definitions of Constants and Types in HOL. J. Autom. Reason. 56 (3) (2016)
Yuhui Lin, Gudmund Grov, Rob Arthan
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC. J. Formaliz. Reason. 9 (2) (2016)
Yuhui Lin, Gudmund Grov, Rob Arthan
Understanding and maintaining tactics graphically OR how we learned that a diagram can be worth more than 10K LoC. CoRR (2016)
Ramana Kumar, Rob Arthan, Magnus O. Myreen, Scott Owens
Self-Formalisation of Higher-Order Logic - Semantics, Soundness, and a Verified Implementation. J. Autom. Reason. 56 (3) (2016)
Rob Arthan, Paulo Oliva
On Pocrims and Hoops. CoRR (2014)
Rob Arthan, Paulo Oliva
On Affine Logic and Łukasiewicz Logic. CoRR (2014)
Ramana Kumar, Rob Arthan, Magnus O. Myreen, Scott Owens
HOL with Definitions: Semantics, Soundness, and a Verified Implementation. ITP (2014)
Rob Arthan
HOL Constant Definition Done Right. ITP (2014)
Rob Arthan, Paulo Oliva
(Dual) Hoops Have Unique Halving. Automated Reasoning and Mathematics (2013)
Rob Arthan, Ursula Martin, Paulo Oliva
A Hoare logic for linear systems. Formal Aspects Comput. 25 (3) (2013)
Rob Arthan, Paulo Oliva
(Dual) Hoops Have Unique Halving CoRR (2012)
Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß
The 1st Verified Software Competition: Experience Report. FM (2011)
Rob Arthan, Ursula Martin, Erik Arne Mathiesen, Paulo Oliva
A general framework for sound and complete Floyd-Hoare logics. ACM Trans. Comput. Log. 11 (1) (2009)
Rob Arthan
Computational Logic and Continuous Mathematics, Pure and Applied. Calculemus/MKM (2009)
Rob Arthan, Ursula Martin, Erik Arne Mathiesen, Paulo Oliva
A General Framework for Sound and Complete Floyd-Hoare Logics CoRR (2008)
Rob Arthan
Mechanized Reasoning for Continuous Problem Domains (Invited Talk). PAAR/ESHOL (2008)