Completeness and interpolation of almost-everywhere quantification over finitely additive measures

DOI10.1002/MALQ.201110051MaRDI QIDQ2856634zbMATH OpenOpenAlexFDO

Authors João Rasga, Wafik Boulos Lotfallah, Cristina Sernadas

Publication date 30 October 2013

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.201110051

zbMATH Keywords

almost-everywhere quantifiercomplete axiomatizationCraig interpolationgeneralized quantification

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Logic with extra quantifiers and operators (03C80)

Recommendations

• Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
• A probabilistic interpolation theorem
• Completeness theorem for probability models with finitely many valued measure in logic with integrals
• scientific article; zbMATH DE number 1123883
• Correspondence and Completeness for Generalized Quantifiers

Cites work

• A logic for default reasoning
• Almost everywhere elimination of probability quantifiers
• An analysis of first-order logics of probability
• Axioms for abstract model theory
• Barwise: Abstract Model Theory and Generalized Quantifiers
• Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
• Directions in generalized quantifier theory
• Generalized Quantifiers and Compact Logic
• Generalized quantifiers and natural language
• scientific article; zbMATH DE number 6003856 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 6154472 (Why is no real title available?)
• Ideal models and some not so ideal problems in the model theory of L(Q)
• Logic with the quantifier “there exist uncountably many”
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• On a generalization of quantifiers
• On the logic of few, many, and most
• Rank hierarchies for generalized quantifiers
• Skolem-type normal forms for first-order languages with a generalized quantifier
• Some model theory for monotone quantifiers
• Stationary logic
• The completeness of logic with the added quantifier "there are uncountable many"
• The hierarchy theorem for generalized quantifiers
• The logic of 'almost all'
• Truth and entailment for a vague quantifier

Cited in

(3)

• Default consequence relations from topology and measure theory
• Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
• Probabilistic semantics and calculi for multi-valued and paraconsistent logics

This page was built for publication: Completeness and interpolation of almost-everywhere quantification over finitely additive measures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2856634)