Linearization of the BCK-logic

• 1 January 2000
• journal article
• Published by Springer Nature in Studia Logica
• Vol. 65  (1) , 31-51
• https://doi.org/10.1023/a:1005290924926

Abstract

Keywords

• SEMANTICS
• LOGIC
• CALCULUS
• AXIOMATIC
• RECURSIVELY
• BCK
• ENUMERABLE
• ALGEBRAIZABLE
• SUBDIRECT
• DEFINITIONALLY