Partial probability functions and intuitionistic logic

MaRDI QIDQ5413340zbMATH OpenFDO

Authors François Lepage

Publication date 29 April 2014

Full work available at URL http://www.filozof.uni.lodz.pl/bulletin/pdf/41_34_6.pdf

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• A probabilistic extension of intuitionistic logic
• An intuitionistic logic with probabilistic operators
• Probabilistic models for intuitionistic predicate logic
• Intuitionistic propositional probability logic
• Validity Measurement in Some Propositional Logics

Cited in

(7)

• Probabilistic models for intuitionistic predicate logic
• Reconciling Bayesian epistemology and narration-based approaches to judiciary fact-finding
• A probabilistic extension of intuitionistic logic
• scientific article; zbMATH DE number 2121570 (Why is no real title available?)
• scientific article; zbMATH DE number 6287649 (Why is no real title available?)
• Probabilistic canonical models for partial logics
• Intuitionistic propositional probability logic

This page was built for publication: Partial probability functions and intuitionistic logic

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