Algebraization of the Three-valued BCK-logic
Copyright policy )Algebraization of the Three-valued BCK-logic
In this paper, the authors propose a definition of \(n\)-valued system in the context of algebraizable logics. They define and study the variety \(V_3\), showing that it is definitionally equivalent to the equivalent quasivariety semantics for three-valued BCK-logic. As a consequence, the authors find an axiomatic definition of the above system.
- University of Granada Spain
BCK-algebras, BCI-algebras, Many-valued logic, Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics), algebraization of BCK-logics, algebraizable logics, quasivariety semantics, variety of BCK-algebras, \(n\)-valued systems, three-valued BCK-logic
BCK-algebras, BCI-algebras, Many-valued logic, Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics), algebraization of BCK-logics, algebraizable logics, quasivariety semantics, variety of BCK-algebras, \(n\)-valued systems, three-valued BCK-logic
citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).1 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!