Available identifiers
zbMath Open arthan.rob-d MaRDI QID Q287357
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 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
This page was built for person: Rob Arthan
