A natural prior probability distribution derived from the propositional calculus
From MaRDI portal
Publication:1344630
DOI10.1016/S0168-0072(94)90011-6zbMath0821.03012OpenAlexW2064556108MaRDI QIDQ1344630
G. M. Wilmers, Alena Vencovská, Jeffrey Bruce Paris
Publication date: 18 September 1995
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0168-0072(94)90011-6
Related Items
The fraction of large random trees representing a given Boolean function in implicational logic, A sprouting tree model for random boolean functions, Making decisions with evidential probability and objective Bayesian calibration inductive logics, Complexity and Limiting Ratio of Boolean Functions over Implication, Generalised and quotient models for random and/or~trees and application to satisfiability, Associative and commutative tree representations for Boolean functions, An inductive method for inexact reasoning, ON THE STRUCTURE OF PROBABILITY FUNCTIONS IN THE NATURAL WORLD
Cites Work