The book features engaging dialogues on social, philosophical and religious issues based on the styles of argument taken up in the chapters. In additions to core concepts, distinctions, explanations, ...
We introduce several restricted versions of the structural rules in the implicational fragment of Gentzen's sequent calculus LJ. For example, we permit the applications of a structural rule only if ...