coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Loic Pottier <loic.pottier AT sophia.inria.fr>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Intuitionist semantic, Russell
- Date: Thu, 04 Mar 2010 13:43:57 +0100
Hi,
topology of R and Kripke semantic give complete semantics for intuitionist propositionnal calculus.
Do you know other (simpler) semantics?
Loïc
PS: work of Bertrand Russell had not only mathematical consequences: http://www.russelltribunalonpalestine.org/
- [Coq-Club] Intuitionist semantic, Russell, Loic Pottier
- Re: [Coq-Club] Intuitionist semantic, Russell, Evgeny Makarov
Archive powered by MhonArc 2.6.16.