Phase semantics for light linear logic.

Max I. Kanovich Mitsuhiro Okada Andre Scedrov

Published in: MFPS (1997)

Keyphrases

linear logic
proof theoretic
logic programming
logical framework
intuitionistic logic
cut elimination
fixed point
logic programs
reasoning tasks
belief revision
formal semantics
sequent calculus
default reasoning
proof search
inference rules
nonmonotonic reasoning
answer set programming
proof theory
knowledge base