Computation of Birnbaum's Importance Using Logic Differential Calculus.

Miroslav Kvassay Patrik Rusnak Peter Sedlacek

Published 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