A SEQUENTIAL LOGIC FOR INFORMATION STRUCTURING.
Abstract
Results are reported of three studies based in part on the intuitionist logic of L. E. J. Brouwer. In 'Mathematics of a Hierarchy of Brouwerian Operations,' by E. W. Bastin, an algebraic system is used to represent the structure provided by the total set of decisions that can be made about the progress of any Brouwer time sequence. Concepts of level, element of level, and hierarchy of levels are introduced. It is shown that an element of a given level determines a decision about the progress of a sequence by specifying two contiguous terms at the adjacent simpler level of the hierarchy. Each element of a given level is then considered as an operator on the elements at the adjacent simpler level, and as being in the relation of operand to the elements at the adjacent more complex level. In 'An Operational Hierarchy,' by A. F. Parker-Rhodes, an algebraic structure is described for automata which perform a sequence of operations, each of which restricts the range of operations which can follow it, in such a way that the sequence eventually terminates. The model is based on representing the operations of the sequence by linear transformations on vector spaces over the field of elements J sub 2. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 1965
- Accession Number
- AD0625488
Entities
People
- A. F. Parker-rhodes
- D. S. Linney
- E. W. Bastin
- Ted Bastin