We propose a model of full propositional linear logic based on topological vector spaces. The essential feature is that we consider partially ordered vector spaces, or, rather, positive cones in such spaces. Thus we introduce a category whose objects are dual pairs of normed cones satisfying certain specific completeness properties, such as existence of norm-bounded monotone suprema, and whose ...

Given a single instance of a novel category, twoand threeyear-old children systematically generalize its name to other novel things based on appropriate feature dimensions. We explain this in terms of a prediction of the probabilistic density (category likelihood) in feature space from a single novel instance. In principle, observing more instances from a particular probabilistic density, one c...