In the logical discipline of proof theory, a structural rule is an inference rule of a sequent calculus that does not refer to any logical connective but instead operates on the sequents directly.[1][2] Structural rules often mimic the intended meta-theoretic properties of the logic. Logics that deny one or more of the structural rules are classified as substructural logics.
- ^ Gentzen, Gerhard (1935). "Untersuchungen über das logische Schließen. I, Mathematische Zeitschrift". Mathematische Zeitschrift (in German). 39 (1): 176–210. doi:10.1007/BF01201353. ISSN 0025-5874.
- ^ Szabo, M. E. (1969). Collected papers of Gerhard Gentzen. Place of publication not identified: Elsevier. ISBN 978-0-444-53419-4.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search