The Standard Logic of Z is Inconsistent.

Martin C. Henson

Published in: Formal Aspects Comput. (1998)

Keyphrases

logic programming
automated reasoning
machine learning
genetic algorithm
learning algorithm
artificial intelligence
search engine
e learning
image processing
multi agent
search algorithm
classical logic
predicate logic
inconsistent information