The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable

Authors
Publication date
Publisher
'Association for Symbolic Logic'
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Crossref

      redirect
      Last time updated on 28/11/2020