Sequent Calculus: Symmetric Proof Systems Comprehensive guide to sequent calculus, exploring symmetric proof systems with structural rules and their applications in automated reasoning. 2025-12-20