Probability is initially defined on a Boolean algebra or a lattice of projectors. We propose here to start from a Heyting algebra.
No takes yet. Share an insight, caveat, or question.
Jean-Pascal Laedermann (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: