Intuitionistic propositional probability logic
From MaRDI portal
Publication:6094169
DOI10.1002/malq.202100052zbMath1521.03016OpenAlexW4293462461MaRDI QIDQ6094169
Unnamed Author, Zoran Ognjanović, Unnamed Author
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
Probability and inductive logic (03B48) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \(p\)-adic probability logics
- From classical to intuitionistic probability
- Generalized probabilism: Dutch books and accuracy domination
- Probabilistic logic
- Constructivism in mathematics. An introduction. Volume I
- Intuitive semantics for first-degree entailments and `coupled trees'
- Contradictory information: too much of a good thing
- Belief based on inconsistent information
- Constraint tableaux for two-dimensional fuzzy logics
- Probability Logics
- How a Computer Should Think
- Reasoning about knowledge and probability
- Validity Measurement in Some Propositional Logics
- A probabilistic extension of intuitionistic logic
- An intuitionistic logic with probabilistic operators
- Logics for reasoning about degrees of confirmation
This page was built for publication: Intuitionistic propositional probability logic