Login / Signup
A Paraconsistent Higher Order Logic.
Jørgen Villadsen
Published in:
Paraconsistent Computational Logic (2002)
Keyphrases
</>
higher order logic
higher order
theorem prover
inference rules
logical framework
logic programming
conditional logic
theorem proving
truth values
pairwise
first order logic
modal logic
default reasoning
reasoning tasks
artificial intelligence
knowledge representation