Pages that link to "Item:Q1712933"
From MaRDI portal
The following pages link to Sequent calculus for classical logic probabilized (Q1712933):
Displaying 6 items.
- Suppes-style sequent calculus for probability logic (Q3133161) (← links)
- Non deterministic classical logic: the $\lambda\mu^{++}$-calculus (Q4530146) (← links)
- A sequent calculus for skeptical Default Logic (Q4610318) (← links)
- Probabilized Sequent Calculus and Natural Deduction System for Classical Logic (Q5024718) (← links)
- Generalizing probabilistic material implication and Bayesian conditionals (Q6066849) (← links)
- A possible worlds semantics for trustworthy non-deterministic computations (Q6596679) (← links)