The following pages link to (Q4694214):
Displayed 9 items.
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- The contraction rule and decision problems for logics without structural rules (Q1181491) (← links)
- A decision procedure revisited: Notes on direct logic, linear logic and its implementation (Q1186430) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- Principal types of BCK-lambda-terms (Q1208417) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Construction Methods for Uninorms via Rotation, Rotation-Annihilation, and Twin Rotation (Q3143402) (← links)
- Linear Logic and Lukasiewicz ℵ<sub>0</sub>- Valued Logic: A Logico-Algebraic Study (Q4443011) (← links)
- A syntactic approach to Maksimova's principle of variable separation for some substructural logics (Q5937808) (← links)