Proof-Theoretic Analysis of the Quantified Argument Calculus.
Edi PavlovicNorbert GratzlPublished in: Rev. Symb. Log. (2019)
Keyphrases
- theoretic analysis
- automated theorem proving
- natural deduction
- proof search
- proof procedure
- theorem proving
- sequent calculus
- theorem prover
- provably correct
- linear logic
- computer algebra
- inference rules
- automated theorem provers
- proof theoretic
- argumentation schemes
- cut elimination
- automated deduction
- legal argument
- argumentation systems
- real numbers
- modal logic
- first order logic
- expert systems
- neural network
- real time