Pages that link to "Item:Q549720"
From MaRDI portal
The following pages link to Disjunction property and complexity of substructural logics (Q549720):
Displaying 5 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)
- Algebraic proof theory for LE-logics (Q6493417) (← links)
