Pages that link to "Item:Q1685482"
From MaRDI portal
The following pages link to A simple sequent calculus for Angell's logic of analytic containment (Q1685482):
Displaying 5 items.
- Simple hyperintensional belief revision (Q2051125) (← links)
- Idempotent variations on the theme of exclusive disjunction (Q2115285) (← links)
- Logics of synonymy (Q2194116) (← links)
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication (Q2243548) (← links)
- Sextus Empiricus' Fourth Conditional and Containment Logic (Q5208234) (← links)
