Re: Why "geometric"?

From: George Cox (george_coxanti_at_spambtinternet.com.invalid)
Date: 11/10/04 

Date: Wed, 10 Nov 2004 19:17:02 +0000 (UTC)

Tim Mellor wrote:
>
> George Cox <george_coxanti@spambtinternet.com.invalid> wrote in message news:<4185690D.E1476ACB@spambtinternet.com.invalid>...
> > A first order formula is called "geometric" if it is built up from
> > atomic formulae using only conjunction, disjunction and existential
> > quantification. But why "geometric"?
> >
> > Tia
> > GC
>
> I am afraid I haven't heard this usage. What is the context?

See Keith Ramsay's contribution! I can't remember where I first came
across it--in some FOL text I suppose.

Relevant Pages

  • Re: Existential, Universal Quantifiers, Generalize Booleans
    ... The similarity between conjunction and universal ... "infinite" conjunction or existential quantification as ... similarly a type of disjunction is central to the proof ... don't you mean to say 'the framework Dr. Ullrich _opposes_ '? ...
    (sci.math)
  • Re: Logic playing at undermining itself
    ... from a conjunction or disjunction of 2 elements. ... In that case the element that arises from a conjunction ... A compound proposition. ... I don't think that distinction is important here. ...
    (sci.logic)
  • Re: Logic playing at undermining itself
    ... from a conjunction or disjunction of 2 elements. ... In that case the element that arises from a conjunction ... Regarding a 'compound' proposition, that looks like a rephrasing of 'A ... The reason for the other viewpoint is as follows. ...
    (sci.logic)
  • Re: Logic playing at undermining itself
    ... from a conjunction or disjunction of 2 elements. ... In that case the element that arises from a conjunction ... Regarding a 'compound' proposition, that looks like a rephrasing of 'A and B'. ... The reason for the other viewpoint is as follows. ...
    (sci.logic)
  • Re: Logic playing at undermining itself
    ... from a conjunction or disjunction of 2 elements. ... the operators are called GCD and LCM (greatest common divisor and ... If the terms intersection, meet, join and union, can be used to indicate ...
    (sci.logic)