Login / Signup
Normal deduction in the intuitionistic linear logic.
Grigori Mints
Published in:
Arch. Math. Log. (1998)
Keyphrases
</>
linear logic
intuitionistic logic
proof search
inference rules
fixed point
proof theoretic
cut elimination
logical framework
sequent calculus
logic programming
theorem proving
desirable properties
machine learning
natural deduction
graph cuts
pairwise
high level
decision making