Nota sobre el significado lógico de ciertas estructuras residuadas elementales
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 de...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 1980 |
| País: | España |
| Institución: | Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya) |
| Repositorio: | Recercat. Dipósit de la Recerca de Catalunya |
| OAI Identifier: | oai:recercat.cat:2445/132790 |
| Acceso en línea: | https://hdl.handle.net/2445/132790 |
| Access Level: | acceso abierto |
| Palabra clave: | Àlgebra Lògica matemàtica Algebra Mathematical logic |
| Sumario: | 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] ) . |
|---|