On assertion and denial in the logic for pragmatics.
Massimiliano CarraraDaniele ChiffiCiro De FlorioPublished in: J. Appl. Log. (2017)
Keyphrases
- natural language processing
- classical logic
- logic programming
- sound and complete axiomatization
- formal semantics
- multi valued
- epistemic logic
- modal logic
- database
- formal language
- computational properties
- automated reasoning
- logic synthesis
- proof theory
- formal theory
- predicate logic
- logical framework
- probability theory
- expressive power
- multi agent
- database systems
- website
- real world