engleski

Multiple Conclusion Deductions in Classical Logic

Multiple conclusion deductions are natural deduction formalism suitable for classical logic. MCDs are analytic and algorithmicaly equivalent to semantic trees and sequent proofs.

multiple conclusion deductions; classical logic; logic

nije evidentirano