A Cut-Like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction

Authors
Publication date
Publisher
'Springer Science and Business Media LLC'
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Crossref

      redirect
      oaiinfo:doi/10.1007%2F978-3-319-1...
      Last time updated on 03/08/2021