Proof Search on Bilateralist Judgments over Non-deterministic Semantics.

Vitor Greati Sérgio Marcelino João Marcos

Published in: TABLEAUX (2021)

Keyphrases

proof search
theorem prover
linear logic
theorem proving
formal semantics
proof planning
inference rules
search procedure
logic programming
proof procedure
automated reasoning
sequent calculus
predicate calculus
operational semantics
logical framework
artificial intelligence
programming language
expert systems