-
23Deformation structures developing on fine scalesPhilosophical Magazine 83 (31-34): 3871-3893. 2003.
-
42A minimal classical sequent calculus free of structural rulesAnnals of Pure and Applied Logic 161 (10): 1244-1253. 2010.Gentzen’s classical sequent calculus has explicit structural rules for contraction and weakening. They can be absorbed by replacing the axiom P,¬P by Γ,P,¬P for any context Γ, and replacing the original disjunction rule with Γ,A,B implies Γ,AB.This paper presents a classical sequent calculus which is also free of contraction and weakening, but more symmetrically: both contraction and weakening are absorbed into conjunction, leaving the axiom rule intact. It uses a blended conjunction rule, combi…Read more
Antigonish, Nova Scotia, Canada
Areas of Interest
Ancient Greek and Roman Philosophy |
20th Century Philosophy |