How to Extend The Semantic Tableaux and Cut-Free Versions of The Second Incompleteness Theorem Almost to Robinson's Arithmetic Q.
Dan E. WillardPublished in: J. Symb. Log. (2002)
Keyphrases
- incomplete information
- semantic network
- semantically meaningful
- semantic knowledge
- co occurrence
- semantic analysis
- modal logic
- semantic search
- semantic features
- natural language
- missing values
- decision procedures
- semantic interpretation
- digital topology
- semantic description
- von neumann
- semantically rich
- data sets
- semantic similarity
- low level features
- similarity measure
- high level
- multimedia
- machine learning