Debates concerning philosophical grounds for the validity of classical a...
Natural deduction systems, as proposed by Gentzen and further studied by...
The quest of smoothly combining logics so that connectives from classica...
The discussion about how to put together Gentzen's systems for classical...