Intuitionistic propositional probability logic

DOI10.1002/MALQ.202100052MaRDI QIDQ6094169zbMATH OpenOpenAlexFDO

Authors Zoran Ognjanović

Publication date 12 September 2023

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.202100052

Mathematics Subject Classification ID

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

Recommendations

• An intuitionistic logic with probabilistic operators
• A probabilistic extension of intuitionistic logic
• Validity Measurement in Some Propositional Logics
• scientific article; zbMATH DE number 988760
• Partial probability functions and intuitionistic logic

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 32142 (Why is no real title available?)
• scientific article; zbMATH DE number 1505462 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• A probabilistic extension of intuitionistic logic
• An intuitionistic logic with probabilistic operators
• Belief based on inconsistent information
• Constraint tableaux for two-dimensional fuzzy logics
• Constructivism in mathematics. An introduction. Volume I
• Contradictory information: too much of a good thing
• From classical to intuitionistic probability
• Generalized probabilism: Dutch books and accuracy domination
• How a Computer Should Think
• Intuitive semantics for first-degree entailments and `coupled trees'
• Logics for reasoning about degrees of confirmation
• Probabilistic logic
• Probability logics. Probability-based formalization of uncertain reasoning
• Reasoning about knowledge and probability
• Validity Measurement in Some Propositional Logics
• \(p\)-adic probability logics

Cited in

(9)

• Statistics of intuitionistic versus classical logics
• Interval/probabilistic uncertainty and non-classical logics
• From classical to intuitionistic probability
• Partial probability functions and intuitionistic logic
• A probabilistic extension of intuitionistic logic
• Probabilistic models for intuitionistic predicate logic
• An intuitionistic logic with probabilistic operators
• Bipolar logic and probabilistic interpretation
• Tableau for the logic ILP

This page was built for publication: Intuitionistic propositional probability logic

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