Classical Logic with Partial Functions.

Hans de Nivelle

Published in: J. Autom. Reason. (2011)

Keyphrases

classical logic
logic programming
modal logic
possibilistic logic
valued logic
intuitionistic logic
revision operators
computer science and artificial intelligence
database
automated theorem proving
genetic algorithm
knowledge base
fuzzy logic
rough sets
programming language