Return to Article Details Non-Deterministic Matrices for Combinations of Canonical and Cocanonical Deduction Systems Download Download PDF