diff -r 3a2a47f967d4 -r e10eb390c103 Cut/notes.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Cut/notes.html Thu Mar 15 15:50:18 2012 +0000 @@ -0,0 +1,91 @@ + + + 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 + + +