# name
Nota sobre el significado lógico de ciertas estructuras residuadas elementales

# metadata.dc.description.abstract[].value
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] ) .

# metadata.dc.relation.ispartof[].value
Publicacions Matemàtiques, 1980, vol. 20, p. 83-86

# metadata.dc.rights[].value
(c) Universitat Autònoma de Barcelona, 1980

# metadata.dc.source[].value
Articles publicats en revistes (Matemàtiques i Informàtica)

# metadata.dc.title[].value
Nota sobre el significado lógico de ciertas estructuras residuadas elementales