Computation of Birnbaum's Importance Using Logic Differential Calculus.
Miroslav KvassayPatrik RusnakPeter SedlacekPublished in: TSP (2019)
Keyphrases
- natural deduction
- automated theorem proving
- computer algebra
- logic programming
- efficient computation
- cut elimination
- artificial intelligence
- modal logic
- classical logic
- computational properties
- lambda calculus
- proof procedure
- proof theory
- relation algebra
- flip flops
- database query languages
- proof search
- formal language
- multi valued
- database systems