FOM: Branching quantifiers

[Joe Shipman]

Shipman:
 >This explains vertical composition but what about horizontal
composition?

 Raatikainen:
 >RE: I am afraid I do not understand the question. But please try to
put it
 in different >words - I would be happy to try to answer the question.

 I misunderstood Marcin Mostowski's original posting defining "branching

 quantifiers" -- there is really only one type of new quantifier given
by his
 "vertical composition", his "horizontal composition" is simply the
ordinary
 concatenation of quantifiers from first-order logic.  The explanation
of
 branching "quantifiers" as "There exist independently" in the sense of
 factorizable Skolem functions is a good one.

 -- Joe Shipman