Kenji Tokuo

Binary presentations of center-valued quantification on ortholattices

We study associative binary presentations of center-valued quantifiers on ortholattices. The fixed elements of such a quantifier form a Boolean subalgebra of the center. We construct an adaptive product whose multiplication agrees with lattice meet at precisely the left operands...

Binary presentations of center-valued quantification on ortholattices

We study associative binary presentations of center-valued quantifiers on ortholattices. The fixed elements of such a quantifier form a Boolean subalgebra of the center. We construct an adaptive product whose multiplication agrees with lattice meet at precisely the left operands...