Ein allgemeiner Ansatz zur asymptotischen Eliminierung von Aggregationsfunktionen und verallgemeinerten Quantoren

Zusammenfassung Wir betrachten eine Logik mit Wahrheitswerten im Intervall [0, 1] und die Aggregationsfunktionen anstelle von Quantoren verwendet, und wir beschreiben einen allgemeinen Ansatz zur asymptotischen Eliminierung von Aggregationsfunktionen und indirekt zur asymptotischen Eliminierung von verallgemeinerten Quantoren im Mostowski-Stil, da diese durch Aggregationsfunktionen ausgedrückt werden können. Das Konzept der „lokalen Kontinuität“ einer Aggregationsfunktion, das wir auf zwei (verwandte) Weisen präzisieren, spielt eine zentrale Rolle in diesem Ansatz.