The Linear Logic of Multisets.

Athanassios Tzouvaras

Published in: Log. J. IGPL (1998)

Keyphrases

linear logic
fixed point
real valued
logic programming
cut elimination
proof theoretic
sequent calculus
proof search
desirable properties
rough approximations
logical framework
intuitionistic logic
probabilistic model
inference rules