Login / Signup
On noncommutative extensions of linear logic.
Sergey Slavnov
Published in:
Log. Methods Comput. Sci. (2019)
Keyphrases
</>
linear logic
fixed point
proof search
proof theoretic
cut elimination
logic programming
intuitionistic logic
sequent calculus
desirable properties
default logic
artificial intelligence
logical framework
natural deduction
default reasoning
inference rules
first order logic
relational databases