We define a concept of truthmaker function, and prove the functional completeness, w.r.t. truthmaker functions in this sense, of a set of four-valued functions corresponding to standard connectives of the system of relevance logic known as First-Degree Entailment or Belnap–Dunn logic.

中文翻译：

---

一级蕴涵和真相制造者函数

我们定义了一个truthmaker函数的概念，并证明了一组四值函数的功能完整性，即这个意义上的truthmaker函数，对应于相关逻辑系统的标准连接词，称为一阶蕴涵或Belnap-Dunn逻辑。