Abstract
The main goal of this paper is to investigate monadic bounded hoops and prove the completeness of the monadic hoop logic. In the paper, we introduce monadic bounded hoops: A variety of bounded hoops equipped with universal and existential quantifiers. Also, we study some properties of them and obtain some conditions under which a bounded hoop becomes a Heyting algebra and BL-algebra. In addition, we introduce and investigate monadic filters in monadic bounded hoops. Using monadic filters on monadic bounded hoops, we characterize simple monadic bounded hoops. Moreover, we focus on algebraic structures of the set \(\textit{MF}[H]\) of all monadic filters on monadic bounded hoops and obtain that \(\textit{MF}[H]\) forms a complete Heyting algebra. Further, we discuss relations between monadic bounded hoops and some related algebraic structures, likeness other monadic algebras, bounded hoops with regular Galois connection and rough approximation spaces. Finally, as an application of monadic bounded hoops, we prove the completeness of monadic hoop logic. These results will provide a more general algebraic foundations of soft computing intended as a method for dealing with uncertain information, fuzzy information and decision making.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Agliano P, Ferreirim IMA, Montagna F (2007) Basic hoops: an algebraic study of continuous t-norms. Stud Log 87:73–98
Agliano P, Montagna F (2003) Varieties of BL-algebras I: general properties. J Pure Appl Algebra 181(2–3):105–129
Bosbach B (1969) Komplement\(\ddot{a}\)re Halbgruppen. Axiomatik und Arithmetik. Fundam Math 64:257–287
Bezhanisvili G (1999) Varieties of monadic Heyting algebras I. Stud Log 61:367–402
Borzooei RA, Aaly Kologani M (2015) Local and perfect semihoops. J Intell Fuzzy Syst 29:223–234
Botur M, Dvurečenskij A (2016) On pseudo-BL-algebras and pseudo-hoops with normal maximal filters. Soft Comput 20:439–448
Botur M, Dvurečenskij A, Kowalski T (2011) On normal-valued basic pseudo hoops. Soft Comput 16:635–644
Blyth TS (2005) Lattices and ordered algebraic structures. Springer, London
Blok WJ, Ferreirim IMA (1993) Hoops and their implicational reducts. Algebr Methods Log Comput Sci 28:219–230
Blok WJ, Ferreirim IMA (2000) On the structure of hoops. Algebra Univ 43:233–257
Chang CC (1958) Algebraic analysis of many valued logics. Trans Am Math Soc 88:467–490
Di Nola A, Grigolia R (2004) On monadic MV-algebras. Ann Pure Appl Log 128:125–139
Esteva F, Godo L (2001) Monoidal t-norm-based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124:271–288
Esteva F, Godo L, Hájek P, Montagna F (2003) Hoops and fuzzy logic. J Log Comput 13:532–555
Figallo OA (2016) A topological duality for monadic MV-algebras. Soft Comput. doi:10.1007/s00500-016-2255-2
Ferririm IMA (1992) On varieties and quasivarieties of hoops and their reducts, Ph.D. thesis, Vanderbilt University, Nashvile, Tennessee
Georgescu G, Leuştean L, Preoteasa V (2005) Pseudo-hoops. J Mult Valued Log Soft Comput 11:153–184
Grigolia R (2006) Monadic BL-algebras. Georgain Math J 13:267–276
Henkin L, Monk DJ, Tarski A (1971) Cylindric algebras, part I. North Holland, Amster-dim
Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht
Halmos RP (1962) Algebraic Log. Chelsea Publ Co, New York
Namdar A, Borzooei RA, Borumand Saeid A, Aaly Kologani M (2017) Some results in hoop algebras. J Intell Fuzzy Syst 32:1805–1813
Nemeti I (1991) Algebraization of quantifier logics. Stud Log 50:485–569
Rachůnek J, Šalounová D (2013) Monadic bounded residuated lattices. Order 30:195–210
Rachůnek J, Šalounová D (2008) Monadic bounded commutative residuated \(\ell \)-monoids. Order 25:157–175
Rutledge JD (1959) A preliminary of the infinitely many-valued predicate calculus. Ph.D. Thesis, Cornell University
She YH, He XL (2004) Rough approximation operators on \(\text{ R }_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \({\cal{L}}\). Inf Sci 277:71–89
Ward M, Dilworth PR (1939) Residuated lattice. Trans Am Math Soc 45:335–354
Wang GJ (2000) Non-classical mathematical logic and approximate reasoning. Science Press, Beijing
Wang PZ, Tan SH (1997) Soft computing and fuzzy logic. Soft Comput 1:35–41
Acknowledgements
The authors are extremely grateful to the editor and the referees for their valuable comments and helpful suggestions which help to improve the presentation of this paper. This study was funded by a grant of National Natural Science Foundation of China (11571281, 11601302), Postdoctoral Science Foundation of China (2016M602761) and the Fundamental Research Funds for the Central Universities (GK201603004).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Human participants or animals
This article does not contain any studies with human participants or animals performed by any of the authors.
Additional information
Communicated by A. Di Nola.
Rights and permissions
About this article
Cite this article
Wang, J., Xin, X. & He, P. Monadic bounded hoops. Soft Comput 22, 1749–1762 (2018). https://doi.org/10.1007/s00500-017-2648-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-017-2648-x