Login / Signup
Event Spaces and their Linear Logic.
Vaughan R. Pratt
Published in:
AMAST (1991)
Keyphrases
</>
linear logic
fixed point
logical framework
proof theoretic
sequent calculus
desirable properties
proof search
event detection
cut elimination
logic programming
inference rules
intuitionistic logic
bayesian networks
expert systems
general purpose