Font Llovet, Josep MariaRodriguez Salas, A. J.2019-05-072019-05-0719800214-1493https://hdl.handle.net/2445/132790Starting 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] ) .4 p.application/pdfspa(c) Universitat Autònoma de Barcelona, 1980ÀlgebraLògica matemàticaAlgebraMathematical logicinfo:eu-repo/semantics/article0108192019-05-07info:eu-repo/semantics/openAccess