Pages that link to "Item:Q2446684"
From MaRDI portal
The following pages link to A sequent calculus for a logic of contingencies (Q2446684):
Displaying 13 items.
- A logical calculus for controlled monotonicity (Q472804) (← links)
- A simple irredundance test for tautological sequents (Q1590516) (← links)
- A simple sequent calculus for Angell's logic of analytic containment (Q1685482) (← links)
- Diversification of object-languages for propositional logics (Q1711508) (← links)
- Sequential reflexive logics with noncontingency operator (Q1810258) (← links)
- Sequent calculi for choice logics (Q2104520) (← links)
- Paraconsistency in classical logic (Q2219139) (← links)
- A sound and complete proof theory for propositional logical contingencies (Q2425353) (← links)
- Sequent calculi for propositional star-free likelihood logic (Q2571505) (← links)
- Sequent Systems for Lewis’ Conditional Logics (Q2915082) (← links)
- A sequent calculus for skeptical Default Logic (Q4610318) (← links)
- Consistent disjunctive sequent calculi and Scott domains (Q5048008) (← links)
- A proof-search system for the logic of likelihood (Q5082322) (← links)