Confluence of an Extension of Combinatory Logic by Boolean Constants.

Published in: FSCD (2017)

Keyphrases

multi valued
rewrite systems
boolean logic
real valued
proof theoretic
truth table
linear time temporal logic
modal logic
classical logic
proof theory
logic programming
set theory
neural network
asynchronous circuits
formal theory
digital circuits
active rules