Probabilistic semantics for intuitionistic logic

DOI10.1305/NDJFL/1093870307MaRDI QIDQ1155296zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

intuitionistic probability functions

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Intuitionistic mathematics (03F55) Axioms; other general questions in probability (60A05)

Cited in

(4)

• Intuitionistic-Bayesian Semantics of First-Order Logic for Generics
• From classical to intuitionistic probability
• Indeterminism in physics and intuitionistic mathematics
• Probabilistic semantics and calculi for multi-valued and paraconsistent logics

This page was built for publication: Probabilistic semantics for intuitionistic logic

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