The present experiment investigated the development of implicit and explicit knowledge during concept learning. According to Cleeremans and Jiménez (2002), the content of a representation can be conscious only when the representation is of a sufficiently good quality; on this theory, increasing explicit and decreasing implicit knowledge might be expected with training. The view that implicit kn...

Type classes and overloading are shown to be independent concepts that can both be added to simple higher-order logics in the tradition of Church and Gordon, without demanding more logical expressiveness. In particular, model-theoretic issues are not affected. Our metalogical results may serve as a foundation of systems like Isabelle/Pure that offer the user Haskell-style order-sorted polymorph...

We consider proof systems for effectively propositional logic. First, we show that propositional resolution for effectively propositional logic may have exponentially longer refutations than resolution for this logic. This shows that methods based on ground instantiation may be weaker than non-ground methods. Second, we introduce a generalisation rule for effectively propositional logic and sho...