Sciweavers

MLQ
2002
77views more  MLQ 2002»
14 years 3 days ago
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 equivale...
Francisco M. García Olmedo, Antonio J. Rodr...