Probabilistic semantics for intuitionistic logic
From MaRDI portal
Publication:1155296
DOI10.1305/NDJFL/1093870307zbMath0466.60003OpenAlexW2078977665MaRDI QIDQ1155296
Charles G. Morgan, Hugues Leblanc
Publication date: 1983
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093870307
Foundations of classical theories (including reverse mathematics) (03B30) Axioms; other general questions in probability (60A05) Intuitionistic mathematics (03F55)
Related Items (3)
Intuitionistic-Bayesian Semantics of First-Order Logic for Generics ⋮ Indeterminism in physics and intuitionistic mathematics ⋮ From classical to intuitionistic probability
This page was built for publication: Probabilistic semantics for intuitionistic logic
