Login / Signup
On noncommutative extensions of linear logic.
Sergey Slavnov
Published in:
CoRR (2017)
Keyphrases
</>
linear logic
fixed point
logic programming
sequent calculus
default logic
logical framework
cut elimination
intuitionistic logic
desirable properties
proof search
proof theoretic
database
machine learning
state space
inference rules
natural deduction