Browsing by Subject "Semantic Trees"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Publication
    Open Access
    Una traducción terminista de la lógica natural de Moss
    (Universidad de Murcia. Servicio de Publicaciones, 2026) Castro Manzano, J. Martín; Sin departamento asociado
    In this contribution we present a trans-lation from Moss’ natural logic to Sommers’ term logic by using a tableaux method. The result shows Sommers’ term logic lies beyond the Peano-Frege, Church-Turing, and Aristotle frontiers while maintaining the inferential and expressive powers of the systems that inhabit such limits. This suggests that term logic might be instrumental for a natural logic project.