Pages that link to "Item:Q1970643"
From MaRDI portal
The following pages link to Substructural implicational logics including the relevant logic E (Q1970643):
Displaying 7 items.
- Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus (Q626494) (← links)
- Cut elimination theorems and a canonical model construction for some implicational substructural logics (Q2758081) (← links)
- Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems (Q3305420) (← links)
- Relevance Principle for Substructural Logics with Mingle and Strong Negation (Q4796457) (← links)
- Synthesized substructural logics (Q5293191) (← links)
- Sequent Calculi for Some Strict Implication Logics (Q5460206) (← links)
- 2005 Annual Meeting of the Association for Symbolic Logic (Q5479571) (← links)