Authors: DELMASRIGOUTSOS Y

Citation: Y. Delmasrigoutsos, A DOUBLE DEDUCTION SYSTEM FOR QUANTUM LOGIC-BASED ON NATURAL DEDUCTION, Journal of philosophical logic, 26(1), 1997, pp. 57-67