Pages that link to "Item:Q5435112"
From MaRDI portal
The following pages link to Substructural Logics in Natural Deduction (Q5435112):
Displaying 24 items.
- Current trends in substructural logics (Q266641) (← links)
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- Off-line parsability and the well-foundedness of subsumption (Q1285865) (← links)
- Subintuitionistic logics (Q1333312) (← links)
- Extending intuitionistic linear logic with knotted structural rules (Q1344438) (← links)
- Substructural logics with mingle (Q1610623) (← links)
- Formalized meta-theory of sequent calculi for substructural logics (Q1744443) (← links)
- Natural deduction bottom up (Q2236507) (← links)
- Normal proofs, cut free derivations and structural rules (Q2259009) (← links)
- Proper semantics for substructural logics, from a stalker theoretic point of view (Q2426733) (← links)
- On structural inference rules for Gentzen-style natural deduction. I (Q2784788) (← links)
- Conuclear images of substructural logics (Q2813674) (← links)
- CHR: a constructive relevant natural-deduction logic (Q2845524) (← links)
- Refinements of subatomic natural deduction (Q2957958) (← links)
- Full Lambek Calculus in natural deduction (Q3406453) (← links)
- Skolemization for Substructural Logics (Q3460036) (← links)
- Labelled natural deduction for substructural logics (Q4255972) (← links)
- (Q4373553) (← links)
- (Q4793029) (← links)
- (Q5144357) (← links)
- Substructural logic and partial correctness (Q5267434) (← links)
- Synthesized substructural logics (Q5293191) (← links)
- Hiroakira Ono on Substructural Logics (Q6486095) (← links)
- Eight rules for implication elimination (Q6612871) (← links)
