A definitive probabilistic semantics for first-order logic

DOI10.1007/BF00293430zbMath0505.03002MaRDI QIDQ1835912

Kent Bendall

Publication date: 1982

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

classical logicseparation propertyprobability functionsprobabilistic semanticsadmissibility conditionsdeterminablelogical operator

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Belief-theoretic formal semantics for first-order logic and probability
• Natural deduction, separation, and the meaning of logical operators
• Concerning measures in first order calculi
• Probabilistic Semantics for First-Order Logic

This page was built for publication: A definitive probabilistic semantics for first-order logic