Àlgebres quasi-hilbertianes
In this paper we study the algebras obtained by having the deduction theorem on the sets of two elements, calling them Q.H.-algebras .Adding to them the FREGE'S law, we obtain a Hilbert algebra ; adding to them the law (x .y) .y = (y .x) .x, we obtain that thay form a variety; suposing the exis...
| 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/132752 |
| Acceso en línea: | https://hdl.handle.net/2445/132752 |
| Access Level: | acceso abierto |
| Palabra clave: | Àlgebres de Hilbert Hilbert algebras |
| Sumario: | In this paper we study the algebras obtained by having the deduction theorem on the sets of two elements, calling them Q.H.-algebras .Adding to them the FREGE'S law, we obtain a Hilbert algebra ; adding to them the law (x .y) .y = (y .x) .x, we obtain that thay form a variety; suposing the existence of a least element to the later , we obtain an ortolattice wich gives a boolean algebra on an ortomodular lattice, according to the nature of implication classical or strong. |
|---|