Login / Signup
Sequent calculus proof theory of intuitionistic apartness and order relations.
Sara Negri
Published in:
Arch. Math. Log. (1999)
Keyphrases
</>
cut elimination
sequent calculus
linear logic
proof theory
inference rules
wide class