The following pages link to (Q4520811):
Displaying 6 items.
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- Constructive canonicity for lattice-based fixed point logics (Q1685915) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- (Q4636047) (← links)
- A uniform framework for substructural logics with modalities (Q4645752) (← links)