Login / Signup
Confluence of an extension of Combinatory Logic by Boolean Constants.
Lukasz Czajka
Published in:
CoRR (2013)
Keyphrases
</>
multi valued
rewrite systems
boolean logic
truth table
real valued
modal logic
defeasible logic
linear time temporal logic
logic programming
real time
proof theoretic
asynchronous circuits
epistemic logic
boolean functions
databases
logical framework
automated reasoning
term rewriting
learning algorithm
database