Pages that link to "Item:Q1089330"
From MaRDI portal
The following pages link to Predicate logics without the structure rules (Q1089330):
Displaying 13 items.
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- The contraction rule and decision problems for logics without structural rules (Q1181491) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic (Q1337604) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- Towards a non-classical meta-theory for substructural approaches to paradox (Q2240546) (← links)
- Dynamic non-commutative logic (Q2268354) (← links)
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (Q2940884) (← links)
- FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE (Q3188328) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials (Q3532470) (← links)
- 1999 European Summer Meeting of the Association for Symbolic Logic (Q4953838) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
