Substructural Logics in Natural Deduction
From MaRDI portal
Recommendations
- Labelled natural deduction for substructural logics
- scientific article; zbMATH DE number 1907195
- Substructural logics: a primer
- SUBSTRUCTURAL INQUISITIVE LOGICS
- scientific article; zbMATH DE number 1406811
- Substructural logic of proofs
- scientific article; zbMATH DE number 1975400
- scientific article; zbMATH DE number 3902624
- scientific article; zbMATH DE number 4053610
- scientific article; zbMATH DE number 823607
Cited in
(31)- Subformula and separation properties in natural deduction via small Kripke models
- Current trends in substructural logics
- Substructural logic and partial correctness
- Synthesized substructural logics
- scientific article; zbMATH DE number 1107619 (Why is no real title available?)
- Substructural logics with mingle
- scientific article; zbMATH DE number 591901 (Why is no real title available?)
- Formalized meta-theory of sequent calculi for substructural logics
- Natural deduction bottom up
- Full Lambek Calculus in natural deduction
- Proper semantics for substructural logics, from a stalker theoretic point of view
- Extending intuitionistic linear logic with knotted structural rules
- Off-line parsability and the well-foundedness of subsumption
- On structural inference rules for Gentzen-style natural deduction. I
- Conuclear images of substructural logics
- Investigations into a left-structural right-substructural sequent calculus
- CHR: a constructive relevant natural-deduction logic
- scientific article; zbMATH DE number 517068 (Why is no real title available?)
- Refinements of subatomic natural deduction
- Eight rules for implication elimination
- Skolemization for Substructural Logics
- A natural extension of natural deduction
- Structural Rules in Natural Deduction with Alternatives
- Natural deduction systems for some non-commutative logics
- Hiroakira Ono on Substructural Logics
- Labelled natural deduction for substructural logics
- scientific article; zbMATH DE number 956469 (Why is no real title available?)
- Subintuitionistic logics
- scientific article; zbMATH DE number 7297101 (Why is no real title available?)
- scientific article; zbMATH DE number 1870417 (Why is no real title available?)
- Normal proofs, cut free derivations and structural rules
This page was built for publication: Substructural Logics in Natural Deduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5435112)
