3 ms·
By "natural deduction", I assume both of you refer to the system which is related to "sequent calculus" ? [1]. [1] https://en.wikipedia.org/wiki/Natural_deduct
by astrobe_ 1y ago
By "natural deduction", I assume both of you refer to the system which is related to "sequent calculus" ? [1].
[1] https://en.wikipedia.org/wiki/Natural_deduction https://en.wikipedia.org/wiki/Natural_deduction
- cubefox 1y agoYes. See the "Comparison with sequent calculus" section.