From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2332
Path: news.gmane.org!not-for-mail
From: Galchin Vasili <vngalchin@yahoo.com>
Newsgroups: gmane.science.mathematics.categories
Subject: Wesley Phoa's Intro on Fibrations, Toposes, Effective Toposes
Date: Thu, 5 Jun 2003 10:39:38 -0700 (PDT)
Message-ID: <20030605173938.64548.qmail@web12204.mail.yahoo.com>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: ger.gmane.org 1241018585 3635 80.91.229.2 (29 Apr 2009 15:23:05 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:23:05 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Thu Jun  5 16:37:53 2003 -0300
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Thu, 05 Jun 2003 16:37:53 -0300
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10)
	id 19O0Wu-0002PL-00
	for categories-list@mta.ca; Thu, 05 Jun 2003 16:36:08 -0300
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 23
Original-Lines: 22
Xref: news.gmane.org gmane.science.mathematics.categories:2332
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/2332>

Hello,

   Questions concerning:
http://www.lfcs.informatics.ed.ac.uk/reports/92/ECS-LFCS-92-208/

   I am familiar with natural deduction and
sequents. In the chapter on Toposes (Chapter 3), I
have some questions about the very beginning where
propositional calculus (intuitionistic) is discussed

1) Did he leave out the Elimination rule for V? I do
see in the second line on far right a rule for V, but
it doesn't look like EV???

2) I don't understand the Structual rules. Can anybody
give me a short explanation?

 Regards, Bill Halchin