Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Commutative basic algebras and non-associative fuzzy logics

Commutative basic algebras and non-associative fuzzy logics Several investigations in probability theory and the theory of expert systems show that it is important to search for some reasonable generalizations of fuzzy logics (e.g. Łukasiewicz, Gödel or product logic) having a non-associative conjunction. In the present paper, we offer a non-associative fuzzy logic L CBA having as an equivalent algebraic semantics lattices with section antitone involutions satisfying the contraposition law, so-called commutative basic algebras. The class (variety) CBA of commutative basic algebras was intensively studied in several recent papers and includes the class of MV-algebras. We show that the logic L CBA is very close to the Łukasiewicz one, both having the same finite models, and can be understood as its non-associative generalization. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archive for Mathematical Logic Springer Journals

Commutative basic algebras and non-associative fuzzy logics

Loading next page...
 
/lp/springer-journals/commutative-basic-algebras-and-non-associative-fuzzy-logics-7GWvQeEkfO

References (30)

Publisher
Springer Journals
Copyright
Copyright © 2009 by Springer-Verlag
Subject
Mathematics; Algebra; Mathematics, general; Mathematical Logic and Foundations
ISSN
0933-5846
eISSN
1432-0665
DOI
10.1007/s00153-009-0125-7
Publisher site
See Article on Publisher Site

Abstract

Several investigations in probability theory and the theory of expert systems show that it is important to search for some reasonable generalizations of fuzzy logics (e.g. Łukasiewicz, Gödel or product logic) having a non-associative conjunction. In the present paper, we offer a non-associative fuzzy logic L CBA having as an equivalent algebraic semantics lattices with section antitone involutions satisfying the contraposition law, so-called commutative basic algebras. The class (variety) CBA of commutative basic algebras was intensively studied in several recent papers and includes the class of MV-algebras. We show that the logic L CBA is very close to the Łukasiewicz one, both having the same finite models, and can be understood as its non-associative generalization.

Journal

Archive for Mathematical LogicSpringer Journals

Published: Mar 27, 2009

There are no references for this article.