Switch to: References

Add citations

You must login to add citations.
  1. First-Degree Entailment and Truthmaker Functions.Roderick Batchelor - 2024 - Journal of Philosophical Logic 53 (2):373-390.
    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.
    Download  
     
    Export citation  
     
    Bookmark