Strong Normalization and Confluence for Reflexive Combinatory Logic.

Daniyar S. Shamkanov

Published in: WoLLIC (2011)

Keyphrases

rewrite systems
modal logic
predicate logic
database
logic programming
automated reasoning
proof theory
sound and complete axiomatization
neural network
knowledge base
case study
classical logic
computational properties
set theory
truth values
banach space