Automating Reasoning with Standpoint Logic via Nested Sequents.
Tim S. LyonLucía Gómez ÁlvarezPublished in: CoRR (2022)
Keyphrases
- linear logic
- intuitionistic logic
- proof theoretic
- sequent calculus
- logical framework
- automated reasoning
- proof theory
- logic programming
- inference rules
- fixed point
- reasoning systems
- deductive reasoning
- natural deduction
- order of magnitude reasoning
- computational properties
- reasoning engine
- modal logic
- human reasoning
- desirable properties
- abductive reasoning
- knowledge representation
- knowledge representation and reasoning
- commonsense reasoning
- probabilistic logic
- qualitative reasoning
- belief revision
- horn logic
- machine learning
- theorem proving
- causal reasoning
- expressive power
- artificial intelligence
- derivation rules