Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Maarten McKubre-Jordens"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 12, Issue 3 (2017)
We introduce Z-stability, a notion capturing the intuition that if a function f maps a metric space into a normed space and if the norm of f(x) is small, then x is close to a zero of f. Working in Bishop's constructive setting, we first study pointwi
Externí odkaz:
https://doaj.org/article/3ea08a7907e04ff4afb9f85a2ce0e907
Autor:
Erik Istre, Maarten McKubre-Jordens
Publikováno v:
Outstanding Contributions to Logic ISBN: 9783030253646
We discuss logical difficulties with the naive set theory based on the weak relevant logic DKQ. These are induced by the restrictive nature of the relevant conditional and its interaction with set theory. The paper concludes with some possible ways t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b4f00e0f0dc3c017b5dfa5c71e819910
https://doi.org/10.1007/978-3-030-25365-3_17
https://doi.org/10.1007/978-3-030-25365-3_17
We introduce Z-stability, a notion capturing the intuition that if a function f maps a metric space into a normed space and if the norm of f(x) is small, then x is close to a zero of f. Working in Bishop's constructive setting, we first study pointwi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c41a66fbf9ee628658e083594fd8c507
https://lmcs.episciences.org/2031
https://lmcs.episciences.org/2031
Publikováno v:
The Australasian Journal of Logic. 14
Editors' Introduction and List of Contributors
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fe1fc8ee7c76591c94654747d9fbbdf5
https://doi.org/10.26686/ajl.v14i1.4024
https://doi.org/10.26686/ajl.v14i1.4024
Autor:
Zach Weber, Maarten McKubre-Jordens
Publikováno v:
The Australasian Journal of Logic. 14
A theorem from Archimedes on the area of a circle is proved in a setting where some inconsistency is permissible, by using paraconsistent reasoning. The new proof emphasizes that the famous method of exhaustion gives approximations of areas closer th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9819b4d7a3969b4c9444f1a3853b1315
https://doi.org/10.26686/ajl.v14i1.4034
https://doi.org/10.26686/ajl.v14i1.4034
Publikováno v:
Mathematical Logic Quarterly. 59:352-356
We propose a natural definition of what it means in a constructive context for a Banach space to be reflexive, and then prove a constructive counterpart of the Milman-Pettis theorem that uniformly convex Banach spaces are reflexive.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9e6bddd2d419fb1fa1c25f03eac5c5ca
https://doi.org/10.1002/malq.201200093
https://doi.org/10.1002/malq.201200093
Publikováno v:
Logic Journal of IGPL. 21:830-835
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c42ac0567459ad166189080f2500479a
https://doi.org/10.1093/jigpal/jzt003
https://doi.org/10.1093/jigpal/jzt003
Publikováno v:
Journal of Logic and Analysis. :1-22
The Dirichlet problem is of central importance in both applied and abstract potential theory. We prove the (perhaps surprising) result that the existence of solutions in the general case is an essentially nonconstructive proposition: there is no algo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::92566f25bccc6021b94ea6fa82101b75
https://doi.org/10.4115/jla.2013.5.3
https://doi.org/10.4115/jla.2013.5.3
Autor:
Maarten McKubre-Jordens, Hannes Diener
The so-called paradoxes of material implication have motivated the development of many non-classical logics over the years, such as relevance logics, paraconsistent logics, fuzzy logics and so on. In this note, we investigate some of these paradoxes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::76e47593c55aa9a1e6342a599f6434cf
Autor:
Gaven Martin, Maarten McKubre-Jordens
Publikováno v:
Journal of the London Mathematical Society. 85:282-300
The existence and uniqueness properties for extremal mappings with smallest weighted L distortion between annuli and the related Grotzsch type problems are discussed. An interesting critical phase type phenomena is observed. When p 1 minimisers alway
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::77985f880cdf25e3f7407f403a618307
https://doi.org/10.1112/jlms/jdr042
https://doi.org/10.1112/jlms/jdr042