[FOM] Online documents

[Shahid Hussain]

Hi,
Following are a few links for Kripke sementics:

http://www.math.chalmers.se/Math/Grundutb/GU/MAN480/H01/kripke.ps
http://licomr.org/2003_1/kripke_jjh.pdf
http://www-formal.stanford.edu/jmc/model/node7.html
http://www.filozof.uni.lodz.pl/bulletin/v251.html

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