Sciweavers

Share
LOGCOM
2008

Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification

9 years 7 months ago
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
Luís Cruz-Filipe, João Rasga, Am&iac
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2008
Where LOGCOM
Authors Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, Cristina Sernadas
Comments (0)
books