Login / Signup
On Weihrauch Reducibility and intuitionistic Reverse Mathematics.
Rutger Kuyper
Published in:
J. Symb. Log. (2017)
Keyphrases
</>
linear logic
computer science
fuzzy set theory
theorem prover
computer algebra
classical logic
fuzzy numbers
interval valued
fuzzy information
mathematics education
cut elimination
mathematical knowledge
image sequences
logical framework
intrinsic complexity
computer algebra systems