Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If You Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.

NOTA SOBRE EL SIGNIFICADO LOGICO DE CIERTAS ESTRUCTURAS RESIDUADAS ELEMENTALES

J.M. Font Llovet and A.J. Rodríguez Salas
Publicacions de la Secció de Matemàtiques
No. 20, ACTES: VII JORNADES MATEMÀTIQUES HISPANO-LUSITANES (primera part) (SETEMBRE 1980), pp. 83-86
Stable URL: http://www.jstor.org/stable/43741693
Page Count: 4
  • Read Online (Free)
  • Subscribe ($19.50)
  • Cite this Item
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
NOTA SOBRE EL SIGNIFICADO LOGICO DE CIERTAS ESTRUCTURAS RESIDUADAS ELEMENTALES
Preview not available

Abstract

Starting from an abelian grupoid which is ordered and residuated' we study the logical significance of the "residue" operation, specially if we add the most natural algebraic properties to the base structure, obtaining then several well-Known structures of mathematical logic, such as the deductively-complete algebras and the algebras of Sales , Hilbert, Abbott , Wajsberg and Boole. We also give some properties of the deductive systems and obtain an special version of the deduction theorem of Pla( [3] ).

Page Thumbnails

  • Thumbnail: Page 
83
    83
  • Thumbnail: Page 
84
    84
  • Thumbnail: Page 
85
    85
  • Thumbnail: Page 
86
    86