Pages that link to "Item:Q5519120"
From MaRDI portal
The following pages link to A Decision Procedure For the System <i>E</i><sub>Ī</sub> of Entailment with Negation (Q5519120):
Displaying 14 items.
- Current trends in substructural logics (Q266641) (← links)
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- A relevant logic of questions (Q829829) (← links)
- The contraction rule and decision problems for logics without structural rules (Q1181491) (← links)
- Classical relevant logics. I (Q1221097) (← links)
- Cut-elimination theorem for relevant logics (Q1247417) (← links)
- Relevant analytic tableaux (Q1257473) (← links)
- On the decision problem for MELL (Q1733062) (← links)
- \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs (Q2454875) (← links)
- On interpretation and separation theorems for the logical systems E and R (Q2557238) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
- The undecidability of entailment and relevant implication (Q3703869) (← links)
- The complexity of decision procedures in relevance logic II (Q4948542) (← links)
- Intensional models for first degree formulas (Q5552158) (← links)