×

zbMATH — the first resource for mathematics

A probabilistic validity measure in intuitionistic propositional logic. (English) Zbl 1040.03509
Summary: An extension of the Heyting propositional logic obtained by adding some probability measure axioms is considered. The corresponding Kripke-type and algebraic models are described.
MSC:
03B48 Probability and inductive logic
03B20 Subsystems of classical logic (including intuitionistic logic)
PDF BibTeX XML Cite