On concurrent behaviors and focusing in linear logic.

Carlos Olarte Elaine Pimentel

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

Keyphrases

linear logic
sequent calculus
fixed point
proof theoretic
intuitionistic logic
logic programming
desirable properties
logical framework
cut elimination
inference rules
proof search
artificial intelligence
high level
natural language
finite state machines