Abstract

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.