A finitary outer measure logic

DOI10.1093/LOGCOM/EXAC048MaRDI QIDQ6042094

Stefano Baratella

Publication date: 16 May 2023

Published in: Journal of Logic and Computation (Search for Journal in Brave)

zbMATH Keywords

outer measureprobability logicsubmeasureweak completeness

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: A finitary outer measure logic