Linear Logic Automata.

Max I. Kanovich

Published in: Ann. Pure Appl. Log. (1996)

Keyphrases

linear logic
fixed point
cellular automata
sequent calculus
cut elimination
proof theoretic
logic programming
desirable properties
logical framework
finite automata
proof search
intuitionistic logic
regular expressions
finite state machines