×

Extended-order algebras. (English) Zbl 1157.03041

A weak extended-order algebra is a triplet \((A,\rightarrow ,1)\) of type \( (2,0)\) such that for all \(a,b,c\in A,\) the following conditions are satisfied: \(a\rightarrow 1=a\rightarrow a=1,\) if \(a\rightarrow b=b\rightarrow a=1\) then \(a=b\), and if \(a\rightarrow b=b\rightarrow c=1\) then \(a\rightarrow c=1.\) If \(a\rightarrow b=1\) then \((c\rightarrow a)\rightarrow (c\rightarrow b)=1\), and if \((b\rightarrow c)\rightarrow (a\rightarrow c)=1\) then \(A\) is called extended-order algebra (as example we have Hilbert algebras and BCK-algebras). For any weak extended-order algebra \(A,\) the relation \(a\leq b\) if and only if \(a\rightarrow b=1\) is an order relation in \(A\) (called natural ordering in \(A).\) Moreover, \(1\) is the top element in \((A,\leq )\).
In this paper, several classes of extended-order algebras are considered that lead to most well-known multiplicative ordered structures by means of adjunction, once the completion process due to MacNeille is applied. In particular, complete distributive extended-order algebras are considered as a generalization of complete residuated lattices to provide a structure that suits quite well for many-valued mathematics.

MSC:

03G25 Other algebras related to logic
06F05 Ordered semigroups and monoids
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Abbott, J. C., Algebras of implication and semi-lattices, Séminaire Dubreil. Algèbre Théor. Nombr., 20, 2, 1-8 (1966-1967)
[2] Bělohlávek, R., Fuzzy Galois connections, Math. Log. Quart., 45, 4, 497-504 (1999) · Zbl 0938.03079
[3] Bělohlávek, R., Fuzzy Relational Systems, Foundations and Principles (2002), Kluwer Academic Press: Kluwer Academic Press New York · Zbl 1027.06008
[4] Bělohlávek, R., Fuzzy closure operators induced by similarity, Fund. Inform., 58, 2, 79-91 (2003) · Zbl 1059.03056
[5] Bělohlávek, R., Concept lattices and order in fuzzy logic, Ann. Pure Appl. Logic, 128, 277-298 (2004) · Zbl 1060.03040
[6] Berman, J.; Blok, W. J., Algebras defined from ordered sets and the varieties they generate, Order, 23, 65-88 (2006) · Zbl 1096.08002
[7] G. Birkhoff, Lattice Theory, American Mathematical Society Colloquium Publication, vol. XXV, 1967; G. Birkhoff, Lattice Theory, American Mathematical Society Colloquium Publication, vol. XXV, 1967
[8] Bodenhofer, U., Representations and constructions of similarity-based fuzzy orderings, Fuzzy Sets and Systems, 137, 113-136 (2003) · Zbl 1052.91032
[9] Chajda, I.; Halaš, R., Congruences and ideals in Hilbert algebras, Kyungpook Mathem. J., 39, 429-432 (1999) · Zbl 0954.08002
[10] Chajda, I.; Halaš, R.; Jun, Y. B., Annihilators and deductive systems in commutative Hilbert algebras, Comment. Math. Univ. Carolinae, 43, 3, 407-417 (2002) · Zbl 1070.03043
[11] Cignoli, R.; D’Ottaviano, I. M.L.; Mundici, D., Algebraic Foundation of Many-Valued Reasoning (2000), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht · Zbl 0937.06009
[12] De Cooman, G.; Kerre, E. E., Order norms on bounded partially ordered sets, J. Fuzzy Math., 2, 281-310 (1994) · Zbl 0814.04005
[13] Diego, A., Sur Les Algèbres De Hilbert, Collection de Logique Mathématique, Sér. A, Fasc., vol. 21 (1966), Gauthier-Villars: Gauthier-Villars Paris, (French) · Zbl 0144.00105
[14] Durante, F.; Klement, E. P.; Mesiar, R.; Sempi, C., Conjunctors and their residual implicators: characterizations and construction methods, Mediterr. J. Math., 4, 343-356 (2007) · Zbl 1139.03014
[15] Freese, R.; Jezek, J.; Jipsen, P.; Markovic, P.; Maroti, M.; McKenzie, R., The variety generated by order algebras, Algebra Universalis, 47, 103-138 (2002) · Zbl 1058.08001
[16] Frascella, A.; Guido, C., Transporting many-valued sets along many-valued relations, Fuzzy Sets and Systems, 159, 1, 1-22 (2008) · Zbl 1176.03029
[17] Georgescu, G.; Popescu, A., Non-dual fuzzy connections, Arch. Math. Logic, 43, 1009-1039 (2004) · Zbl 1060.03042
[18] Goguen, J. A., L-fuzzy sets, J. Math. Anal. Appl., 18, 145-174 (1967) · Zbl 0145.24404
[19] S. Gottwald, Many-valued logic and fuzzy set theory, in: [24]; S. Gottwald, Many-valued logic and fuzzy set theory, in: [24] · Zbl 0968.03062
[20] C. Guido, Lattice-valued categories, Abstract presented in XXIX Linz Seminar on Fuzzy Set Theory, Linz, 2008; C. Guido, Lattice-valued categories, Abstract presented in XXIX Linz Seminar on Fuzzy Set Theory, Linz, 2008
[21] Halaš, R., Remarks on commutative Hilbert algebras, Math. Bohemica, 127, 4, 525-529 (2002) · Zbl 1008.03039
[22] Hájek, P., Metamathematics of Fuzzy Logic, Trends in Logic—Studia Logica Library, vol. 4 (1998), Kluwer Academic Publisher: Kluwer Academic Publisher Dordrecht · Zbl 0937.03030
[23] Höhle, U., Many Valued Topology and Its Applications (2001), Kluwer Academic Publishers: Kluwer Academic Publishers Boston, Dordrecht, London · Zbl 0969.54002
[24] (Höhle, U.; Rodabaugh, S. E., Mathematics of Fuzzy Sets: Logic Topology, and Measure Theory. Mathematics of Fuzzy Sets: Logic Topology, and Measure Theory, The Handbooks of Fuzzy Sets Series, vol. 3 (1999), Kluwer Academic Publishers: Kluwer Academic Publishers Boston, Dordrecht, London) · Zbl 0942.00008
[25] U. Höhle, A.P. Šostak, Axiomatic foundations of fixed-basis fuzzy topology, in: [24]; U. Höhle, A.P. Šostak, Axiomatic foundations of fixed-basis fuzzy topology, in: [24]
[26] Iorgulescu, A., Classes of pseudo-BCK algebras, Part I, J. Multiple-Valued Logic Soft Comput., 12, 1-2, 71-130 (2006) · Zbl 1147.06011
[27] Iséki, K.; Tanaka, S., An introduction to the theory of BCK-algebras, Math. Japon., 23, 1-26 (1978) · Zbl 0385.03051
[28] Kondo, M., Hilbert algebras are dual isomorphic to positive implicative BCK-algebras, Math. Japon., 49, 2, 265-268 (1999) · Zbl 0930.06017
[29] MacNeille, H. M., Partially ordered sets, Trans. Amer. Math. Soc., 42, 416-460 (1937) · JFM 63.0833.04
[30] Neggers, J.; Kim, H. S., On d-algebras, Math. Slovaca, 49, 19-26 (1999) · Zbl 0943.06012
[31] Neggers, J.; Dvurečenskij, A.; Kim, H. S., On d-fuzzy functions in d-algebras, Found. Phys., 30, 10, 1807-1816 (2000)
[32] Rasiowa, H., An Algebraic Approach to Non-Classical Logics, Studies in Logics and the Foundations of Mathematics, vol. 78 (1974), North-Holland: North-Holland Amsterdam · Zbl 0299.02069
[33] Zhang, Q.-Y.; Fan, L., Continuity in quantitative domains, Fuzzy Sets and Systems, 154, 118-131 (2005) · Zbl 1080.06007
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.