Satisfaction Classes via Cut Elimination.

Cezary Cieslinski

Published in: ICLA (2019)

Keyphrases

cut elimination
sequent calculus
linear logic
wide class
linear time temporal logic
artificial intelligence
high dimensional
dimensionality reduction
sufficient conditions
logic programming