BL-algebras of basic fuzzy logic
BL-algebras [7] rise as Lindenbaum algebras from certain logical axioms familiar in fuzzy logic framework. BL-algebras are studied by means of deductive systems and co-annihilators. Duals of many theorems known to hold in MV-algebra theory remain valid for BL-algebras, too.
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 1999 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2099/3543 |
| Acceso en línea: | https://hdl.handle.net/2099/3543 |
| Access Level: | acceso abierto |
| Palabra clave: | Many-valued logic Fuzzy logic MV-algebra Resituated lattice Lògica matemàtica Classificació AMS::03 Mathematical logic and foundations::03B General logic |
| Sumario: | BL-algebras [7] rise as Lindenbaum algebras from certain logical axioms familiar in fuzzy logic framework. BL-algebras are studied by means of deductive systems and co-annihilators. Duals of many theorems known to hold in MV-algebra theory remain valid for BL-algebras, too. |
|---|