Bistructures, Bidomains and Linear Logic.

Gordon D. Plotkin Glynn Winskel

Published in: ICALP (1994)

Keyphrases

linear logic
fixed point
intuitionistic logic
sequent calculus
logic programming
desirable properties
proof theoretic
cut elimination
proof search
logical framework
machine learning
description logics
dynamical systems
probabilistic reasoning
natural deduction