The following pages link to (Q4694214):
Displaying 16 items.
- A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514558) (← links)
- 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)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Relation algebras as expanded FL-algebras (Q1936489) (← links)
- Proof complexity of substructural logics (Q2032997) (← links)
- Duality results for (co)residuated lattices (Q2418015) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Editorial introduction: substructural logics and metainferences (Q2679572) (← 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)
- Modal translation of substructural logics (Q5217248) (← links)
- A syntactic approach to Maksimova's principle of variable separation for some substructural logics (Q5937808) (← links)
