Publicación: Nothing but the truth
Fecha
2013
Editor/a
Director/a
Tutor/a
Coordinador/a
Prologuista
Revisor/a
Ilustrador/a
Derechos de acceso
info:eu-repo/semantics/openAccess
Título de la revista
ISSN de la revista
Título del volumen
Editor
Springer
Resumen
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.
Descripción
Categorías UNESCO
Palabras clave
Relevant logic, First degree entailment, Belnap’s four-valued logic, De Morgan lattices, In-and over complete data
Citación
Centro
Facultad de Filosofía
Departamento
Lógica, Historia y Filosofía de la Ciencia