Laws of Form

Chapter 25 - Laws of Form Portent A formal system of Nonlinear Logic (NLL) is daunting. Incorporating imaginary truthvalues as the resolution of logical paradox, demonstrating that they form a logical basis conjugate to the Boolean truthvalues, defining axioms, rules of inference, equality, transitivity, etc. - is a challenging goal. However, demonstrating that formal systems can model the…