Pages that link to "Item:Q3133161"
From MaRDI portal
The following pages link to Suppes-style sequent calculus for probability logic (Q3133161):
Displaying 7 items.
- Sequent calculus for classical logic probabilized (Q1712933) (← links)
- A logic and computation for Popper's conditional probabilities (Q2146066) (← links)
- A Complete Deductive System for Probability Logic (Q3656777) (← links)
- Probabilized Sequent Calculus and Natural Deduction System for Classical Logic (Q5024718) (← links)
- A proof-search system for the logic of likelihood (Q5082322) (← links)
- Generalizing probabilistic material implication and Bayesian conditionals (Q6066849) (← links)
- On counting propositional logic and Wagner's hierarchy (Q6100184) (← links)