logical language treelikeness plane tree regular language logic treespace polymodality multitree bilattice boron tree