Premium
Algebraization of the Three‐valued BCK‐logic
Author(s) -
García Olmedo Francisco M.,
Rodríguez Salas Antonio J.
Publication year - 2002
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/1521-3870(200202)48:2<163::aid-malq163>3.0.co;2-b
Subject(s) - mathematics , variety (cybernetics) , axiom , context (archaeology) , algebra over a field , discrete mathematics , pure mathematics , paleontology , statistics , geometry , biology
In this paper a definition of n ‐valued system in the context of the algebraizable logics is proposed. We define and study the variety V 3 , 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.