Simulating Computations in Second Order Non-Commutative Linear Logic.

Max I. Kanovich

Published in: Electron. Notes Theor. Comput. Sci. (1996)

Keyphrases

linear logic
fixed point
higher order
desirable properties
logical framework
sequent calculus
proof theoretic
logic programming
intuitionistic logic
cut elimination
proof search
general purpose
database systems
reinforcement learning
inference rules