The following pages link to Substructural logics with mingle (Q1610623):
Displayed 7 items.
- \(\mathbf R\) and relevance principle revisited (Q381004) (← links)
- Proof complexity of substructural logics (Q2032997) (← links)
- Logic and majority voting (Q2121481) (← links)
- Structure theorems for idempotent residuated lattices (Q2182567) (← links)
- On the Logic of Expansion in Natural Language (Q2964007) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)