In display calculi and hypersequent systems, which are recognized extensions of Gentzen's framework, structural rules can reintroduce connective complexity not present in the conclusion.

?Rate how convincing each reason is below to see the overall strength.

No one has weighed in yet. Be the first to share reasons for or against this statement.

Connective complexity(as the type of complexity that structural rules can reintroduce): The level of complication added by logical connectives—words like 'and,' 'or,' 'not,' and 'if-then' that link simple ideas into more complicated statements.
Display calculi(as a type of logical system being discussed): An advanced variation of sequent calculus that makes it easier to display and work with complex logical formulas by using special formatting rules.
Gentzen: Gerhard Gentzen was a German mathematician and logician (1909-1945) who made groundbreaking contributions to understanding how mathematical proofs work. He's famous for inventing "natural deduction," a system that mirrors how mathematicians actually reason step-by-step, and for developing sequent calculus, a formal framework for studying logic itself. His work laid the foundation for modern logic and computer science, though his career was tragically cut short during World War II.
Hypersequent systems(as another type of logical system being discussed)

Based on where you are in your exploration