Sheffer’s Stroke: a study in proof-theoretic harmony Stephen Read Department of Logic and Metaphysics University of St Andrews Fife KY16 9AL

Source URL: www.st-andrews.ac.uk

• Mathematics
• Boolean algebra
• Proof theory
• Deduction
• Logical connectives
• Natural deduction
• Admissible rule
• Sheffer stroke
• Sequent calculus
• Logic
• Mathematical logic
• Propositional calculus