Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification

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 with almost-everywhere quantification is proposed. The completeness of the axiomatization against the measure-theoretic semantics is carried out using a variant of the Lindenbaum

• Type: Journal
• Year: 2008
• Where: LOGCOM
• Authors: Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, Cristina Sernadas
• Keywords: First-order Logic, Generalized Quantifiers, Lindenbaum­ Henkin Technique, LOGCOM 2008