集約関数と一般化量化子の漸近的排除に関する一般的アプローチ

要約 我々は、単位区間内の真理値を持ち、量化子の代わりに集約関数を使用する論理について考察し、集約関数の漸近的排除、そして間接的にMostowskiスタイルの一般化量化子の漸近的排除に関する一般的アプローチを説明します。集約関数の「局所的連続性」という概念は、我々が二つの（関連する）方法で明確にするもので、このアプローチにおいて中心的な役割を果たします。