Interpolation and Beth's property in propositional many-valued logics: A semantic investigation.
Franco MontagnaPublished in: Ann. Pure Appl. Log. (2006)
Keyphrases
- modal logic
- default logic
- expressive power
- first order logic
- truth values
- high level
- natural language
- classical logic
- conceptual clustering
- propositional logic
- semantic similarity
- semantic information
- semantic web
- semantic search
- semantic knowledge
- inference rules
- conditional logic
- coalition logic
- multi valued
- probabilistic logic
- domain specific
- image interpolation
- co occurrence
- classical first order logic