2018/04/28 by Manuela Busaniche, Busaniche, Manuela, Penélope Cordero +3
Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Rough Sets and Fuzzy Logic
paper · pdf · doi:10.48550/arxiv.1804.10824
openalex publication_date 2018/04/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Fuzzy Epistemic 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 Epistemic BL-algebras. These algebras turn to be a generalization of both, Pseudomonadic Algebras introduced by \citeBez2002 and serial, euclidean and transitive Bi-modal Gödel Algebras proposed by \citeCaiRod2015. We present the connection between this class of algebras and fuzzy possibilistic frames, as a first step to solve an open problem proposed by Hájek \cite[chap. ~8]HajekBook98.