Algebraization of the Three-valued BCK-logic

In this paper a definition of n-valued system in the context of the algebraizable logics is proposed. We define and study the variety V3, showing that it is definitionally equivalent to the equivalent quasivariety semantics for the "Three-valued BCK-logic". As a consequence we find an axiomatic definition of the above system. Mathematics Subject Classification: 03B50, 03G25, 06F35.

• Type: Journal
• Year: 2002
• Where: MLQ
• Authors: Francisco M. García Olmedo, Antonio J. Rodríguez Salas
• Keywords: Algebraizable Logics, Equivalent Quasivariety Semantics, MLQ 2002, Variety V3