Logical Inferentialism Challenges Classical Logic Foundations

The paper finds natural deduction meets harmony and subformula property, unlike classical excluded middle. Submitted 4 June 2025, revised 26 September 2025. Read more: getnews.me/logical-inferentialism-c... #logicalinferentialism #naturaldeduction