Alguns aspectes actuals de lògica algebraica
L'any 1955 Paul R. HALMOS treu a 'Compositio Mathematicae, vol.12' l'article 'Algebraic Lògic' en el que dóna una formalització algebraica del concepte de deducció. A l'entorn dels anys seixanta l'escola d'Antonio NONTEIRO dóna una mateixa presentació alg...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 1979 |
| País: | España |
| Institución: | Universidad de Barcelona |
| Repositorio: | Dipòsit Digital de la UB |
| OAI Identifier: | oai:diposit.ub.edu:2445/132766 |
| Acceso en línea: | https://hdl.handle.net/2445/132766 |
| Access Level: | acceso abierto |
| Palabra clave: | Lògica matemàtica Àlgebra Mathematical logic Algebra |
| Sumario: | L'any 1955 Paul R. HALMOS treu a 'Compositio Mathematicae, vol.12' l'article 'Algebraic Lògic' en el que dóna una formalització algebraica del concepte de deducció. A l'entorn dels anys seixanta l'escola d'Antonio NONTEIRO dóna una mateixa presentació algebraica però , en lloc de centrar la seva atenció en la lògica booleana, debilita la qüestió al substrat positiu de la lògica. |
|---|