Computational Logic and Quantum Logic

Our universe is dynamic but the logical foundation of our knowledge about our universe is classical logic which is not dynamic. In order to understand and change our dynamic universe, we need a dynamic logic. This book introduces some non-classical logic. This logical model characterizes the complex and nonlinear processes or thinking of reality in contrast to what may be called "linear" or "mechanical" processes or thinking of reality.