Christian Urban

Links Home Applet Home Java Versions CL LJT ND Plugin Versions CL LJT ND | ## What is the Semantics for Classical Logic? In the intuitionistic case, the answer to this question is well-understood - essentially a semantics is given to all proofs in normal form and all other proofs inherit this semantics from the normal forms they reduce to. This implies that: (1) reductions preserving the semantics of a proof. It is widely known that this assumption causes any reasonable semantics for classical logic to collaps. In the literature Lafont's example is often cited for this observation.

Last modified: Sat Mar 3 05:17:53 CET 2007