A Sound and Complete Calculus for Probability Inequalities
From MaRDI portal
- Another algorithm for bracket abstraction
- Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
- Don't eliminate cut
- From classical to intuitionistic probability
- Fuzzy and probability uncertainty logics
- Grundbegriffe der Wahrscheinlichkeitsrechnung.
- How not to be wrong. The power of mathematical thinking
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Implicational formulas in intuitionistic logic
- Inferences in probability logic
- Logic and structure
- Logics for Computer Science
- Martingales and arbitrage in multiperiod securities markets
- Measures in Boolean Algebras
- Modal logic
- On confirmation and rational betting
- On the algebra of logic. A contribution to the philosophy of notation.
- PDE and martingale methods in option pricing.
- Probabilistic logic
- Probability logic
- Rings of sets
- Some simplified NP-complete graph problems
- Sui passaggi al limite nel calcolo delle probabilità.
- The origins of the use of the argument of trivialization in the twentieth century
- Untersuchungen über das logische Schliessen. I
- Upper and Lower Probabilities Induced by a Multivalued Mapping
This page was built for software: A Sound and Complete Calculus for Probability Inequalities
