Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/132790
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 Algebra 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: https://doi.org/10.5565/PUBLMAT_20180_15 |
It is part of: | Publicacions Matemàtiques, 1980, vol. 20, p. 83-86 |
URI: | http://hdl.handle.net/2445/132790 |
Related resource: | https://doi.org/10.5565/PUBLMAT_20180_15 |
ISSN: | 0214-1493 |
Appears in Collections: | Articles publicats en revistes (Matemàtiques i Informàtica) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
010819.pdf | 91.23 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.