The following pages link to A System for Strict Implication (Q5596729):
Displaying 6 items.
- Fragments of R-mingle (Q1770601) (← links)
- Logic and majority voting (Q2121481) (← links)
- Analytic tableaux for non-deterministic semantics (Q2142063) (← links)
- R-Mingle is Nice, and so is Arnon Avron (Q5020167) (← links)
- E, R AND <i>γ</i> (Q5181343) (← links)
- The implicational fragment of $R$-mingle (Q5633971) (← links)
