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.
| Author: | |
|---|---|
| Format: | article |
| Publication Date: | 1999 |
| Country: | España |
| Institution: | Universitat Politècnica de Catalunya (UPC) |
| Repository: | UPCommons. Portal del coneixement obert de la UPC |
| Language: | English |
| OAI Identifier: | oai:upcommons.upc.edu:2099/3543 |
| Online Access: | https://hdl.handle.net/2099/3543 |
| Access Level: | Open access |
| Keyword: | Many-valued logic Fuzzy logic MV-algebra Resituated lattice Lògica matemàtica Classificació AMS::03 Mathematical logic and foundations::03B General logic |
| Summary: | 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. |
|---|