| Publication | Date of Publication | Type |
|---|
Decomposability of \(\mathbb{R}\) and dense negative subsets of \(\mathbb{R}\) in constructive reverse mathematics
Logic Journal of the IGPL | 2026-03-25 | Paper |
A constructive interpretation of the logical constants
The Bulletin of Symbolic Logic | 2025-12-08 | Paper |
The temporal continuum
The Review of Symbolic Logic | 2025-08-25 | Paper |
The provably total functions of basic arithmetic and its extensions
Archive for Mathematical Logic | 2025-02-18 | Paper |
Kolmogorov and Kuroda translations into basic predicate logic
Logic Journal of the IGPL | 2024-11-15 | Paper |
| A logical framework for the Islamic law | 2024-10-14 | Paper |
Unification types in Euclidean modal logics
Logic Journal of the IGPL | 2023-07-06 | Paper |
Compactness, colocatedness, measurability and ED
Logic Journal of the IGPL | 2022-08-10 | Paper |
| The provably total recursive functions and the MRDP theorem in Basic Arithmetic and its extensions | 2020-03-03 | Paper |
Avicenna on the primary propositions
History and Philosophy of Logic | 2020-01-15 | Paper |
A counterexample to polynomially bounded realizability of basic arithmetic
Notre Dame Journal of Formal Logic | 2019-10-22 | Paper |
The \(\Sigma_1\)-provability logic of \(\mathsf{HA}^{*}\)
Journal of Symbolic Logic | 2019-09-17 | Paper |
Basic propositional logic and the weak excluded middle
Logic Journal of the IGPL | 2019-06-18 | Paper |
The principle of open induction and Specker sequences
Logic Journal of the IGPL | 2019-01-08 | Paper |
Reduction of provability logics to _1-provability logics
Logic Journal of the IGPL | 2019-01-08 | Paper |
Latarres, lattices with an arrow
Studia Logica | 2018-10-02 | Paper |
The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
Annals of Pure and Applied Logic | 2018-07-17 | Paper |
Boolean algebras in Visser algebras
Notre Dame Journal of Formal Logic | 2016-03-04 | Paper |
The de Jongh property for basic arithmetic
Archive for Mathematical Logic | 2014-12-15 | Paper |
| The \Sigma₁ Provability Logic of HA | 2014-09-19 | Paper |
Completeness of intermediate logics with doubly negated axioms
Mathematical Logic Quarterly | 2014-03-21 | Paper |
A unification of the basic logics of Sambin and Visser
Logic Journal of the IGPL | 2013-04-17 | Paper |
A solution to the surprise exam paradox in constructive mathematics
The Review of Symbolic Logic | 2013-01-10 | Paper |
On the constructive notion of closure maps
Mathematical Logic Quarterly (MLQ) | 2012-09-12 | Paper |
On Löb algebras. II
Logic Journal of the IGPL | 2012-08-01 | Paper |
The double negation of the intermediate value theorem
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Decidability and Specker sequences in intuitionistic mathematics
Mathematical Logic Quarterly | 2009-12-14 | Paper |
An Introduction to Basic Arithmetic
Logic Journal of the IGPL | 2008-03-07 | Paper |
Amalgamation property for the class of basic algebras and some of its natural subclasses
Archive for Mathematical Logic | 2007-01-24 | Paper |
On some questions of L. Åqvist
Logic Journal of the IGPL | 2006-07-06 | Paper |
On Löb algebras
MLQ | 2006-03-24 | Paper |
On the linear Lindenbaum algebra of Basic Propositional Logic
Mathematical Logic Quarterly | 2004-03-15 | Paper |
Intuitionistic axiomatizations for bounded extension Kripke models.
Annals of Pure and Applied Logic | 2003-11-25 | Paper |
A Gentzen-style axiomatization for basic predicate calculus
Archive for Mathematical Logic | 2003-09-16 | Paper |
| Every Rooted Narrow Tree Kripke Model of HA is Locally PA | 2002-07-24 | Paper |
Gentzen-style axiomatizations for some conservative extensions of Basic Propositional Logic
Studia Logica | 2002-04-14 | Paper |
Intuitionistic open induction and least number principle and the Buss operator
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
Basic propositional calculus. II: Interpolation
Archive for Mathematical Logic | 2001-01-01 | Paper |
| A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic | 2000-12-06 | Paper |
A translation of intuitionistic predicate logic into basic predicate logic
Studia Logica | 2000-03-13 | Paper |
Basic Propositional Calculus I
Mathematical Logic Quarterly | 1999-05-16 | Paper |
