Next:
Introduction to Traces
The Algorithmic Beauty of Traces
Using L-systems to Hilight Patterns in Paraconsistency
Nathalie Prévost
Simon Fraser University
Burnaby, B.C. V5A 1S6 CANADA
Introduction to Traces
Definition of the
n
-Trace
Formulated 2-Traces
Characteristics of truth tables
Visualization of truth tables
L-systems
Visualization and observations on traces
A strategy for the 3-trace case
Future work
Conclusion
References
About this document ...
Thalie Prevost
11/19/1997
![[*]](http://wayback.cecm.sfu.ca/icons/latex2html/icons.gif/foot_motif.gif)