Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic
Fuzzy possibilistic logic is an important formalism for approximate reasoning. It extends the well-known basic propositional logic BL, introduced by Hájek, by offering the ability to reason about possibility and necessity of fuzzy propositions. We consider an algebraic approach to study this logic,...
Publicado: |
2019
|
---|---|
Materias: | |
Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_14327643_v23_n7_p2199_Busaniche http://hdl.handle.net/20.500.12110/paper_14327643_v23_n7_p2199_Busaniche |
Aporte de: |
id |
paper:paper_14327643_v23_n7_p2199_Busaniche |
---|---|
record_format |
dspace |
institution |
Universidad de Buenos Aires |
institution_str |
I-28 |
repository_str |
R-134 |
collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
topic |
BL-algebras Fuzzy possibilistic logic Modal algebras Algebra Computer circuits Algebraic approaches Approximate reasoning BL-algebra BL-logic Euclidean Possibilistic Possibilistic logic Propositional logic Fuzzy logic |
spellingShingle |
BL-algebras Fuzzy possibilistic logic Modal algebras Algebra Computer circuits Algebraic approaches Approximate reasoning BL-algebra BL-logic Euclidean Possibilistic Possibilistic logic Propositional logic Fuzzy logic Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic |
topic_facet |
BL-algebras Fuzzy possibilistic logic Modal algebras Algebra Computer circuits Algebraic approaches Approximate reasoning BL-algebra BL-logic Euclidean Possibilistic Possibilistic logic Propositional logic Fuzzy logic |
description |
Fuzzy possibilistic logic is an important formalism for approximate reasoning. It extends the well-known basic propositional logic BL, introduced by Hájek, by offering the ability to reason about possibility and necessity of fuzzy propositions. We consider an algebraic approach to study this logic, introducing Pseudomonadic BL-algebras. These algebras turn to be a generalization of both Pseudomonadic algebras introduced by Bezhanishvili (Math Log Q 48:624–636, 2002) and serial, Euclidean and transitive Bimodal Gödel algebras proposed by Caicedo and Rodriguez (J Log Comput 25:37–55, 2015). We present the connection between this class of algebras and possibilistic BL-frames, as a first step to solve an open problem proposed by Hájek (Metamathematics of fuzzy logic. Trends in logic, Kluwer, Dordrecht, 1998, Chap. 8, Sect. 3). © 2019, Springer-Verlag GmbH Germany, part of Springer Nature. |
title |
Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic |
title_short |
Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic |
title_full |
Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic |
title_fullStr |
Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic |
title_full_unstemmed |
Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic |
title_sort |
pseudomonadic bl-algebras: an algebraic approach to possibilistic bl-logic |
publishDate |
2019 |
url |
https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_14327643_v23_n7_p2199_Busaniche http://hdl.handle.net/20.500.12110/paper_14327643_v23_n7_p2199_Busaniche |
bdutipo_str |
Repositorios |
_version_ |
1764820567086596098 |