Rob Arthan

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

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Rob Arthan