↧
Answer by Thomas Klimpel for Is there something wrong in breaking the...
Honestly, I don't see the symmetry of NJ you are referring to. There may be some symmetries in the introduction and elimination rule for "and", perhaps even for "implication", but calling the rules for...
View ArticleAnswer by Bumble for Is there something wrong in breaking the symmetry of...
The symmetry between introduction and elimination rules for the logical constants is called harmony. The idea of logical harmony has been defended by several logicians, including Gentzen and Prawitz,...
View ArticleIs there something wrong in breaking the symmetry of Natural Deduction?
In the intuitionistic natural deduction (NJ) we have a nice symmetry : each logical connective has an introduction rule and an elimination rule.But when we want to switch to classical logic (NK) we...
View Article
More Pages to Explore .....