Sten Lindström

Learn More
Working within the AGM approach, Peter Gärdenfors has proved that — given certain auxiliary assumptions — there are no non-trivial belief revision systems that satisfy both the Ramsey test and the Preservation condition. There are various ways of reacting to Gärdenfors' paradoxical result. Gärdenfors himself has described his result as a dilemma: we must(More)
Peter Aczel: Predicate logic over a type setup There are a variety of closely related notions aimed at capturing the abstract structure of type dependency in the syntax and semantics of dependent type theories. Examples of such notions are category with attributes, category with families, category with display maps, contextual category, comprehension(More)