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
inference rules
theorem proving
proof planning
search procedure
proof procedure
sequent calculus
cut elimination
first order logic
intuitionistic logic
tabu search
machine learning
predicate calculus
natural deduction
classical logic
simulated annealing