Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification

DOI10.1093/LOGCOM/EXN014MaRDI QIDQ3549314zbMATH OpenOpenAlexFDO

Authors Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, Cristina Sernadas

Publication date 22 December 2008

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/29d569f337b98e0fe6de279acde7265bd2a68285

zbMATH Keywords

almost-everywhere logiccomplete axiomatizationgeneralized quantificationmeasure-theoretic semanticsprobabilistic logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logic with extra quantifiers and operators (03C80)

Recommendations

• Completeness and interpolation of almost-everywhere quantification over finitely additive measures
• New axiomatisations of discrete quantitative and qualitative possibilistic integrals
• Discrete measures and strict topologies
• scientific article; zbMATH DE number 1018775
• scientific article; zbMATH DE number 5521855
• Completeness theorem for probability models with finitely many valued measure in logic with integrals
• Axiomatizations of the discrete Choquet integral and extensions
• Continuity and completeness of lattice-valued possibilistic measures
• Towards an effective theory of absolutely continuous measures
• Almost-measurability relation induced by lattice-valued partial possibilistic measures

Cited in

(4)

• Default consequence relations from topology and measure theory
• Probabilization of logics: completeness and decidability
• Completeness and interpolation of almost-everywhere quantification over finitely additive measures
• Probabilistic semantics and calculi for multi-valued and paraconsistent logics

This page was built for publication: Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification

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