Authors: FAGGIAN C SAMBIN G

Citation: C. Faggian et G. Sambin, FROM BASIC LOGIC TO QUANTUM LOGIC WITH CUT-ELIMINATION, International journal of theoretical physics, 37(1), 1998, pp. 31-37

Authors: SAMBIN G

Citation: G. Sambin, PRETOPOLOGIES AND COMPLETENESS PROOFS, The Journal of symbolic logic, 60(3), 1995, pp. 861-878