FOM: Branching quantifiers

Joe Shipman shipman at
Mon Mar 19 11:53:30 EST 2001

 >This explains vertical composition but what about horizontal

 >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
 concatenation of quantifiers from first-order logic.  The explanation
 branching "quantifiers" as "There exist independently" in the sense of
 factorizable Skolem functions is a good one.

 -- Joe Shipman

More information about the FOM mailing list