Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
Luı́s Cruz-Filipe, João Rasga, Amı́lcar Sernadas, Cristina Sernadas · Journal of Logic and Computation · 2008
Following recent developments in the topic of generalized quantifiers, and also having in mind applications in the areas of security and artificial intelligence, a conservative enrichment of (two-sorted) first-order logic (FOL) with almost-everywhere quantification is proposed. The completeness of the axiomatization against the measure-heoretic semantics is carried out using a variant of the Lindenbaum–Henkin technique. The independence of the axioms is analysed, and the almost-everywhere quantifier is compared with related notions of generalized quantification. A suitable fragment of the logic is translated to FOL and validity is shown to be preserved.