An Introduction to Substructural Logics

By Greg Restall. 2000

566 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/0a38394e92c21607555d2385932dd46fe7267a5d

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. David Ripley

Citations in the corpus

• Deep Inference and Symmetry in Classical Proofs (2003, unknown): “[1, 32].”
• Paraconsistent Logic (2015, background): “On the other hand, affine logic (linear logic plus weakening; see eg [36] for details) has one negation, but two conjunctions.”