Re: Looking for paper about quantification

Article View: comp.specification

Article #119

Back to comp.specification Previous Next

#119

From: sjv
Date: Thu, 03 Sep 1992 12:26

12 lines
1018 bytes

In article <BtyBLw.42q@dcs.glasgow.ac.uk> areid@dcs.glasgow.ac.uk (Alastair
Reid) described an idea for avoiding the paradoxes associated with empty
carriers for many-sorted algebras, and I posted a reply describing the
constructivists' technique of attaching finite sets of variables to equations
or sequents.

I said that I didn't know of a reference for the technique, but I've now found
that it is described quite straightforwardly in Lambek and Scott's book
"Introduction to Higher Order Categorical Logic", section II.1. In their
historical comments, they attribute it to Mostowski (1951).

Steve Vickers

Technical Details

Message-ID: <18509eINNfrl@frigate.doc.ic.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!cam-cl!doc.ic.ac.uk!doc.ic.ac.uk!usenet

References: <BtyBLw.42q@dcs.glasgow.ac.uk>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!cam-cl!doc.ic.ac.uk!doc.ic.ac.uk!usenet
From: sjv@doc.ic.ac.uk
Newsgroups: comp.specification
Subject: Re: Looking for paper about quantification
Message-ID: <18509eINNfrl@frigate.doc.ic.ac.uk>
Date: 3 Sep 92 12:26:21 GMT
References: <BtyBLw.42q@dcs.glasgow.ac.uk>
Organization: Imperial College
Lines: 12
NNTP-Posting-Host: dse-mac-l1-85.doc.ic.ac.uk

Reply to Parent Message