FOM: Branching quantifiers
shipman at savera.com
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
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
"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