System of Spheres-based Multiple Contractions |
| |
| Authors: | Eduardo Fermé Maurício D L Reis |
| |
| Institution: | 1. Madeira Interactive Technologies Institute, Universidade da Madeira, Funchal, Portugal
2. Centro de Ci??ncias Exactas e da Engenharia, Universidade da Madeira, Funchal, Portugal
|
| |
| Abstract: | We propose a new class of multiple contraction operations — the system of spheres-based multiple contractions — which are a generalization of Grove’s system of spheres-based (singleton) contractions to the case of contractions by (possibly
non-singleton) sets of sentences. Furthermore, we show that this new class of functions is a subclass of the class of the
partial meet multiple contractions. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
