Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification

DOI10.1093/logcom/exn014zbMath1157.03014OpenAlexW2084427539MaRDI QIDQ3549314

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

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

complete axiomatizationprobabilistic logicmeasure-theoretic semanticsgeneralized quantificationalmost-everywhere logic

Mathematics Subject Classification ID

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

Related Items (3)

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

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