Proof complexity of substructural logics.

Published in: Ann. Pure Appl. Log. (2021)

Keyphrases

propositional calculus
expressive power
proof theory
computational complexity
proof theoretic
modal logic
complexity analysis
information retrieval
case study
inference rules
theorem prover
decision procedures