Connectedness of the continuum in intuitionistic mathematics.
Mark BickfordPublished in: Math. Log. Q. (2018)
Keyphrases
- linear logic
- computer science
- theorem prover
- fuzzy numbers
- computer algebra
- fuzzy set theory
- fuzzy information
- interval valued
- connected components
- classical logic
- computer assisted instruction
- mathematical knowledge
- electrical engineering
- fuzzy relations
- data sets
- rough sets
- decision making
- mathematics education
- neural network