Re: NULLs: theoretical problems?
Date: Fri, 31 Aug 2007 16:16:56 -0000
Message-ID: <1188577016.338314.303300_at_r29g2000hsg.googlegroups.com>
On 31 aug, 17:21, JOG <j..._at_cs.nott.ac.uk> wrote:
> On Aug 31, 2:13 am, Jan Hidders <hidd..._at_gmail.com> wrote:
>
> > On 30 aug, 14:08, JOG <j..._at_cs.nott.ac.uk> wrote:
>
> > > I use a similar notion to def in my own work, but am lacking any
> > > references for it. You say that it is an established (or at least
> > > recorded) approach - do you have links to texts, or academic
> > > references? Or does it have a more formal nomenclature that I could
> > > search for > my normally leet googling skills are not serving me well.
>
> > I'm sorry to say that at the moment I cannot tell you where I got it.
> > The thing that comes closest is Beeson's logic of partial terms, which
> > has an explicit definedness operator for terms. But it lacks the idea
> > of a syntactic restriction that allows you to keep the normal
> > reasoning rules of FOL.
>
> "The Foundations of Constructive Mathematics" is not an easy book to
> get hold of...
There's a nice short and clear description in:
http://www.iam.unibe.ch/publikationen/techreports/2001/iam-01-005
> > Of course, if you really want a formal reference I might consider
> > writing a small technical report about it. ;-)
>
> I think you should make this a priority! Oh, and don't forget to
> mention me in the acknowledgements as a motivating factor in its
> generation ;)
- Jan Hidders