Login / Signup
A Completeness Proof for A Regular Predicate Logic with Undefined Truth Value.
Antti Valmari
Lauri Hella
Published in:
CoRR (2021)
Keyphrases
</>
predicate logic
order sorted
formal logic
knowledge representation and reasoning
temporal logic
semantic net
computational linguistics
predicate calculus
semantic network
theorem proving
theorem prover
lower level
automated reasoning
highly expressive
databases
web pages
search engine