Saltar al contenido principal

A propositional logic of Temporal Connectives

Registro bibliográfico

  • Título: A propositional logic of Temporal Connectives
  • Autor: Buitrago Díaz, Esperanza; Epstein, Richard L
  • Publicación original: 2014
  • Descripción física: PDF
  • Nota general:
    • Abstract:
      We investigate how to formalize reasoning that takes account of time by using connectives like “before” and “after.” We develop semantics for a formal logic, which we axiomatize.
      In proving that the axiomatization is strongly complete we show how a temporal ordering of propositions can yield a linear timeline.
      We formalize examples of ordinary language sentences to illustrate the scope and limitations of this method. We then discuss ways to deal with some of those limitations.
      Resumen:
      Investigamos sobre cómo al formalizar el razonamiento se puede tener el cuenta el tiempo al usar conectivos de tiempo tales como « antes » y « después ». Nosotros desarrollamos la semantica para un sistema formal, el cal podemos axiomatizar.
      Al probar la axiomatización es fuertemente completo mostramos cómo un orden temporal de prosiciones pueden dejar un tiempo lineal.
      Formalizamos algunos ejemplos de las frases del lenguaje natural para ilustrar el alcance y las limitaciones de este métodos. Nosotros discutiremos entonces cómo lidiar con dichas limitaciones.
  • Notas de reproducción original: Digitalización realizada por la Biblioteca Virtual del Banco de la República (Colombia)
  • Notas:
    • Resumen: Temporal logic; Non-classical logics; Logic; Connectives; Constructive logic; Arithmetic of logic; Logic of time; Time; Propositional logic; Completeness theorem; Linear orderings; Subjective experience of time
    • © Derechos reservados del autor
    • Colfuturo
  • Forma/género: texto
  • Idioma: inglés
  • Institución origen: Biblioteca Virtual del Banco de la República
  • Encabezamiento de materia:
A propositional logic of Temporal Connectives | Biblioteca Virtual Miguel de Cervantes Ampliar imagen

Digitalización realizada por la Biblioteca Virtual del Banco de la República (Colombia)

Citar obra

Datos enlazados

RDF de esta obra

La Biblioteca Virtual Miguel de Cervantes publica su catálogo como datos abiertos a través del vocabulario Resource Description and Access (RDA) en data.cervantesvirtual.com