Maarten McKubre-Jordens

11 papers Journal 11
YearRankTypeTitle / Venue / Authors
2020 J jnl
Classifying material implications over minimal logic.
Arch. Math. Log.
Hannes Diener, Maarten McKubre-Jordens
2019 J jnl
Infinity in Computable Probability.
FLAP
Maarten McKubre-Jordens, Phillip L. Wilson
2018 J jnl
The Drinker Paradox and its Dual.
CoRR
Louis Warren, Hannes Diener, Maarten McKubre-Jordens
2017 J jnl
Front Matter.
Australas. J. Log.
Zach Weber, Maarten McKubre-Jordens, Patrick Girard
2017 J jnl
Paraconsistent Measurement of the Circle.
Australas. J. Log.
Zach Weber, Maarten McKubre-Jordens
2016 J jnl
Z-stability in Constructive Analysis.
Log. Methods Comput. Sci.
Douglas S. Bridges, James E. Dent, Maarten McKubre-Jordens
2013 J jnl
Solving the Dirichlet problem constructively.
J. Log. Anal.
Douglas S. Bridges, Maarten McKubre-Jordens
2013 J jnl
Two direct proofs that LLPO implies the detachable fan theorem.
Log. J. IGPL
Douglas S. Bridges, James E. Dent, Maarten McKubre-Jordens
2013 J jnl
Uniformly convex Banach spaces are reflexive - constructively.
Math. Log. Q.
Douglas S. Bridges, Hajime Ishihara, Maarten McKubre-Jordens
2012 J jnl
Deformations with smallest weighted
J. Lond. Math. Soc.
Gaven J. Martin, Maarten McKubre-Jordens
2012 J jnl
Real Analysis in Paraconsistent Logic.
J. Philos. Log.
Maarten McKubre-Jordens, Zach Weber