[FOM] Online documents

Shahid Hussain rationalpi.fom at incamail.com
Mon Nov 3 23:02:52 EST 2003

Following are a few links for Kripke sementics:


Shahid Hussain

> -----Original Message-----
> From: "mail at sakharov.net" <sakharov at earthlink.net>
> Sent: Mon Nov 03 11:21:50 EST 2003
> To: fom at cs.nyu.edu
> Subject: [FOM] Online documents
> Hello,
> In case someone is aware of online documents on the following two topics, could you please forward pointers to these materials to me. I am looking for primer materials with definitions and proofs as opposed to advanced research papers. Your advice will be greatly appreciated. Here are the topics:
> 1. Translations between natural deduction and sequent calculus, especially cut-free translation from natural deduction to sequent calculus
> 2. Kripke semantics - definitions and proofs of soundness and completeness for first-order intuitionistic logic
> (I am aware of printed materials covering these topics such as Prawitz, Troelstra and van Dalen books to name few.)
> Alex Sakharov
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

Tired of spam and email overload?
Get a FREE 6MB email account at http://www.incamail.com

More information about the FOM mailing list