The following pages link to Synthesized substructural logics (Q5293191):
Displaying 5 items.
- Current trends in substructural logics (Q266641) (← links)
- Substructural logics with mingle (Q1610623) (← links)
- Advancements in resource-driven substructural defeasible logic (Q2296710) (← links)
- Interpolation via translations (Q3184216) (← links)
- Relevance Principle for Substructural Logics with Mingle and Strong Negation (Q4796457) (← links)