scientific article; zbMATH DE number 4006238

MaRDI QIDQ3757895zbMATH OpenFDO

Authors Hugues Leblanc

Publication date 1985

zbMATH Keywords

assumption setstruth-value-theoryunary probability functions

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Axioms; other general questions in probability (60A05)

Recommendations

• Probability semantics for quantifier logic
• Mathematical Foundations of Computer Science 2003
• Unary interpretability logic
• scientific article; zbMATH DE number 1948164
• scientific article; zbMATH DE number 1617330
• Probabilities in first—order logic of a unary function and a binary relation
• scientific article; zbMATH DE number 3948264
• Random unary predicates: Almost sure theories and countable models
• Probabilistic semantics and program analysis

Cited in

(2)

• Indiscernibility and identity in probability theory
• Random unary predicates: Almost sure theories and countable models

This page was built for publication:

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