Reversible, Information-Preserving Logic and Its Application.

Martin Lukac Ben Shuai Michitaka Kameyama D. Michael Miller

Published in: J. Multiple Valued Log. Soft Comput. (2014)

Keyphrases

information preserving
classical logic
markov chain
cellular automata
predicate logic
formal theory
logic synthesis
computational properties
multi valued
modal logic
real world
neural network
data model
multiscale
automated reasoning
decision trees
artificial intelligence
data sets
proof theory
real time
database