| 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
(available as arXiv preprint) | 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
(available as arXiv preprint) | 2019-09-18 | Paper |
Negative Translations for Affine and Lukasiewicz Logic
(available as arXiv preprint) | 2019-01-01 | Paper |
| On the Ja\'skowski Models for Intuitionistic Propositional Logic | 2018-09-02 | Paper |
On the Jaśkowski Models for Intuitionistic Propositional Logic
(available as arXiv preprint) | 2018-01-01 | 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 |
On Affine Logic and Łukasiewicz Logic
(available as arXiv preprint) | 2014-01-01 | Paper |
On Pocrims and Hoops
(available as arXiv preprint) | 2014-01-01 | 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 |
Hoops, Coops and the Algebraic Semantics of Continuous Logic
(available as arXiv preprint) | 2012-01-01 | Paper |
| The decision problem for normed spaces over any class of ordered fields | 2011-04-17 | Paper |
The decision problem for normed spaces over any class of ordered fields
(available as arXiv preprint) | 2011-01-01 | Paper |
| Undecidabiliity for the additive AIA fragment of the theory of normed spaces | 2010-02-06 | Paper |
Undecidabiliity for the additive AIA fragment of the theory of normed spaces
(available as arXiv preprint) | 2010-01-01 | 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 |
A Minimalist Construction of the Geometric Algebra
(available as arXiv preprint) | 2006-01-01 | Paper |
| scientific article; zbMATH DE number 1863376 (Why is no real title available?) | 2003-02-04 | Paper |
