Normal Proofs, Cut Free Derivations and Structural Rules Journal Articles Refereed uri icon

Overview

Published in

  • Studia Logica

Time

Date/time value

  • 2014

Identity

Digital Object Identifier (DOI)

  • 10.1007/s11225-014-9598-4

Additional Document Info

Parent Title

  • Studia Logica

Volume

  • 102

Issue

  • 6

Publisher

  • Kluwer Academic Publishers