List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|
On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem
Journal of Logic and Analysis | 2022-02-09 | Paper |
Double negation semantics for generalisations of Heyting algebras
Studia Logica | 2021-04-27 | Paper |
On the Borel-Cantelli Lemmas, the Erd\H{o}s-R\'enyi Theorem, and the Kochen-Stone Theorem
| 2020-12-17 | Paper |
Negative Translations for Affine and Lukasiewicz Logic
| 2019-11-29 | Paper |
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
| 2019-09-18 | Paper |
On the Ja\'skowski Models for Intuitionistic Propositional Logic
| 2018-09-02 | Paper |
On definitions of constants and types in HOL
Journal of Automated Reasoning | 2016-05-26 | Paper |
Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation
Journal of Automated Reasoning | 2016-05-26 | Paper |
A general framework for sound and complete Floyd-Hoare logics
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A Hoare logic for linear systems
Formal Aspects of Computing | 2014-11-11 | Paper |
HOL with definitions: semantics, soundness, and a verified implementation
Interactive Theorem Proving | 2014-09-08 | Paper |
HOL Constant Definition Done Right
Interactive Theorem Proving | 2014-09-08 | Paper |
On Pocrims and Hoops
| 2014-04-03 | Paper |
On Affine Logic and {\L}ukasiewicz Logic
| 2014-04-02 | Paper |
(Dual) hoops have unique halving
Automated Reasoning and Mathematics | 2013-04-16 | Paper |
Hoops, Coops and the Algebraic Semantics of Continuous Logic
| 2012-12-12 | Paper |
The decision problem for normed spaces over any class of ordered fields
| 2011-04-17 | Paper |
Undecidabiliity for the additive AIA fragment of the theory of normed spaces
| 2010-02-06 | Paper |
Computational Logic and Continuous Mathematics, Pure and Applied
Lecture Notes in Computer Science | 2009-07-09 | Paper |
A Minimalist Construction of the Geometric Algebra
| 2006-07-07 | Paper |
scientific article; zbMATH DE number 1863376 (Why is no real title available?)
| 2003-02-04 | Paper |
Research outcomes over time
This page was built for person: Rob Arthan
