Proof Search on Bilateralist Judgments over Non-deterministic Semantics.

Vitor Greati Sérgio Marcelino João Marcos

Published in: CoRR (2021)

Keyphrases

proof search
inference rules
theorem prover
proof planning
theorem proving
formal semantics
search procedure
linear logic
proof procedure
bayesian networks
logical framework
first order logic
model theoretic