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):
Displayed 6 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)
- The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) (Q6043014) (← links)