The Theory of the Generalised Real Numbers and Other Topics in Logic.
Lorenzo GaleottiPublished in: Bull. Symb. Log. (2019)
Keyphrases
- real numbers
- quantifier free
- formal theory
- set theory
- theoretical framework
- fuzzy numbers
- commonsense reasoning
- probability theory
- arithmetic operations
- related topics
- computer algebra
- proof theory
- linear inequalities
- deductive reasoning
- information retrieval
- interval arithmetic
- image processing
- logical framework
- multi valued
- first order logic
- pattern recognition
- proof theoretic
- rewrite systems
- artificial intelligence
- knowledge base
- mathematical theory
- topic models
- logic programming