Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Files

010819.pdf (91.23 KB)

Document type

Article

Version

Published version

Publication date

1980

All rights reserved

Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/132790

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

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

https://doi.org/10.5565/PUBLMAT_20180_15

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] ) .

Subject

Àlgebra, Lògica matemàtica

Subject (English)

Algebra, Mathematical logic

Citation

Collections

Articles publicats en revistes (Matemàtiques i Informàtica)

Citation

FONT LLOVET, Josep Maria and RODRIGUEZ SALAS, A. J. Nota sobre el significado lógico de ciertas estructuras residuadas elementales. Publicacions Matemàtiques. 1980. Vol. 20, num. 83-86. ISSN 0214-1493. [consulted: 19 of August of 2026]. Available at: https://hdl.handle.net/2445/132790

Export metadata

JSON - METS

Share record