Please use this identifier to cite or link to this item:
Title: Nota sobre el significado lógico de ciertas estructuras residuadas elementales
Author: Font Llovet, Josep Maria
Rodriguez Salas, A. J.
Keywords: Àlgebra
Lògica matemàtica
Mathematical logic
Issue Date: 1980
Publisher: Universitat Autònoma de Barcelona
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] ) .
Note: Reproducció del document publicat a:
It is part of: Publicacions Matemàtiques, 1980, vol. 20, p. 83-86
Related resource:
ISSN: 0214-1493
Appears in Collections:Articles publicats en revistes (Matemàtiques i Informàtica)

Files in This Item:
File Description SizeFormat 
010819.pdf91.23 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.