On Combinatorial Proofs for Logics of Relevance and Entailment.
Matteo AcclavioLutz StraßburgerPublished in: WoLLIC (2019)
Keyphrases
- decision procedures
- expressive power
- modal logic
- logic based argumentation
- theorem proving
- inference rules
- information retrieval
- classical logic
- formal proofs
- np complete
- theorem prover
- np hard
- conditional logic
- tableau calculus
- co occurrence
- logical framework
- nonmonotonic logics
- relevance ranking
- epistemic logic
- natural deduction
- sequent calculus
- formal proof
- probabilistic inductive logic programming