Goto Mochinori (ETL) published a paper on expanded Boolean algebra "Logic Mathematics"">