From Basic Logic to Quantum Logics with Cut-Elimination

• 1 January 1998
• journal article
• Published by Springer Nature in International Journal of Theoretical Physics
• Vol. 37  (1) , 31-37
• https://doi.org/10.1023/a:1026652903971

Abstract

Keywords

• LOGICS
• QUANTUM
• BASIC LOGIC
• SEQUENT
• WEREOBTAINED
• LOGICAIMING
• UNIFICATION
• CUT
• SYSTEMS.THE