The Church-Rosser property in dual combinatory logic.

Published in: J. Symb. Log. (2003)

Keyphrases

modal logic
logic programming
multi valued
automated reasoning
genetic algorithm
desirable properties
database
clustering algorithm
decision trees
primal dual
classical logic
computational properties
digital circuits