This paper aims to develop further and systemize the theory of multiple belief change based on the previous work on the package contraction, developed by [Fuhrmann and Hansson 1994] and the general belief changes, developed by [Zhang 1996]. Two main representation theorems for general contractions are given, one is based on partial meet models and the other on nice-ordered partition models. An ...

This paper provides a notion of Zadeh categories as a categorical structure formed by fuzzy relations with sup-min composition, and proves two representation theorems for Dedekind categories (relation categories) with a unit object analogous to one-point set, and for Zadeh categories without unit objects.

One of the main tools in the study of nonmonotonic consequence relations is the representation of such relations in terms of preferential models. In this paper we give an unified and simpler framework to obtain such representation theorems.

We provide representation theorems for both finite and countable sequences of finite-valued random variables that are considered to be partially exchangeable. In their most general form, our results are presented in terms of sets of desirable gambles, a very general framework for modelling uncertainty. Its key advantages are that it allows for imprecision, is more expressive than almost every o...

The continuous functionals were independently introduced by Kleene [6] and Kreisel [7]. Kleenes motivation was to isolate a subclass of the total functionals of pure, finite type closed under S1-S9-computations (Kleene [5]) which could be described using countable information. He defined his functionals via the associates and the idea is that an associate for a functional Ψ contains sufficient ...