What We Can do with Propositional Quantum Logic and a Functor in a Classical Propositional Calculus

Using Functor Substitutability for the basis of creating an intuitionist interpretation of the results of that subscribe. Laying the Grounds for Challenging Goedel's Incompleteness Theorems with the Aspects of the Poincare Group. Proceeding with: Propositional Quantum Logic, Transitioning “Non-Commensurable” Smoothly to Functor-Auxiliary Substitutability and Detachment.