Pages that link to "Item:Q549720"
From MaRDI portal
The following pages link to Disjunction property and complexity of substructural logics (Q549720):
Displaying 9 items.
- Integrally closed residuated lattices (Q831226) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- Complexity of some language fragments of fuzzy logics (Q1699732) (← links)
- From cut-free calculi to automated deduction: the case of bounded contraction (Q1744444) (← links)
- Proof complexity of substructural logics (Q2032997) (← links)
- Varieties generated by standard BL-algebras (Q2454042) (← links)
- Conuclear images of substructural logics (Q2813674) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
