ANITA: Analytic Tableau Proof Assistant.

Davi Romero de Vasconcelos

Published in: CoRR (2023)

Keyphrases

proof search
automated theorem proving
description logics
test bed
theorem proving
theorem prover
proof procedure
proof planning
linear logic
natural deduction
information systems
decision making
first order logic
inference rules
search procedure
mathematical proofs