Semantics of a declarative language
The aim of this paper is to give a precise representation of semantics of a simple language. The formal means needed for that purpose are also simple: a restricted form of the intuitionistic propositional calculus. Nevertheless, the meaning of the semantics can be understood better if a realisation of intuitionistic formulae is considered.
scientific article; zbMATH DE number 3982490