Affiliation:
1. Erzurum Teknik Üniversitesi
Abstract
Basic logic algebras (BL-algebras) were introduced by Hajek. Multi-value algebras (MV-algebras), Gödel algebras, and product algebras are particular cases of BL-algebras. Moreover, BL-algebras are algebraic structures, and their principal examples are the real interval $[0, 1]$ with the structure given by a continuous $t$-norm and abelian $l$-groups. In this article, we consider a type of derivation structure on BL-algebras. We study $(\odot,\vee)$-permuting tri-derivations of BL-algebras and their examples and basic properties. We obtain results regarding the trace of $(\odot,\vee)$-permuting derivations on Gödel BL-algebras. Finally, the article presents that the results herein can be generalized in future research.
Subject
Geology,Ocean Engineering,Water Science and Technology
Reference13 articles.
1. C. C. Chang, Algebraic Analysis of Many-Valued Logics, Transactions of the American Mathematical Society 88 (1958) 467--490.
2. A. Di Nola, G. Georgescu, A. Iorgulescu, Pseudo-BL Algebras: Part I, Multiple Valued Logic 8 (5-6) (2002) 673--716.
3. R. Cignoli, I. M. L. D'Ottaviano, D. Mundici, Algebraic Foundations of Many Valued Reasoning, Kluwer Academic Publication, Dordrecht, 2000.
4. E. Turunen, S. Sessa, Local BL-algebras, Multiple Valued Logic 6 (1-2) (2001) 229--250.
5. P. Hajek, L. Godo, F. Esteva, A Complete Many-Valued Logic with Product-Conjunction, Archive for Mathematical Logic 35 (1996) 191--208.