Relational semantics for Basic Logic

Abstract

this paper, since they provide with the right intuitions for the de nition of evaluation of formulae, in section

    Similar works

    Full text

    thumbnail-image

    Available Versions