Logic-based merging: the infinite case.
J. Chacón, Ramón Pino Pérez · 2004
We extend the results of Konieczny and Pino Pérez (J. Log. and Comp. 2002) concerning merging operators in a finite logical framework to the infinite case (countably many propositional variables). The main result is the representation theorem. Some postulates had to be restated in a new form, equivalent only in the finite case, but more appropriate to deal with the infinite case. The construction of merging operators starting from distances between valuations is also generalized. We introduce a new kind of operators built upon the so called Cantor distance.