Focused Proof-search in the Logic of Bunched Implications.

Alexander Gheorghiu Sonia Marin

Published in: CoRR (2020)

Keyphrases

proof search
linear logic
theorem prover
theorem proving
inference rules
proof planning
search procedure
proof procedure
sequent calculus
cut elimination
intuitionistic logic
first order logic
modal logic
simulated annealing
industrial applications
predicate calculus
automated reasoning
fixed point
tabu search