Login / Signup
From QBFs to MALL and back via focussing: fragments of multiplicative additive linear logic for each level of the polynomial hierarchy.
Anupam Das
Published in:
CoRR (2019)
Keyphrases
</>
linear logic
polynomial hierarchy
fixed point
logical framework
learning algorithm
high level
computational complexity
relational databases
knowledge representation
logic programming
dynamical systems
inference rules