The Church-Rosser property in symmetric combinatory logic.

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

Keyphrases

logic programming
nonmonotonic logics
modal logic
computational properties
neural network
artificial intelligence
information systems
defeasible logic
knowledge representation
multi valued
deontic logic
classical logic
query language
expert systems
database systems
machine learning
real world