A probabilistic extension of intuitionistic logic
From MaRDI portal
Publication:4419271
Recommendations
- scientific article; zbMATH DE number 4066847
- An intuitionistic logic with probabilistic operators
- Partial probability functions and intuitionistic logic
- Intuitionistic propositional probability logic
- Probabilistic models for intuitionistic predicate logic
- Probabilistic extensions of various logical systems
- Probability logic: A model-theoretic perspective
- Absolute probability functions for intuitionistic propositional logic
- An extension of the probability logic \(\mathrm{LPP}_2\)
- scientific article; zbMATH DE number 1123884
Cited in
(29)- A probabilistic interpolation theorem
- Corrigendum to: ``Towards a probability theory for product logic: states, integral representation and reasoning
- Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers
- A logic with approximate conditional probabilities that can model default reasoning
- A survey on temporal logics for specifying and verifying real-time systems
- Interval/probabilistic uncertainty and non-classical logics
- A \(p\)-adic probability logic
- Probabilistic extensions of various logical systems
- Generalization of the fundamental theorem of probability logic in multi-valued propositional logic
- Logical perspectives on the foundations of probability
- Measure Logic
- scientific article; zbMATH DE number 1696513 (Why is no real title available?)
- An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic
- Partial probability functions and intuitionistic logic
- An algebraic synthesis of the foundations of logic and probability
- Probabilistic models for intuitionistic predicate logic
- Probabilistic logic over equations and domain restrictions
- scientific article; zbMATH DE number 834562 (Why is no real title available?)
- Logics with Probability Operators
- An intuitionistic logic with probabilistic operators
- On counting propositional logic and Wagner's hierarchy
- On probability and logic
- \(p\)-adic probability logics
- The logic ILP for intuitionistic reasoning about probability
- Conditional \(p\)-adic probability logic
- Intuitionistic propositional probability logic
- A logic for propositions with indefinite truth values
- Tableau for the logic ILP
- Sequent calculus for classical logic probabilized
This page was built for publication: A probabilistic extension of intuitionistic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4419271)
