Abstract
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).
Similar content being viewed by others
Notes
Caicedo and Rodriguez (2015) use the notations I and K for \(\forall \) and \(\exists \), respectively.
References
Bezhanishvili N (2002) Pseudomonadic algebras as algebraic models of Doxastic modal logic. Math Log Q 48:624–636
Bou F, Esteva F, Godo L, Rodriguez R (2011) On the minimum many-valued modal logic over a finite residuated lattice. J Log Comput 21:739–790
Bou F, Esteva F, Godo L, Rodriguez R (2016) Possibilistic semantics for a modal \(KD45\) extension of Gödel fuzzy logic. In: IPMU 2016, Eindhoven, The Netherlands, 20–24 June 2016, proceedings, part II. Communications in computer and information science 611, Springer
Busaniche M, Montagna F (2011) Hájek’s logic BL and BL-algebras. Handbook of mathematical fuzzy logic, volume 1 of studies in logic, mathematical logic and foundations, vol 1. College Publications, London, pp 355–447
Caicedo X, Rodriguez R (2015) Bi-modal Gödel logic over [0,1]-valued Kripke frames. J Log Comput 25:37–55
Castaño D, Cimadamore C, Díaz Varela P, Rueda L (2017) Monadic BL-algebras: the equivalent algebraic semantics of Hájek’s monadic fuzzy logic. Fuzzy Sets Syst 320:40–59
Cignoli R, Torrens A (2000) An algebraic analysis of product logic. Mult Valued Log 5:45–65
Cignoli R, D’Ottaviano I, Mundici D (2000) Algebraic foundations of many-valued reasoning, vol 7. Kluwer Academic Publishers, Dordrecht Trends in Logic
Dubois D, Prade H (2004) Possibilistic logic: a retrospective and prospective view. Fuzzy Sets Syst 144:3–23
Dubois D, Land J, Prade H (1994) Possibilistic logic. In: Gabbay et al (eds) Handbook of logic in artificial intelligence and logic programing, non-monotonic reasoning and uncertain reasoning, vol 3. Oxford University Press, Oxford, pp 439–513
Fitting M (1991) Many valued modal logics. Fundam Inform 15:254–325
Fitting M (1992) Many valued modal logics II. Fundam Inform 17:55–73
Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics, volume 151 of studies in logic and the foundation of mathematics. Elsevier, Amsterdam
Hájek P (1998) Metamathematics of fuzzy logic. Trends in logic. Kluwer, Dordrecht
Hájek P, Harmancová D, Verbrugge R (1995) A qualitative fuzzy probabilistic logic. J Approx Reason 12:1–19
Hintikka J (1962) Knowledge and belief. An introduction to the logic of the two notions. Stud Log 16:119–122
Acknowledgements
The authors thank the referees for their comments that helped improve the paper. The authors were funded by the research project PIP 112-20150100412CO, CONICET, Desarrollo de Herramientas Algebraicas y Topológicas para el Estudio de Lógicas de la Incertidumbre y la Vaguedad. DHATELIV. M. Busaniche and Penélope Cordero were also funded by the project CAI+D PIC 50420150100090LI, UNL, Métodos algebraico-geométricos en la teoría de la información. Additionally, the author P. Cordero was supported by a CONICET grant during the preparation of the paper. R. O. Rodriguez was also funded by the projects UBA-CyT 20020150100002BA and PICT/O \(N^\circ \) 2016-0215. The authors have been funded by the Horizon 2020 project of the European Commission 689176–SYSMICS.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by Luca Spada.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Busaniche, M., Cordero, P. & Rodriguez, R.O. Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic. Soft Comput 23, 2199–2212 (2019). https://doi.org/10.1007/s00500-019-03810-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-019-03810-0