Focused Proof-search in the Logic of Bunched Implications.

Alexander Gheorghiu Sonia Marin

Published in: FoSSaCS (2021)

Keyphrases

proof search
linear logic
theorem prover
theorem proving
inference rules
proof planning
search procedure
sequent calculus
cut elimination
proof procedure
modal logic
automated reasoning
logical framework
intuitionistic logic
artificial intelligence
propositional logic
first order logic
np complete
logic programming