Pages that link to "Item:Q1181491"
From MaRDI portal
The following pages link to The contraction rule and decision problems for logics without structural rules (Q1181491):
Displaying 11 items.
- Contraction-elimination for implicational logics (Q676308) (← links)
- Predicate logics without the structure rules (Q1089330) (← links)
- Extending intuitionistic linear logic with knotted structural rules (Q1344438) (← links)
- Towards a non-classical meta-theory for substructural approaches to paradox (Q2240546) (← links)
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (Q2940884) (← links)
- Interpolation via translations (Q3184216) (← links)
- FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE (Q3188328) (← links)
- On contraction and the modal fragment (Q3520225) (← links)
- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials (Q3532470) (← links)
- A computational complexity of decision procedure for the intuitionistic logic without weakening rule (Q4000672) (← links)
- Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)