Re: Junction Algebra

[Patrick R. Michaud]

On Sat, Mar 28, 2009 at 02:08:22PM +0300, Richard Hainsworth wrote:
> 3) Conjecture: The following is true of all junction types, eg.,
> junc(..., junc(...)) === junc(..., ...)

The conjecture is false for one/none junctions:

    one(0, one(1, 1))         # true
    one(0, 1, 1)              # false

    none(0, none(0, 0))       # false
    none(0, 0, 0)             # true

I'm still considering the any/all cases.

Pm