Information systems with witnesses have been introduced in [13] as a logic-style representation of L-domains: The category of such information systems with approximable mappings as morphisms is equivalent to the category of L-domains with Scott continuous functions, which is known to be Cartesian closed. In the present paper a direct proof of the Cartesian closure of the category of information systems with witnesses and approximable mapppings is given. As is shown, the collection of approximable mappings between two information systems with witnesses comes with a natural information system structure. * The research leading to these results has received funding from the People Programme (Marie Curie Actions) of the European Union's Seventh Framework Programme FP7/2007-2013/ under REA grant agreement no. PIRSES-GA-2013-612638-CORCON.Whereas in Scott's approach the consistency witnesses are hidden, in the new approach they are made explicit. This allows to consider the more general situation in which a finite set of tokens may have different consistency witnesses, and the result of entailment may depend on them. As was shown in [13], the theories, or states, of such a more general information system form an L-domain, and, up to isomorphism, each L-domain can be obtained in this way. Moreover, there is an equivalence between the categories of information systems with witnesses and L-domains.The category of information systems has approximable mappings as morphisms. These are relations between the consistent subsets of one information system and the tokens of another. Entailment is a particular approximable mapping.As mentioned earlier, the category of L-domains and Scott continuous functions is Cartesian closed. Because of the equivalence of this category with the category of information systems with witnesses we know that the latter one is Cartesian closed as well. However, this means that in concrete situations we have to pass back and forth between information systems and domains in order to construct the exponent of two information systems with witnesses. In this paper we present a direct proof of the Cartesian closure of the category of information systems with witnesses. In particular, we present a construction of the exponent. This will be an information system with witnesses the states of which are exactly the approximable mappings between the information systems under consideration.Whereas for Scott's information systems capturing the bounded-complete algebraic domains, the function space construction is straightforward and well understood, the situation is rather intricate in the present case. This due to the fact that consistency is only locally defined and we have to deal with consistency witnesses explicitly. Moreover, as is known from Hoofman's work [9], in the continuous case entailment is required to allow for interpolation.The paper is organized as follows: Section 2 contains basic definitions and results from domain theory. In Section 3 relevant definitions and facts about information systems with ...