Encoding Hamiltonian circuits into multiplicative linear logic.

Thomas Krantz Virgile Mogbil

Published in: Theor. Comput. Sci. (2001)

Keyphrases

linear logic
fixed point
cut elimination
proof theoretic
logical framework
logic programming
high speed
sequent calculus
proof search
intuitionistic logic
desirable properties
state space
machine learning
nonmonotonic reasoning
inference rules
qualitative and quantitative
logic programs