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 @@ + +
+
+
+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 + + +