Proof Search and Certificates for Evidential Transactions.

Vivek Nigam Giselle Reis Samar Rahmouni Harald Ruess

Published in: CADE (2021)

Keyphrases

proof search
theorem prover
theorem proving
linear logic
inference rules
proof planning
search procedure
proof procedure
access control
sequent calculus
first order logic
cut elimination