Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory.

Published in: CADE (2023)

Keyphrases

set theory
first order logic
quantifier free
theorem proving
proof search
theorem prover
inference rules
quantifier elimination
propositional logic
knowledge representation
description logics
term rewriting
relational algebra
rough set theory
databases
fuzzy set theory
expert systems
knowledge base