Maarten McKubre-Jordens

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 4

Top Topics

Convex Constraints

Delay Insensitive

Defeasible Logic

Top Venues

Arch. Math. Log.

J. Lond. Math. Soc.

Publications

Hannes Diener, Maarten McKubre-Jordens
Classifying material implications over minimal logic. Arch. Math. Log. 59 (7-8) (2020)
Maarten McKubre-Jordens, Phillip L. Wilson
Infinity in Computable Probability. FLAP 6 (6) (2019)
Louis Warren, Hannes Diener, Maarten McKubre-Jordens
The Drinker Paradox and its Dual. CoRR (2018)
Douglas S. Bridges, James E. Dent, Maarten McKubre-Jordens
Z-stability in Constructive Analysis. Log. Methods Comput. Sci. 12 (3) (2016)
Douglas S. Bridges, Maarten McKubre-Jordens
Solving the Dirichlet problem constructively. J. Log. Anal. 5 (2013)
Douglas S. Bridges, Hajime Ishihara, Maarten McKubre-Jordens
Uniformly convex Banach spaces are reflexive - constructively. Math. Log. Q. 59 (4-5) (2013)
Douglas S. Bridges, James E. Dent, Maarten McKubre-Jordens
Two direct proofs that LLPO implies the detachable fan theorem. Log. J. IGPL 21 (5) (2013)
Gaven J. Martin, Maarten McKubre-Jordens
average distortion and Nitsche-type phenomena. J. Lond. Math. Soc. 85 (2) (2012)
Maarten McKubre-Jordens, Zach Weber
Real Analysis in Paraconsistent Logic. J. Philos. Log. 41 (5) (2012)