Login / Signup
Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules.
Nils Kürbis
Published in:
CoRR (2021)
Keyphrases
</>
intuitionistic logic
linear logic
proof theoretic