Under “tenure review,” the ongoing privatization of South Island Crown pastoral leases, a pastoral lessee surrenders part of his leasehold, and acquires a freehold interest in the remainder. In order to determine whether the Crown sold the right to freehold too cheaply, we model the...

Boundary algebra [BA] is a simpler notation for Spencer-Brown’s (1969) primary algebra [pa], the Boolean algebra 2, and the truth functors. The primary arithmetic [PA] consists of the atoms ‘()’ and the blank page, concatenation, and enclosure between ‘(‘ and ‘)’, denoting the...

Boundary algebra [BA] is a <--,(-),()> algebra of type <2,1,0>, and a simplified notation for Spencer-Brown’s (1969) primary algebra. The syntax of the primary arithmetic [PA] consists of two atoms, () and the blank page, concatenation, and enclosure between ‘(‘ and ‘)’, denoting the primitive notion of...</2,1,0></--,(-),()>