Available identifiers
zbMath Open arthan.rob-dMaRDI QIDQ287357
List of research outcomes
Publication | Date of Publication | Type |
---|
On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem | 2022-02-09 | Paper |
Double negation semantics for generalisations of Heyting algebras | 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 | 2016-05-26 | Paper |
Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation | 2016-05-26 | Paper |
A general framework for sound and complete Floyd-Hoare logics | 2015-09-17 | Paper |
A Hoare logic for linear systems | 2014-11-11 | Paper |
HOL with Definitions: Semantics, Soundness, and a Verified Implementation | 2014-09-08 | Paper |
HOL Constant Definition Done Right | 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 | 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 | 2009-07-09 | Paper |
A Minimalist Construction of the Geometric Algebra | 2006-07-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4790650 | 2003-02-04 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
This page was built for person: Rob Arthan