Proof rules for the dialogical logic N.
Jesse AlamaSara L. UckelmanPublished in: LPAR short papers(Yogyakarta) (2010)
Keyphrases
- logical rules
- cut elimination
- proof theoretic
- linear logic
- natural deduction
- sequent calculus
- proof theory
- intuitionistic logic
- sequent calculi
- automated theorem proving
- neural network
- active rules
- rule extraction
- inference rules
- first order logic
- theorem proving
- proof search
- rule sets
- rule engine
- association rules
- derivation rules
- proof procedure
- business rules
- higher order logic
- programming language
- complete axiomatization
- natural language