A semantic analysis of some distributive logics with negation.
Sergio A. CelaniPublished in: Reports Math. Log. (2013)
Keyphrases
- semantic analysis
- truth values
- natural language processing
- logic programming
- natural language understanding
- modal logic
- expressive power
- logic programs
- semantic information
- natural language
- classical logic
- inference rules
- syntactic analysis
- deductive databases
- fixpoint
- semantic meaning
- syntactic parsing
- general theory
- natural language sentences
- parse tree
- databases
- database
- datalog programs
- predicate logic