Theseus Research, Inc.
Escape the Box
About TRI Technology Downloads Home
Theseus Research : Technical Papers : Considerations of Completeness Page 10 of 11


It was pointed out that combinational processes, are typically expressed as multiple form expressions with meta-coordination that involves elements of arbitrary sufficiency and that the presence of this meta-coordination is an impediment to a satisfactorily understanding of the nature of process expression. It was suggested that it would be advantageous to eliminate this meta-coordination. To this end, the notion of single form completeness of expression was introduced. As a test of the notion the question was asked whether combinational processes could be expressed entirely in terms of logical relationships as a single form complete expression.

It was shown that this can be accomplished with a four value logic; 4NCL. Taking 4NCL as a reference standard, it was shown that as logical completeness was gradually compromised with logics of progressively fewer values that the expression of timing relationships had to be included to restore the completeness of the expression of the process behavior. As logical completeness of expression was compromised by stages it was clear how and why the temporal relationships arose to restore the overall completeness of expression and it was clear how to limit and isolate the temporal expressions within the logical expression to minimize their significance in the complete expression of the behavior of the combinational process. This progression led to 2NCL. A practical 2 value logic which retains sufficient logical expressivity to enable practical logically determined digital system design.

The usefulness of concepts of completeness in considering process expression has been demonstrated by relating a range of process expression forms from logically determined to time determined in terms of completeness concepts and by one of those forms, 2NCL, being a practical 2 value logic which retains sufficient logical expressivity to enable practical logically determined digital system design.

<< Page 9 <<

download as .pdf

>> Page 11 >>

Pages: 1 2 3 4 5 6 7 8 9 10 11

On-Site Training and Seminars
We offer training and seminars on logically determined system design tailored to your needs. Send us an e-mail today!

Theseus Warp License Available
You can now purchase a license to use the Theseus Warp Algorithm in your products! Contact us via e-mail today.

.: About TRI : Company Information | Our Founders | Contact TRI :.
.: Technology : Logically Determined System Design | LDSD Book Materials | Null Convention Logic
Completeness Technical Paper
| NCL Technical Paper | Theseus Warp Algorithm
Theseus Warp Algorithm Technical Paper
| Comparing Technology | Size Transforms
Perspective Transforms
| Dynamic Artifacting :.
.: Downloads : Downloads :.
.: Home : Home | Site Map :.
© 1985-2004 Theseus Research, Inc.
All Rights Reserved. All content on this website is protected.
Please contact our webmaster with any issues regarding this website.