Examinando por Autor "Pietz, Andreas"

Mostrando 1 - 1 de 1
  • Miniatura
    Publicación
    Nothing but the truth
    (Springer, 2013) Pietz, Andreas; Rivieccio, Umberto::virtual::5522::600; Rivieccio, Umberto; Rivieccio, Umberto; Rivieccio, Umberto
    A curious feature of Belnap’s “useful four-valued logic”, also known as first-degree entailment (FDE), is that the overdetermined value B (both true and false) is treated as a designated value. Although there are good theoretical reasons for this, it seems prima facie more plausible to have only one of the four values designated, namely T (exactly true). This paper follows this route and investigates the resulting logic, which we call Exactly True Logic.