A proof-search system for the logic of likelihood.

Romas Alonderis Haroldas Giedra

Published in: Log. J. IGPL (2020)

Keyphrases

proof search
linear logic
theorem prover
theorem proving
inference rules
proof planning
search procedure
sequent calculus
proof procedure
cut elimination
artificial intelligence
automated reasoning
logical framework