Absolute probability functions for intuitionistic propositional logic

DOI10.1023/A:1004385411641zbMath0931.03037OpenAlexW2014555924MaRDI QIDQ1299962

Hugues Leblanc, Peter Roeper

Publication date: 22 November 1999

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

Full work available at URL: https://doi.org/10.1023/a:1004385411641

zbMATH Keywords

intuitionistic logicabsolute probability functionsprobability semantics

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (5)

Explication of inductive probability ⋮ Probability for the revision theory of truth ⋮ The reference class problem is your problem too ⋮ Probabilization of logics: completeness and decidability ⋮ Conditional probability in the light of qualitative belief change

Cites Work

• Unnamed Item
• Probabilistic semantics objectified: I. Postulates and logics
• Probabilistic semantics objectified: II. Implication in probabilistic model sets
• Conditionals, probability, and non-triviality

This page was built for publication: Absolute probability functions for intuitionistic propositional logic