Gődel filters in residuated lattices

Piciu, Dana; Dan, Christina Theresia; Dina, Anca

doi:10.2478/auom-2021-0012

Abstract

In this paper, in the spirit of [4], we study a new type of filters in residuated lattices : Gődel filters. So, we characterize the filters for which the quotient algebra that is constructed via these filters is a Gődel algebra and we establish the connections between these filters and other types of filters. Using Gődel filters we characterize the residuated lattices which are Gődel algebras. Also, we prove that a residuated lattice is a Gődel algebra (divisible residuated lattice, MTL algebra, BL algebra) if and only if every filter is a Gődel filter (divisible filter, MTL filter, BL filter). Finally, we present some results about injective Gődel algebras showing that complete Boolean algebras are injective objects in the category of Gődel algebras.

References

[1] Balbes R, Dwinger Ph, Distributive lattices, University of Missouri Press, Colombia, 1974.
Search in Google Scholar Back to article
[2] Blount K, Tsinakis C, The structure of residuated lattices, Int. J. Algebr. Comput. 13(4) (2003), 437-461.10.1142/S0218196703001511
Search in Google Scholar Back to article
[3] Buşneag D, Piciu D, Some types of filters in residuated lattices, Soft Comput. 18(5) (2014), 825-837.10.1007/s00500-013-1184-6
Search in Google Scholar Back to article
[4] Buşneag D, Piciu D, A new approach for classification of filters in residuated lattices, Fuzzy Sets Syst. 260 (2015), 121-130.10.1016/j.fss.2014.07.022
Search in Google Scholar Back to article
[5] Buşneag D, Piciu D, Semi-G- filters, Stonean filters, MTL-filters, divisible filters, BL-filters and regular filters in residuated lattices, Iran. J. Fuzzy Syst. 13(1) (2016), 145-160.
Search in Google Scholar Back to article
[6] Chang CC, Algebraic analysis of many-valued logic, Trans. Amer. Math. Soc. 88 (1958), 467-490.10.1090/S0002-9947-1958-0094302-9
Search in Google Scholar Back to article
[7] Dilworth RP, Non-commutative residuated lattices, Trans. Amer. Math. Soc. 46 (1939), 426-444.10.1090/S0002-9947-1939-0000230-5
Search in Google Scholar Back to article
[8] Galatos N, Jipsen P, Kowalski T, Ono H, Residuated lattices: an algebraic glimpse at structural logic, Stud. Logic Found. Math., Vol. 151, Elsevier Science, 2007.
Search in Google Scholar Back to article
[9] Van Gasse B, Deschrijver G, Cornelis C, Kerre EE, Filters of residuated lattices and triangle algebras, Inf. Sci. 180(16) (2010), 3006-3020.10.1016/j.ins.2010.04.010
Search in Google Scholar Back to article
[10] Hart JB, Rafter L, Tsinakis C, The structure of commutative residuated lattices, Int. J. Algebr. Comput. 12 (2002), 509-524.10.1142/S0218196702001048
Search in Google Scholar Back to article
[11] Hájek P, Metamathematics of Fuzzy Logic, Trends Log. Stud. Log. Libr. 4, Dordrecht: Kluwer Academic Publishers, 1998.10.1007/978-94-011-5300-3
Search in Google Scholar Back to article
[12] Haveshki M, Borumand Saeid A, Eslami E, Some types of filters in BL-algebras, Soft Comput. 10 (2006), 657-664.10.1007/s00500-005-0534-4
Search in Google Scholar Back to article
[13] Iorgulescu A, Algebras of logic as BCK algebras, ASE Bucharest, Romania, 2008.
Search in Google Scholar Back to article
[14] Kondo M, Dudek WA, Filter theory of BL-algebras, Soft Comput. 12 (2008), 419-423.10.1007/s00500-007-0178-7
Search in Google Scholar Back to article
[15] Lianzhen L, Kaitai L, Boolean filters and positive implicative filters of residuated lattices, Inf. Sci. 177 (2007), 5725-5738.10.1016/j.ins.2007.07.014
Search in Google Scholar Back to article
[16] Piciu D, Algebras of fuzzy logic, Ed. Universitaria, Craiova, 2007.
Search in Google Scholar Back to article
[17] Turunen E, Boolean deductive systems of BL algebras, Arch. Math. Logic 40 (2001), 467-473.10.1007/s001530100088
Search in Google Scholar Back to article
[18] Turunen E, Mathematics Behind Fuzzy Logic, Physica-Verlag, 1999.
Search in Google Scholar Back to article
[19] Ward M, Residuated distributive lattices, Duke Math. J. 6 (1940), 641-651.10.1215/S0012-7094-40-00649-4
Search in Google Scholar Back to article
[20] Ward M, Dilworth RP, Residuated lattices, Trans. Amer. Math. Soc. 45 (1939), 335-354.10.1090/S0002-9947-1939-1501995-3
Search in Google Scholar Back to article
[21] Zhenming MA, MTL-filters and their characterizations in residuated lattices, Comput. Eng. Appl. 48(20) (2012), 64-66.
Search in Google Scholar Back to article
[22] Zhu Y, Xu Y, On filter theory of residuated lattices, Inf. Sci. 180 (2010). 3614-3632.10.1016/j.ins.2010.05.034
Search in Google Scholar Back to article

Gődel filters in residuated lattices

Abstract

Paradigm

My account